|
Modeling and Analysis of Communicating Systems
by
really liked it 4.00 avg rating — 3 ratings
—
published
2014
—
5 editions
|
|
|
Logic Gates, Circuits, Processors, Compilers and Computers
by
|
|
|
Tools and Algorithms for the Construction and Analysis of Systems
by
really liked it 4.00 avg rating — 1 rating
—
2 editions
|
|
|
Tools and Algorithms for the Construction and Analysis of Systems: 27th International Conference, TACAS 2021, Held as Part of the European Joint Conferences ... Notes in Computer Science Book 12652)
by
0.00 avg rating — 0 ratings
|
|
|
Formal Methods for Industrial Critical Systems: 27th International Conference, FMICS 2022, Warsaw, Poland, September 14–15, 2022, Proceedings (Lecture Notes in Computer Science)
by
|
|
|
Formal Methods for Industrial Critical Systems: 27th International Conference, FMICS 2022, Warsaw, Poland, September 14–15, 2022, Proceedings (Lecture Notes in Computer Science Book 13487)
by
0.00 avg rating — 0 ratings
|
|
|
Understanding Behaviour of Distributed Systems Using mCRL2 (Studies in Systems, Decision and Control, 458)
by
|
|
|
Tales of Electrologica: Computers, Software and People
by
|
|
* Note: these are all the books on Goodreads for this author. To add more books,
click here.