Catalogo · 9783031851339
Rebeca for Actor Analysis in Action
ISBN 9783031851339
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
Topics in Theoretical Computer Science
Mohammad Reza Mousavi, Jiří Sgall
Cyber Physical Systems. Design, Modeling, and Evaluation
Christian Berger, Mohammad Reza Mousavi, Rafael Wisniewski
Formal Techniques for Distributed Objects, Components, and Systems
Mohammad Reza Mousavi, Anna Philippou
Formal Methods : Foundations and Applications
Tiago Massoni, Mohammad Reza Mousavi
Verba volant · scripta manent