Discover new books on Goodreads

See if your friends have read any of Jan Friso Groote's books

Jan Friso Groote

Jan Friso Groote’s Followers

None yet.

Jan Friso Groote

Combine Editions
Jan Friso Groote’s books

Average rating: 3.29 · 7 ratings · 0 reviews · 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) 2.33 avg rating — 3 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: 27th International Conference, TACAS 2021, Held as Part of the European Joint ... II (Lecture Notes in Computer Science, 12652) 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, 13487) 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

More books by Jan Friso Groote…

Is this you? Let us know. If not, help out and invite Jan to Goodreads.