Formal abstractions for automated verification and synthesis of stochastic systems
Sadegh Esmaeil Zadeh Soudjani Soudjani
Formal abstractions for automated verification and synthesis of stochastic systems
Paperback168 pagina’sEngels
In het kort
ISBN-13
9789462036833
Uitgever
Verschenen
3 november 2014
Bibliografisch
ISBN-139789462036833
Editie1
TaalEngels eng
Pagina’s168
GeïllustreerdJa
Uitgave
Vorm & inhoud
ProductvormPaperback BC
SamenstellingLos product
Classificatie
Medewerkers
Auteur A01Sadegh Esmaeil Zadeh Soudjani Soudjani
Herkomst
Werk-id (NSTC)500438944
MeldingBevestigd bij publicatie 03
Bijgewerkt6 augustus 2026
Lijkt op dit boek
NSTC 500438944 · CB-relatie 9126642 · Bijgewerkt 6 augustus 2026