Jan Friso Groote – alle Bücher

Ihre Suche nach "jan friso groote" ergab 2 Treffer

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*

Artikel merken

In den Warenkorb

Menge ändern

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*

Artikel merken

In den Warenkorb

Menge ändern