Enhancing state space reduction techniques for model checking
D. Bosnacki
Enhancing state space reduction techniques for model checking
PaperbackNederlands
In het kort
Bibliografisch
ISBN-139789038609515
Editie1
TaalNederlands dut
GeïllustreerdNee
Uitgave
Vorm & inhoud
ProductvormPaperback BC
SamenstellingLos product
Classificatie
NUR (hoofd)Informatica algemeen 980
NUR (alle)980 Informatica algemeen
Medewerkers
Auteur A01D. Bosnacki
Herkomst
Werk-id (NSTC)501237849
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 501237849 · CB-relatie 8180218 · Bijgewerkt 6 augustus 2026