Industrial applications and strengthened foundations of formal methods proceedings

Gespeichert in:

Bibliographische Detailangaben
Körperschaft:	FME (BerichterstatterIn)
Weitere Verfasser:	Fitzgerald, John (HerausgeberIn)
Format:	UnknownFormat
Veröffentlicht:	Berlin u.a. Springer 1997
Schriftenreihe:	Lecture notes in computer science 1313
Schlagworte:	Konferenzschrift > Systementwicklung > Formale Methode > Softwareentwicklung
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Beschreibung
Beschreibung:	XIII, 684 S.
ISBN:	3540635335