Specification and Automatic Verification of Frame Properties for Java-like Programs
J. Smans
Specification and Automatic Verification of Frame Properties for Java-like Programs
Paperback135 pagina’sEngels
In het kort
ISBN-13
9789460180767
Verschenen
26 mei 2009
Bibliografisch
ISBN-139789460180767
Editie1
TaalEngels eng
Pagina’s135
GeïllustreerdJa
Uitgave
CB-relatie-id8109288
Verschenen26 mei 2009
StatusOnbekend 00
Vorm & inhoud
ProductvormPaperback BC
SamenstellingLos product
Classificatie
NUR (hoofd)Computertechniek 958
NUR (alle)958 Computertechniek
Medewerkers
Auteur A01J. Smans
Herkomst
MeldingBevestigd bij publicatie 03
Bijgewerkt6 augustus 2026
CB-relatie 8109288 · Bijgewerkt 6 augustus 2026