Practical Automaton Proofs in PVS
A.L. de Groot
Practical Automaton Proofs in PVS
Hardback226 pagina’sEngels
In het kort
Bibliografisch
ISBN-139789090226828
Editie1
TaalEngels eng
Pagina’s226
GeïllustreerdJa
Uitgave
Vorm & inhoud
ProductvormHardback BB
SamenstellingLos product
Classificatie
NUR (hoofd)Informatica algemeen 980
NUR (alle)980 Informatica algemeen
Medewerkers
Auteur A01A.L. de Groot
Herkomst
Werk-id (NSTC)500627397
MeldingBevestigd bij publicatie 03
Bijgewerkt6 augustus 2026
NSTC 500627397 · CB-relatie 9090712 · Bijgewerkt 6 augustus 2026