Reasoning about Java programs in PVS using JML
J.A.G.M. van den Berg
Reasoning about Java programs in PVS using JML
Hardback224 pagina’sEngels
In het kort
Bibliografisch
ISBN-139789090242842
Editie1
TaalEngels eng
Pagina’s224
GeïllustreerdJa
Uitgave
Vorm & inhoud
ProductvormHardback BB
SamenstellingLos product
Classificatie
NUR (hoofd)Theoretische informatica 993
NUR (alle)993 Theoretische informatica
Medewerkers
Auteur A01J.A.G.M. van den Berg
Herkomst
Werk-id (NSTC)500579166
MeldingBevestigd bij publicatie 03
Bijgewerkt6 augustus 2026
NSTC 500579166 · CB-relatie 7907720 · Bijgewerkt 6 augustus 2026