Bookbot

Ein Basiskalkül für die Verifikation von Eigenschaften synchron interagierender Objekte

Achat du livre

Ein Basiskalkül für die Verifikation von Eigenschaften synchron interagierender Objekte, Stefan Conrad

Langue
Année de publication
1994
Nous vous informerons par e-mail dès que nous l’aurons retrouvé.

Modes de paiement

Personne n'a encore évalué .Évaluer