Ihre Suche nach "jan friso groote" ergab 2 Treffer

Ansicht:
Jan Friso Groote: Understanding Behaviour of Distributed Systems Using mCRL2, Buch

Jan Friso Groote, Muhammad Atif
Understanding Behaviour of Distributed Systems Using mCRL2

Studies in Systems, Decision and Control -Band 458

This book helps readers easily learn basic model checking by presenting examples, exercises and case studies. The toolset mCRL2 provides a language to specify the behaviour of distributed systems, in part…

lieferbar innerhalb 2-3 Wochen
Buch
EUR 197,13*
: Tales of Electrologica, Buch

Tales of Electrologica

History of Computing

Manufacturing computers in series was quite a feat in the 1950s. As mathematical as it gets, the machines discussed here were called X1 and X8. The industrial achievement combined with the background in a…

lieferbar innerhalb 2-3 Wochen
Buch
EUR 38,32*
Informationen zur Lieferbarkeit bzw. zu Veröffentlichungsterminen von Artikeln beruhen auf Vorabinformationen unserer Lieferanten. Diese Termine sind ohne Gewähr und können sich jederzeit ändern.