Hoppa till sidans huvudinnehåll

Jan Friso Groote – författare

Visar alla böcker från författaren Jan Friso Groote.
9 produkter
Jan Friso Groote, Mohammad Reza Mousavi - Modeling and Analysis of Communicating Systems, Häftad

Modeling and Analysis of Communicating Systems

AvJan Friso Groote,Mohammad Reza Mousavi

Häftad, Engelska, 2023

989 kr

Skickas inom 5-8 vardagar

Jan Friso Groote, Rolf Morel, Julien Schmaltz, Adam Watkins - Logic Gates, Circuits, Processors, Compilers and Computers, Häftad

Logic Gates, Circuits, Processors, Compilers and Computers

AvJan Friso Groote,Rolf Morelm. fl.

Häftad, Engelska, 2021

539 kr

Skickas inom 10-15 vardagar

Jan Friso Groote, Kim Guldstrand Larsen - Tools and Algorithms for the Construction and Analysis of Systems, Häftad
Del 12652 - Lecture Notes in Computer Science

Tools and Algorithms for the Construction and Analysis of Systems

27th International Conference, TACAS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021, Proceedings, Part II

AvJan Friso Groote,Kim Guldstrand Larsen

Häftad, Engelska, 2021

589 kr

Skickas inom 10-15 vardagar

Jan Friso Groote, Kim Guldstrand Larsen - Tools and Algorithms for the Construction and Analysis of Systems, Häftad
Del 12651 - Lecture Notes in Computer Science

Tools and Algorithms for the Construction and Analysis of Systems

27th International Conference, TACAS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021, Proceedings, Part I

AvJan Friso Groote,Kim Guldstrand Larsen

Häftad, Engelska, 2021

589 kr

Skickas inom 10-15 vardagar

Gerard Alberts, Jan Friso Groote - Tales of Electrologica, Inbunden

Tales of Electrologica

Computers, Software and People

AvGerard Alberts,Jan Friso Groote

Inbunden, Engelska, 2023

499 kr

Skickas inom 10-15 vardagar

Gerard Alberts, Jan Friso Groote - Tales of Electrologica, Häftad

Tales of Electrologica

Computers, Software and People

AvGerard Alberts,Jan Friso Groote

Häftad, Engelska, 2024

499 kr

Skickas inom 10-15 vardagar

Jan Friso Groote, Marieke Huisman - Formal Methods for Industrial Critical Systems, Häftad
Del 13487 - Lecture Notes in Computer Science

Formal Methods for Industrial Critical Systems

27th International Conference, FMICS 2022, Warsaw, Poland, September 14–15, 2022, Proceedings

AvJan Friso Groote,Marieke Huisman

Häftad, Engelska, 2022

1 019 kr

Skickas inom 10-15 vardagar

Muhammad Atif, Jan Friso Groote - Understanding Behaviour of Distributed Systems Using mCRL2, Inbunden
Del 458 - Studies in Systems, Decision and Control

Understanding Behaviour of Distributed Systems Using mCRL2

AvMuhammad Atif,Jan Friso Groote

Inbunden, Engelska, 2023

2 529 kr

Skickas inom 10-15 vardagar

Muhammad Atif, Jan Friso Groote - Understanding Behaviour of Distributed Systems Using mCRL2, Häftad
Del 458 - Studies in Systems, Decision and Control

Understanding Behaviour of Distributed Systems Using mCRL2

AvMuhammad Atif,Jan Friso Groote

Häftad, Engelska, 2024

2 529 kr

Skickas inom 10-15 vardagar