Automatic verification of programs with complex data structures

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Suzuki, Norihisa (VerfasserIn)
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	New York Garland 1980
Schriftenreihe:	Outstanding dissertations in the computer sciences.
Schlagworte:	Computer programs > Verification > Data structures (Computer science) > Programming languages (Electronic computers) > Semantics > Hochschulschrift
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!