Specification and verification of sequential Java programs
M. Warnier
Specification and verification of sequential Java programs
In het kort
ISBN-13
9789039330692
Uitgever
Serie
Bibliografisch
Uitgave
Vorm & inhoud
ProductvormPaperback BC
SamenstellingLos product
Classificatie
Medewerkers
Auteur A01M. Warnier
Herkomst
Werk-id (NSTC)501203545
MeldingBevestigd bij publicatie 03
Bijgewerkt6 augustus 2026
NSTC 501203545 · CB-relatie 8981163 · Bijgewerkt 6 augustus 2026