Program verification

Literaturverz. S. 295 - 303

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Francez, Nissim (VerfasserIn)
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	Wokingham, England u.a. Addison-Wesley 1992
Schriftenreihe:	International computer science series
Schlagworte:	Computer programs > Verification > Programmverifikation
Online Zugang:	Inhaltstext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!