Testing Reactive Systems with Data
J.R. Calamé
Testing Reactive Systems with Data enumerative Methods and Constraint Solving
PaperbackEngels
In het kort
Bibliografisch
ISBN-139789064642739
Editie1
TaalEngels eng
GeïllustreerdJa
Uitgave
Vorm & inhoud
ProductvormPaperback BC
SamenstellingLos product
Classificatie
NUR (hoofd)Informatica algemeen 980
NUR (alle)980 Informatica algemeen
Medewerkers
Auteur A01J.R. Calamé
Herkomst
Werk-id (NSTC)500620410
MeldingBevestigd bij publicatie 03
Bijgewerkt6 augustus 2026
NSTC 500620410 · CB-relatie 8499101 · Bijgewerkt 6 augustus 2026