Scalable multi-core model checking
Alfons Laarman
Scalable multi-core model checking
PaperbackEngels
In het kort
ISBN-13
9789036536561
Uitgever
Verschenen
9 mei 2014
Bibliografisch
ISBN-139789036536561
Editie1
TaalEngels eng
GeïllustreerdNee
Uitgave
Vorm & inhoud
ProductvormPaperback BC
SamenstellingLos product
Classificatie
Medewerkers
Auteur A01Alfons Laarman
Herkomst
Werk-id (NSTC)500448311
MeldingBevestigd bij publicatie 03
Bijgewerkt6 augustus 2026
NSTC 500448311 · CB-relatie 8186142 · Bijgewerkt 6 augustus 2026