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
1 019 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
599 kr
Del 12651
Tools and Algorithms for the Construction and Analysis of Systems
Jan Friso Groote, Kim Guldstrand Larsen
Häftad, 2021
599 kr
Del 13487
Del 458
Understanding Behaviour of Distributed Systems Using mCRL2
Muhammad Atif, Jan Friso Groote
Inbunden, 2023
2 569 kr
Del 458
Understanding Behaviour of Distributed Systems Using mCRL2
Muhammad Atif, Jan Friso Groote
Häftad, 2024
2 569 kr
Hoppa över listan
Du kanske också är intresserad av
Del 458
Understanding Behaviour of Distributed Systems Using mCRL2
Muhammad Atif, Jan Friso Groote
Häftad, 2024
2 569 kr
Del 13273
Formal Techniques for Distributed Objects, Components, and Systems
Mohammad Reza Mousavi, Anna Philippou
Häftad, 2022
1 039 kr
Del 9541
Topics in Theoretical Computer Science
Mohammed Taghi Hajiaghayi, Mohammad Reza Mousavi
Häftad, 2016
739 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 109 kr
Logic Gates, Circuits, Processors, Compilers and Computers
Jan Friso Groote, Rolf Morel, Julien Schmaltz, Adam Watkins
Häftad, 2021
549 kr
Del 458
Understanding Behaviour of Distributed Systems Using mCRL2
Muhammad Atif, Jan Friso Groote
Inbunden, 2023
2 569 kr