Static analysis third international symposium, SAS '96, Aachen, Germany, September 24-26, 1996 ; proceedings

Gespeichert in:

Bibliographische Detailangaben
Format:	Elektronisch Tagungsbericht E-Book
Sprache:	English
Veröffentlicht:	Berlin [u.a.] Springer 1996
Schriftenreihe:	Lecture notes in computer science 1145
Schlagworte:	Computer programming > Congresses Programming languages (Electronic computers) > Congresses Programmanalyse Programmverifikation Statistische Analyse Model Checking Programmtransformation Statische Analyse Konferenzschrift > 1996 > Aachen
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Veröffentlicht 1996

Tagungsbericht Buch

Ähnliche Einträge