Catalogo · 9783030720124
Tools and Algorithms for the Construction and Analysis of Systems
ISBN 9783030720124
Descrizione non disponibile per questo libro.
La tua libreria
Accedi per aggiungere questo libro alla tua libreria.
Lettori
Communitas attorno al libro
Letture affini
Modeling and Analysis of Communicating Systems
Jan Friso Groote, Mohammad Reza Mousavi
Understanding Behaviour of Distributed Systems Using MCRL2
Muhammad Atif, Jan Friso Groote
Tales of Electrologica
Gerard Alberts, Jan Friso Groote
Logical Gates, Circuits, Processors, Compilers and Computers
Jan Friso Groote, Rolf Morel, Julien Schmaltz, Adam Watkins
Formal Methods for Industrial Critical Systems
Jan Friso Groote, Marieke Huisman
Verba volant · scripta manent