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
The ELM AI Data Modelling Framework
The ELM AI Data Modelling Framework
The ELM AI Data Modelling Framework - B&W edition
Microsoft Flight Simulator 2024 Made Easy for PS5
Proceedings of the 4th Workshop on Gender-Inclusive Translation Technologies (GITT 2026)
Proceedings of the First Workshop on Style in GenAI-Translated Content - StyGenAI
Proceedings of the 1st International Workshop on Teaching AI-based Translation and Technologies (TAITT 2026)
Mastering Microsoft Flight Simulator 2024
The Killer Isn't Alice
NSTC 500627397 · CB-relatie 9090712 · Bijgewerkt 6 augustus 2026