Skip to content

Home Practice Lessons About

Jan Friso Groote

Books

Tales of Electrologica
Formal Methods for Industrial Critical Systems
Modeling and Analysis of Communicating Systems
Tools and Algorithms for the Construction and Analysis of Systems
Understanding Behaviour of Distributed Systems Using MCRL2
Logical Gates, Circuits, Processors, Compilers and Computers

Author data: Open Library

Book Glossary · bookglossary.comA nonprofit resource from Dover Public Library and the Tuscarawas County Literacy Coalition.