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

Bobo Stenson (geb. 1944)

Goodbye (SHM-CD)

Product Information A new album by the Bobo Stenson Trio is always an event. There can be few contemporary jazz piano trios that draw upon such wide-ranging repertoire. “Goodbye” continues its trad…

lieferbar innerhalb 1-2 Wochen

CD

EUR 17,99*

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*

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*

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*

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*

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

Ihre Suche nach "concurrency" ergab 25 Treffer

Bobo Stenson (geb. 1944) Goodbye (SHM-CD)

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

Verification, Model Checking, and Abstract Interpretation

Verification, Model Checking, and Abstract Interpretation

Patrick Diehl, Hartmut Kaiser, Steven R. Brandt Parallel C++

Bobo Stenson (geb. 1944)

Goodbye (SHM-CD)

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

Patrick Diehl, Hartmut Kaiser, Steven R. Brandt
Parallel C++