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
Lijkt op dit boek
Dit is voor iedereen
Nooit te oud voor AI
Implementation and Case Studies, Projects and Products
Microsoft Flight Simulator 2024 Made Simple
Mastering Microsoft Flight Simulator 2024
Microsoft Flight Simulator 2024 Made Easy for PS5
Digitale veerkracht vandaag en morgen
Huis van Sinterklaas Hasselt
Sinterklaashuis
The Killer Isn't June
NSTC 500627397 · CB-relatie 9090712 · Bijgewerkt 6 augustus 2026