Towards effective model checking
T.C. Ruys
Towards effective model checking
In het kort
ISBN-13
9789036515641
Uitgever
Bibliografisch
ISBN-139789036515641
SerieCtit ph.d.-thesis series — deel 01-34
Editie1
TaalEngels eng
Pagina’s256
GeïllustreerdJa
Uitgave
Vorm & inhoud
ProductvormPaperback BC
SamenstellingLos product
Classificatie
Medewerkers
Auteur A01T.C. Ruys
Herkomst
Werk-id (NSTC)500850001
MeldingBevestigd bij publicatie 03
Bijgewerkt6 augustus 2026
NSTC 500850001 · CB-relatie 8186142 · Bijgewerkt 6 augustus 2026