Understanding Behaviour of Distributed Systems Using mCRL2
Muhammad Atif, Jan Friso Groote
Häftad
1 905 kr
Understanding Behaviour of Distributed Systems Using mCRL2
AvMuhammad Atif,Jan Friso Groote
Engelska, 2023
634 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 905 kr
Del 13487
Logic Gates, Circuits, Processors, Compilers and Computers
Jan Friso Groote, Rolf Morel, Julien Schmaltz, Adam Watkins
Häftad
408 kr
Del 12651
Tools and Algorithms for the Construction and Analysis of Systems
Jan Friso Groote, Kim Guldstrand Larsen
Häftad
442 kr
Del 12652
Tools and Algorithms for the Construction and Analysis of Systems
Jan Friso Groote, Kim Guldstrand Larsen
Häftad
442 kr