Logic Gates, Circuits, Processors, Compilers and Computers
Jan Friso Groote, Rolf Morel, Julien Schmaltz, Adam Watkins
Häftad, 2021
549 kr
Modeling and Analysis of Communicating Systems
Häftad, Engelska, 2023
959 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, 2021
589 kr
Del 12651
Tools and Algorithms for the Construction and Analysis of Systems
Jan Friso Groote, Kim Guldstrand Larsen
Häftad, 2021
589 kr
Del 13487
Understanding Behaviour of Distributed Systems Using mCRL2
Muhammad Atif, Jan Friso Groote
Inbunden, 2023
2 549 kr
Understanding Behaviour of Distributed Systems Using mCRL2
Muhammad Atif, Jan Friso Groote
Häftad, 2024
2 549 kr
Hoppa över listan
Du kanske också är intresserad av
Understanding Behaviour of Distributed Systems Using mCRL2
Muhammad Atif, Jan Friso Groote
Häftad, 2024
2 549 kr
Del 13273
Formal Techniques for Distributed Objects, Components, and Systems
Mohammad Reza Mousavi, Anna Philippou
Häftad, 2022
1 029 kr
Del 13487
Del 11254
Del 15560
Rebeca for Actor Analysis in Action
Edward A. Lee, Mohammad Reza Mousavi, Carolyn Talcott
Häftad, 2025
1 099 kr
Logic Gates, Circuits, Processors, Compilers and Computers
Jan Friso Groote, Rolf Morel, Julien Schmaltz, Adam Watkins
Häftad, 2021
549 kr
Understanding Behaviour of Distributed Systems Using mCRL2
Muhammad Atif, Jan Friso Groote
Inbunden, 2023
2 549 kr
Del 12652
Tools and Algorithms for the Construction and Analysis of Systems
Jan Friso Groote, Kim Guldstrand Larsen
Häftad, 2021
589 kr