Jan Friso Groote – författare
Visar alla böcker från författaren Jan Friso Groote. Handla med fri frakt och snabb leverans.
15 produkter
Modeling and Analysis of Communicating Systems
Av Jan Friso Groote, Mohammad Reza Mousavi
Häftad, 2023
785 kr
Lägg i varukorg
Logic Gates, Circuits, Processors, Compilers and Computers
Av Jan Friso Groote, Rolf Morel m. fl.
Häftad, 2021
420 kr
Lägg i varukorg
This undergraduate textbook first introduces basic electronic circuitry before explaining more advanced elements such as the Arithmetic Logic Unit, sequential circuits, and finally microprocessors. In keeping with this integrated and graduated approach, the authors then explain the relationship to …
Logic Gates, Circuits, Processors, Compilers and Computers
Av Adam Watkins, Julien Schmaltz m. fl.
E-bok, 2021
537 kr
Lägg i varukorg
This undergraduate textbook first introduces basic electronic circuitry before explaining more advanced elements such as the Arithmetic Logic Unit, sequential circuits, and finally microprocessors. In keeping with this integrated and graduated approach, the authors then explain the relationship to …
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
Av Jan Friso Groote, Kim Guldstrand Larsen
Häftad, 2021
455 kr
Lägg i varukorg
This open access two-volume set constitutes the proceedings of the 27th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2021, which was held during March 27 – April 1, 2021, as part of the European Joint Conferences on Theory and Practice of …
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
Av Jan Friso Groote, Kim Guldstrand Larsen
Häftad, 2021
455 kr
Lägg i varukorg
This open access two-volume set constitutes the proceedings of the 27th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2021, which was held during March 27 – April 1, 2021, as part of the European Joint Conferences on Theory and Practice of …
Tales of Electrologica
Computers, Software and People
Av Gerard Alberts, Jan Friso Groote
Inbunden, 2023
389 kr
Lägg i varukorg
Manufacturing computers in series was quite a feat in the 1950s. As mathematical as it gets, the machines discussed here were called X1 and X8.The industrial achievement combined with the background in a mathematical research center made the company Electrologica a legend in Dutch computing. The …
Tales of Electrologica
Computers, Software and People
Av Jan Friso Groote, Gerard Alberts
E-bok, 2023
489 kr
Lägg i varukorg
Manufacturing computers in series was quite a feat in the 1950s. As mathematical as it gets, the machines discussed here were called X1 and X8. The industrial achievement combined with the background in a mathematical research center made the company Electrologica a legend in Dutch computing. The …
Tales of Electrologica : Computers, Software and People
Av Gerard Alberts, Jan Friso Groote
2023
652 kr
Lägg i varukorg
Tales of Electrologica
Computers, Software and People
Av Gerard Alberts, Jan Friso Groote
Häftad, 2024
389 kr
Lägg i varukorg
Manufacturing computers in series was quite a feat in the 1950s. As mathematical as it gets, the machines discussed here were called X1 and X8.The industrial achievement combined with the background in a mathematical research center made the company Electrologica a legend in Dutch computing. The …
Formal Methods for Industrial Critical Systems
27th International Conference, FMICS 2022, Warsaw, Poland, September 14–15, 2022, Proceedings
Av Jan Friso Groote, Marieke Huisman
Häftad, 2022
792 kr
Lägg i varukorg
This book constitutes the proceedings of the 27th International Conference on Formal Methods for Industrial Critical Systems, FMICS 2022, which took place in Warsaw, Poland, in September 2022. The 13 full papers included in this book were carefully reviewed and selected from 22 submissions. They …
Formal Methods for Industrial Critical Systems
27th International Conference, FMICS 2022, Warsaw, Poland, September 14–15, 2022, Proceedings
Av Marieke Huisman, Jan Friso Groote
E-bok, 2022
1007 kr
Lägg i varukorg
This book constitutes the proceedings of the 27th International Conference on Formal Methods for Industrial Critical Systems, FMICS 2022, which took place in Warsaw, Poland, in September 2022. The 13 full papers included in this book were carefully reviewed and selected from 22 submissions. They …
Understanding Behaviour of Distributed Systems Using mCRL2
Av Muhammad Atif, Jan Friso Groote
Inbunden, 2023
1970 kr
Lägg i varukorg
This book helps readers easily learn basic model checking by presenting examples, exercises and case studies. The toolset mCRL2 provides a language to specify the behaviour of distributed systems, in particular where there is concurrency with inter-process communication. This language allows us to …
Understanding Behaviour of Distributed Systems Using mCRL2
Av Jan Friso Groote, Muhammad Atif
E-bok, 2023
2607 kr
Lägg i varukorg
This book helps readers easily learn basic model checking by presenting examples, exercises and case studies. The toolset mCRL2 provides a language to specify the behaviour of distributed systems, in particular where there is concurrency with inter-process communication. This language allows us to …
Understanding Behaviour of Distributed Systems Using mCRL2
Av Muhammad Atif, Jan Friso Groote
2023
652 kr
Lägg i varukorg
Understanding Behaviour of Distributed Systems Using mCRL2
Av Muhammad Atif, Jan Friso Groote
Häftad, 2024
1970 kr
Lägg i varukorg
This book helps readers easily learn basic model checking by presenting examples, exercises and case studies. The toolset mCRL2 provides a language to specify the behaviour of distributed systems, in particular where there is concurrency with inter-process communication. This language allows us to …
