Model Checking Markov Chains: Techniques and Tools
I. Zapreev
Model Checking Markov Chains: Techniques and Tools
PaperbackNederlands
In het kort
ISBN-13
9789085702986
Uitgever
Verschenen
1 april 2008
Bibliografisch
ISBN-139789085702986
Editie1
TaalNederlands dut
GeïllustreerdNee
Uitgave
Vorm & inhoud
ProductvormPaperback BC
SamenstellingLos product
Classificatie
Medewerkers
Auteur A01I. Zapreev
Herkomst
Werk-id (NSTC)500628976
MeldingBevestigd bij publicatie 03
Bijgewerkt6 augustus 2026
NSTC 500628976 · CB-relatie 9126642 · Bijgewerkt 6 augustus 2026