Integrated formal methods second international conference, IFM 2000, Dagstuhl Castle, Germany, November 1 - 3, 2000 ; proceedings

Gespeichert in:

Bibliographische Detailangaben
Format:	Tagungsbericht Buch
Sprache:	English
Veröffentlicht:	Berlin ; Heidelberg ; New York ; Barcelona ; Hong Kong ; London Springer 2000
Schriftenreihe:	Lecture notes in computer science 1945
Schlagworte:	Logiciels - Développement - Congrès Logisch programmeren Méthodes formelles (Informatique) - Congrès Méthodes formelles (informatique) - Congrès méthode Z méthode formelle spécification formelle validation vérification formelle Formal methods (Computer science) > Congresses Formale Methode Systementwicklung Konferenzschrift > 2000 > Dagstuhl
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge