Logic Gates, Circuits, Processors, Compilers and Computers
Jan Friso Groote, Rolf Morel, Julien Schmaltz, Adam Watkins
Häftad
539 kr
Modeling and Analysis of Communicating Systems
Häftad, Engelska, 2023
939 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
Hoppa över listan
Mer från samma författare
Del 12652
Tools and Algorithms for the Construction and Analysis of Systems
Jan Friso Groote, Kim Guldstrand Larsen
Häftad
579 kr
Del 12651
Tools and Algorithms for the Construction and Analysis of Systems
Jan Friso Groote, Kim Guldstrand Larsen
Häftad
579 kr
Del 13487
Understanding Behaviour of Distributed Systems Using mCRL2
Muhammad Atif, Jan Friso Groote
Inbunden
2 489 kr
Understanding Behaviour of Distributed Systems Using mCRL2
Muhammad Atif, Jan Friso Groote
Häftad
2 489 kr
Hoppa över listan
Du kanske också är intresserad av
Cyber Physical Systems. Design, Modeling, and Evaluation
Christian Berger, Mohammad Reza Mousavi, Rafael Wisniewski
Häftad
729 kr
Understanding Behaviour of Distributed Systems Using mCRL2
Muhammad Atif, Jan Friso Groote
Häftad
2 489 kr
Del 13273
Formal Techniques for Distributed Objects, Components, and Systems
Mohammad Reza Mousavi, Anna Philippou
Häftad
1 009 kr
Del 9541
Del 11254
Del 15560
Rebeca for Actor Analysis in Action
Edward A. Lee, Mohammad Reza Mousavi, Carolyn Talcott
Häftad
1 089 kr
Del 9361
Cyber Physical Systems. Design, Modeling, and Evaluation
Christian Berger, Mohammad Reza Mousavi
Häftad
579 kr
Understanding Behaviour of Distributed Systems Using mCRL2
Muhammad Atif, Jan Friso Groote
Inbunden
2 489 kr
Del 12652
Tools and Algorithms for the Construction and Analysis of Systems
Jan Friso Groote, Kim Guldstrand Larsen
Häftad
579 kr