Jan Friso Groote

  1. home
  2. Author
  3. Jan Friso Groote
Jan Friso Groote

8 Published BooksJan Friso Groote

Popular Books by Jan Friso Groote

Modeling and Analysis of Communicating Systems
Modeling and Analysis of Communicating Systems
View More

Modeling and Analysis of Communicating Systems

By: Jan Friso Groote
Logic Gates, Circuits, Processors, Compilers and Computers
Logic Gates, Circuits, Processors, Compilers and Computers
View More

Logic Gates, Circuits, Processors, Compilers and Computers

By: Jan Friso Groote
Tools and Algorithms for the Construction and Analysis of Systems
Tools and Algorithms for the Construction and Analysis of Systems
View More

Tools and Algorithms for the Construction and Analysis of Systems

By: Jan Friso Groote
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)
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)
View More

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
Formal Methods for Industrial Critical Systems: 27th International Conference, FMICS 2022, Warsaw, Poland, September 14–15, 2022, Proceedings (Lecture Notes in Computer Science)
Formal Methods for Industrial Critical Systems: 27th International Conference, FMICS 2022, Warsaw, Poland, September 14–15, 2022, Proceedings (Lecture Notes in Computer Science)
View More

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
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)
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)
View More

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
Understanding Behaviour of Distributed Systems Using mCRL2 (Studies in Systems, Decision and Control, 458)
Understanding Behaviour of Distributed Systems Using mCRL2 (Studies in Systems, Decision and Control, 458)
View More

Understanding Behaviour of Distributed Systems Using mCRL2 (Studies in Systems, Decision and Control, 458)

By: Muhammad Atif
Tales of Electrologica: Computers, Software and People
Tales of Electrologica: Computers, Software and People
View More

Tales of Electrologica: Computers, Software and People

By: Gerard Alberts