jan friso groote

Grid   List

  1. Logic Gates, Circuits, Processors, Compilers and Computers
    Logic Gates, Circuits, Processors, Compilers and Computers
    Jan Friso Groote
    Springer Nature Switzerland
    Ebook
    Sofort lieferbar
    * Presents a holistic view of relevant hardware and software technologies
    37,44 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  2. Tales of Electrologica
    Tales of Electrologica
    Gerard Alberts
    Springer International Publishing
    Ebook
    Sofort lieferbar
    Fortuitously, a copy of the X8 was retrieved from Kiel, Germany, and put on display at Rijksmuseum Boerhaave, Leiden. Sparked by the very material presence of an X8, the present book takes stock of...
    37,44 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  3. Formal Methods for Industrial Critical Systems
    Formal Methods for Industrial Critical Systems
    Jan Friso Groote
    Springer International Publishing
    Ebook
    Sofort lieferbar
    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.
    74,89 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  4. Understanding Behaviour of Distributed Systems Using mCRL2
    Understanding Behaviour of Distributed Systems Using mCRL2
    Muhammad Atif
    Springer International Publishing
    Ebook
    Sofort lieferbar
    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, ...
    192,59 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  5. Logic Gates, Circuits, Processors, Compilers and Computers
    Logic Gates, Circuits, Processors, Compilers and Computers
    Jan Friso Groote
    Springer International Publishing, Springer International Publishing
    Taschenbuch
    Bezug 11-15
    This undergraduate textbook first introduces basic electronic circuitry before explaining more advanced elements such as the Arithmetic Logic Unit, sequential circuits, and finally microprocessors....
    37,44 €
    Alle Preise inkl. MwSt | Versandkostenfrei
    In den Warenkorb Zum Merkzettel
  6. Tools and Algorithms for the Construction and Analysis of Systems
    Tools and Algorithms for the Construction and Analysis of Systems
    Kim Guldstrand Larsen
    Springer International Publishing, Springer Nature Switzerland
    Taschenbuch
    Bezug 11-15
    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 dur...
    42,79 €
    Alle Preise inkl. MwSt | Versandkostenfrei
    In den Warenkorb Zum Merkzettel
  7. Tools and Algorithms for the Construction and Analysis of Systems
    Tools and Algorithms for the Construction and Analysis of Systems
    Kim Guldstrand Larsen
    Springer International Publishing, Springer Nature Switzerland
    Taschenbuch
    Bezug 11-15
    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 ...
    42,79 €
    Alle Preise inkl. MwSt | Versandkostenfrei
    In den Warenkorb Zum Merkzettel
  8. Tales of Electrologica
    Tales of Electrologica
    Jan Friso Groote
    Springer International Publishing, Springer International Publishing
    Buch
    Bezug 11-15
    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...
    37,44 €
    Alle Preise inkl. MwSt | Versandkostenfrei
    In den Warenkorb Zum Merkzettel
  9. Formal Methods for Industrial Critical Systems
    Formal Methods for Industrial Critical Systems
    Marieke Huisman
    Springer International Publishing, Springer International Publishing
    Taschenbuch
    Bezug 11-15
    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 ...
    74,89 €
    Alle Preise inkl. MwSt | Versandkostenfrei
    In den Warenkorb Zum Merkzettel
  10. Understanding Behaviour of Distributed Systems Using mCRL2
    Understanding Behaviour of Distributed Systems Using mCRL2
    Jan Friso Groote
    Springer Nature Switzerland, Springer International Publishing
    Buch
    Bezug 11-15
    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 system...
    192,59 €
    Alle Preise inkl. MwSt | Versandkostenfrei
    In den Warenkorb Zum Merkzettel
  11. Tales of Electrologica
    Tales of Electrologica
    Jan Friso Groote
    Springer International Publishing, Springer International Publishing
    Taschenbuch
    Bezug 11-15
    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...
    37,44 €
    Alle Preise inkl. MwSt | Versandkostenfrei
    In den Warenkorb Zum Merkzettel
  12. Modeling and Analysis of Communicating Systems
    Modeling and Analysis of Communicating Systems
    Jan Friso Groote
    MIT Press
    Taschenbuch
    Bezug 16-20
    Rigorous theory and real-world applications for modeling and analysis of the behavior of complex communicating computer systems.Complex communicating computer systems—computers connected by data ne...
    64,79 €
    Alle Preise inkl. MwSt | Versandkostenfrei
    In den Warenkorb Zum Merkzettel
  1. 1
  2. 2
<%--for search--%>