← Catalogus
On JML
C.-B. Breunesse

On JML topics in tool-assisted verification of Java programs

C.-B. Breunesse
Paperback160 pagina’sNederlands
In het kort
ISBN-13
9789090204826
Uitgever
Breunesse, C.-B.
NUR
123 · Exacte vakken en informatica Hoger Onderwijs
NSTC 501095758 · CB-relatie 9464825 · Bijgewerkt 6 augustus 2026
Bestel bij bol →
← Catalogus
On JML
C.-B. Breunesse

On JML

topics in tool-assisted verification of Java programs
C.-B. Breunesse
Paperback160 pagina’sNederlands
Bestel bij bol →
In het kort
ISBN-13
9789090204826
Uitgever
Breunesse, C.-B.
NUR
123 · Exacte vakken en informatica Hoger Onderwijs
NSTC 501095758 · CB-relatie 9464825 · Bijgewerkt 6 augustus 2026