Modeling and Analysis of Communicating Systems

AvJan Friso Groote,Mohammad Reza Mousavi

Häftad, Engelska, 2023

762 kr

Beställningsvara. Skickas inom 5-8 vardagar. Fri frakt över 249 kr.

Produktinformation

Utgivningsdatum:2023-05-09
Mått:203 x 254 x 22 mm
Vikt:369 g
Format:Häftad
Språk:Engelska
Antal sidor:392
Förlag:MIT Press Ltd
ISBN:9780262547871

Utforska kategorier

Systemvetenskap och AI inom Data och IT

Mer från samma författare

Logic Gates, Circuits, Processors, Compilers and Computers

Jan Friso Groote, Rolf Morel, Julien Schmaltz, Adam Watkins

Häftad, 2021

414 kr

Logic Gates, Circuits, Processors, Compilers and Computers

Adam Watkins, Julien Schmaltz, Rolf Morel, Jan Friso Groote

E-bok

2021

537 kr

Del 12652

Tools and Algorithms for the Construction and Analysis of Systems

Jan Friso Groote, Kim Guldstrand Larsen

Häftad, 2021

448 kr

Del 12651

Tools and Algorithms for the Construction and Analysis of Systems

Jan Friso Groote, Kim Guldstrand Larsen

Häftad, 2021

448 kr

Tales of Electrologica

Gerard Alberts, Jan Friso Groote

Inbunden, 2023

382 kr

Tales of Electrologica

Jan Friso Groote, Gerard Alberts

E-bok

2023

474 kr

Tales of Electrologica : Computers, Software and People

Gerard Alberts, Jan Friso Groote

646 kr

Tales of Electrologica

Gerard Alberts, Jan Friso Groote

Häftad, 2024

382 kr

Del 13487

Formal Methods for Industrial Critical Systems

Jan Friso Groote, Marieke Huisman

Häftad, 2022

779 kr

Formal Methods for Industrial Critical Systems

Marieke Huisman, Jan Friso Groote

E-bok

2022

978 kr

Du kanske också är intresserad av

Logic Gates, Circuits, Processors, Compilers and Computers

Adam Watkins, Julien Schmaltz, Rolf Morel, Jan Friso Groote

E-bok

2021

537 kr

Del 13273

Formal Techniques for Distributed Objects, Components, and Systems

Mohammad Reza Mousavi, Anna Philippou

Häftad, 2022

777 kr

Formal Methods: Foundations and Applications

Mohammad Reza Mousavi, Tiago Massoni

E-bok

2018

813 kr

Topics in Theoretical Computer Science

Mohammad Reza Mousavi, Jiří Sgall

Häftad, 2017

557 kr

Del 13487

Formal Methods for Industrial Critical Systems

Jan Friso Groote, Marieke Huisman

Häftad, 2022

779 kr

Logic Gates, Circuits, Processors, Compilers and Computers

Jan Friso Groote, Rolf Morel, Julien Schmaltz, Adam Watkins

Häftad, 2021

414 kr

Tales of Electrologica

Gerard Alberts, Jan Friso Groote

Häftad, 2024

382 kr

Del 458

Understanding Behaviour of Distributed Systems Using mCRL2

Muhammad Atif, Jan Friso Groote

Inbunden, 2023

1 934 kr

Cyber Physical Systems. Design, Modeling, and Evaluation

Mohammad Reza Mousavi, Christian Berger

E-bok

2015

569 kr

Tales of Electrologica : Computers, Software and People

Gerard Alberts, Jan Friso Groote

646 kr