Understanding Behaviour of Distributed Systems Using mCRL2
Muhammad Atif, Jan Friso Groote
Häftad
1 924 kr
Understanding Behaviour of Distributed Systems Using mCRL2
AvMuhammad Atif,Jan Friso Groote
Engelska, 2023
625 kr
Beställningsvara. Skickas inom 5-8 vardagar. Fri frakt över 249 kr.
Fler format och utgåvor
Produktinformation
Hoppa över listan
Du kanske också är intresserad av
Understanding Behaviour of Distributed Systems Using mCRL2
Muhammad Atif, Jan Friso Groote
Inbunden
1 924 kr
Del 13487
Logic Gates, Circuits, Processors, Compilers and Computers
Jan Friso Groote, Rolf Morel, Julien Schmaltz, Adam Watkins
Häftad
412 kr
Del 12651
Tools and Algorithms for the Construction and Analysis of Systems
Jan Friso Groote, Kim Guldstrand Larsen
Häftad
446 kr
Del 12652
Tools and Algorithms for the Construction and Analysis of Systems
Jan Friso Groote, Kim Guldstrand Larsen
Häftad
446 kr