IT-Zeitschriften, Fachbücher, eBooks, digitale Magazine und vieles mehr - direkt im heise shop online kaufen
Warenkorb Ihr Warenkorb ist noch leer.
3,29 €*

iX Plus-Abonnenten erhalten diesen Artikel kostenlos.

VDM++: Lightweight Formal Methods

Ohne Beweis
iX 03/2001, S. 157

Bewerten Sie dieses Produkt als Erster

Sofortige Lieferung
Autor: Georg Weißenbacher
Redakteur: Christian Kirsch
Länge des Artikels: ca. 4.5 redaktionelle Seiten
Dateigröße: 138.26 KB
Format: ZIP
Um bewerten zu können, melden Sie sich bitte an
Ähnliche Artikel