Understanding Behaviour of Distributed Systems Using mCRL2

Jan Friso Groote, Muhammad Atif

235

Pagini

2024

Paperback

Copertă

Adaugă în bibliotecă

Libristo

Cel mai bun

În stoc Gratuit

Actualizat 1 săptămână în urmă

1,074.37

Lei

Editura Springer, Berlin

Copertă Paperback

Pagini 235

An publicare 2024

ISBN 9783031230103

Conectează-te pentru a lăsa o recenzie

🔥 🔥 🔥 🔥 🔥

Nicio recenzie încă

Fii primul care lasă o impresie.

Mai multe de Jan Friso Groote

Vezi toate

Formal Methods for Industrial Critical Systems

Tools and Algorithms for the Construction and Analysis of Systems: 27th International Conference, Tacas 2021, Held as Part of the European Joint Confe

Logic Gates, Circuits, Processors, Compilers and Computers

Cel mai bun preț

1,074.37 Lei

Cumpără