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

  •  
     
    Neu: Sonderheft

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

  •  
     
    Neu: Sonderheft