Modeling and Analysis of Communicating Systems

Häftad, Engelska, 2023

AvJan Friso Groote,Mohammad Reza Mousavi,Eindhoven University of Technology) Groote, Jan Friso (Professor,Halmstad University) Mousavi, Mohammad Reza (Professor of Computer Systems Engineering

909 kr

Beställningsvara. Skickas inom 5-8 vardagar. Fri frakt för medlemmar vid köp för minst 249 kr.

Produktinformation

Utgivningsdatum2023-05-09
Mått203 x 254 x 22 mm
Vikt369 g
FormatHäftad
SpråkEngelska
Antal sidor392
FörlagMIT Press Ltd
ISBN9780262547871

Tillhör följande kategorier

Du kanske också är intresserad av

Modeling and Analysis of Communicating Systems

Modeling and Analysis of Communicating Systems

Eindhoven University of Technology) Groote, Jan Friso (Professor, Halmstad University) Mousavi, Mohammad Reza (Professor of Computer Systems Engineering

799 kr

Cyber Physical Systems. Design, Modeling, and Evaluation

Cyber Physical Systems. Design, Modeling, and Evaluation

Christian Berger, Mohammad Reza Mousavi, Rafael Wisniewski

709 kr

Understanding Behaviour of Distributed Systems Using mCRL2

Understanding Behaviour of Distributed Systems Using mCRL2

Muhammad Atif, Jan Friso Groote

2 409 kr

Formal Techniques for Distributed Objects, Components, and Systems

Formal Techniques for Distributed Objects, Components, and Systems

Mohammad Reza Mousavi, Anna Philippou

989 kr

Topics in Theoretical Computer Science

Topics in Theoretical Computer Science

Mohammed Taghi Hajiaghayi, Mohammad Reza Mousavi

689 kr

Topics in Theoretical Computer Science

Topics in Theoretical Computer Science

Mohammad Reza Mousavi, Jiří Sgall, Mohammad Mousavi, Jiri Sgall, Jiří Sgall

709 kr

Formal Methods: Foundations and Applications

Formal Methods: Foundations and Applications

Tiago Massoni, Mohammad Reza Mousavi

829 kr

Rebeca for Actor Analysis in Action

Rebeca for Actor Analysis in Action

Edward A. Lee, Mohammad Reza Mousavi, Carolyn Talcott

1 079 kr

Cyber Physical Systems. Design, Modeling, and Evaluation

Cyber Physical Systems. Design, Modeling, and Evaluation

Christian Berger, Mohammad Reza Mousavi

569 kr

Tools and Algorithms for the Construction and Analysis of Systems

Tools and Algorithms for the Construction and Analysis of Systems

Jan Friso Groote, Kim Guldstrand Larsen

569 kr