Concurrency – Bücher, Blu-ray Discs, CDs und mehr, Seite 2

Ihre Suche nach "concurrency" ergab 24 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

Verification, Model Checking, and Abstract Interpretation

Lecture Notes in Computer Science -Band 14499

The two-volume set LNCS 14499 and 14500 constitutes the proceedings of the 25th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2024, which took place in Londo…

lieferbar innerhalb 2-3 Wochen

Buch

EUR 72,27*

Artikel merken

In den Warenkorb

Menge ändern

Verification, Model Checking, and Abstract Interpretation

Lecture Notes in Computer Science -Band 14500

The two-volume set LNCS 14499 and 14500 constitutes the proceedings of the 25th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2024, which took place in Londo…

lieferbar innerhalb 2-3 Wochen

Buch

EUR 72,27*

Artikel merken

In den Warenkorb

Menge ändern

Patrick Diehl, Hartmut Kaiser, Steven R. Brandt

Parallel C++

This textbook focuses on practical parallel C++ programming at the graduate student level. In particular, it shows the APIs and related language features in the C++ 17 and C++ 20 standards, covering both …

lieferbar innerhalb 2-3 Wochen

Buch

EUR 69,33*

Artikel merken

In den Warenkorb

Menge ändern