Formal Methods for Industrial Critical Systems

Jan Friso Groote, Marieke Huisman

245

Pagini

2022

Paperback

Copertă

Adaugă în bibliotecă

Libristo

Cel mai bun

În stoc Gratuit

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

398.38

Lei

Editura Springer International Publishing AG

Copertă Paperback

Pagini 245

An publicare 2022

ISBN 9783031150074

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

Understanding Behaviour of Distributed Systems Using mCRL2

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ț

398.38 Lei

Cumpără