On JML
C.-B. Breunesse
On JML topics in tool-assisted verification of Java programs
Paperback160 pagina’sNederlands
In het kort
Bibliografisch
ISBN-139789090204826
Editie1
TaalNederlands dut
Pagina’s160
GeïllustreerdNee
Uitgave
Vorm & inhoud
ProductvormPaperback BC
SamenstellingLos product
Classificatie
Medewerkers
Auteur A01C.-B. Breunesse
Herkomst
Werk-id (NSTC)501095758
MeldingBevestigd bij publicatie 03
Bijgewerkt6 augustus 2026
Lijkt op dit boek
ArchiMate® 4 Specification
ArchiMate® 4 Specification
ArchiMate® 4 Specification
Open Agile Architecture™ Standard, Version 2.0
Open Agile Architecture™ Standard, Version 2.0
Open Agile Architecture™ Standard, Version 2.0
Continuous Information Management
Electriciteit trillingen en golven
Ontwerpen van Technische Innovaties
Circulair productontwerpen
NSTC 501095758 · CB-relatie 9464825 · Bijgewerkt 6 augustus 2026