Søkt på: Bøker av Jan Friso Groote
totalt 15 treff
Logic Gates, Circuits, Processors, Compilers and Computers
This undergraduate textbook first introduces basic electronic circuitry before explaining more advanced elements such as the Arithmetic Logic Unit, sequential circuits, and finally …
Modeling and Analysis of Communicating Systems
Rigorous theory and real-world applications for modeling and analysis of the behavior of complex communicating computer systemsComplex communicating computer systems-computers …
Tales of Electrologica
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 …
Formal Methods for Industrial Critical Systems
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 …
Logic Gates, Circuits, Processors, Compilers and Computers
This undergraduate textbook first introduces basic electronic circuitry before explaining more advanced elements such as the Arithmetic Logic Unit, sequential circuits, and finally …
Tools and Algorithms for the Construction and Analysis of Systems
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, …
Tales of Electrologica
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 …
Tools and Algorithms for the Construction and Analysis of Systems
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, …
Modeling and Analysis of Communicating Systems
Rigorous theory and real-world applications for modeling and analysis of the behavior of complex communicating computer systemsComplex communicating computer systems-computers …
Tales of Electrologica
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 …
Tools and Algorithms for the Construction and Analysis of Systems
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, …
Understanding Behaviour of Distributed Systems Using mCRL2
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 …