Books by Jan Friso Groote

Jan Friso Groote
Average rating 3.50 · 6 ratings · 0 reviews · shelved 30 times

Showing 8 distinct works.

	Modeling and Analysis of Communicating Systems by Jan Friso Groote, Mohammad Reza Mousavi really liked it 4.00 avg rating — 3 ratings — published 2014 — 5 editions	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars
	Logic Gates, Circuits, Processors, Compilers and Computers by Jan Friso Groote, Rolf Morel (Contributor), Julien Schmaltz (Contributor), Adam Watkins (Contributor) 2.50 avg rating — 2 ratings — 3 editions	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars
	Tools and Algorithms for the Construction and Analysis of Systems by Jan Friso Groote (Editor) really liked it 4.00 avg rating — 1 rating — 2 editions	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars
	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 Jan Friso Groote (editor), Kim Guldstrand Larsen (Editor) 0.00 avg rating — 0 ratings	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars
	Formal Methods for Industrial Critical Systems: 27th International Conference, FMICS 2022, Warsaw, Poland, September 14–15, 2022, Proceedings (Lecture Notes in Computer Science) by Jan Friso Groote (editor), Marieke Huisman (Editor) 0.00 avg rating — 0 ratings — 2 editions	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars
	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 Jan Friso Groote (Editor), Marieke Huisman (editor) 0.00 avg rating — 0 ratings	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars
	Understanding Behaviour of Distributed Systems Using mCRL2 (Studies in Systems, Decision and Control, 458) by Muhammad Atif, Jan Friso Groote 0.00 avg rating — 0 ratings — 4 editions	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars
	Tales of Electrologica: Computers, Software and People by Gerard Alberts (editor), Jan Friso Groote (Editor) 0.00 avg rating — 0 ratings — 4 editions	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars

* Note: these are all the books on Goodreads for this author. To add more books, click here.