Automatic verification of programs with complex data structures /

Automatic verification of programs with complex data structures /

Uloženo v:
Podrobná bibliografie
Hlavní autor: Suzuki, Norihisa, 1946-
Médium: Kniha
Jazyk:English
Vydáno: New York : Garland Pub., 1980.
Edice:Outstanding dissertations in the computer sciences
Témata:
Computer programs > Verification.
Programming languages (Electronic computers) > Semantics.
Data structures (Computer science)
Popis
Popis jednotky:Originally presented as the author's thesis, Stanford, 1976.
Fyzický popis:176 p. ; 22 cm.
Bibliografie:Bibliography: p. 129-134.
ISBN:0824044258 :

Podobné jednotky