Erweiterte Suche

Grid  List

  1. Tools and Algorithms for the Construction and Analysis of Systems 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 International Publishing
    20.03.2021

    This open access two-volume set constitutes the proceedings of the 27th International Conference ...

    Taschenbuch
    42,79 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  2. Logic Gates, Circuits, Processors, Compilers and Computers Logic Gates, Circuits, Processors, Compilers and Computers

    Logic Gates, Circuits, Processors, Compilers and Computers

    Jan Friso Groote
    Springer International Publishing, Springer International Publishing
    19.08.2021

    This undergraduate textbook first introduces basic electronic circuitry before explaining more ad...

    Taschenbuch
    37,44 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  3. Tools and Algorithms for the Construction and Analysis of Systems 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 International Publishing
    23.03.2021

    This open access two-volume set constitutes the proceedings of the 27th International Conference ...

    Taschenbuch
    42,79 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  4. Tales of Electrologica Tales of Electrologica

    Tales of Electrologica

    Jan Friso Groote
    Springer International Publishing
    05.01.2023

    Manufacturing computers in series was quite a feat in the 1950s. As mathematical as it gets, the ...

    Gebunden
    37,44 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  5. Formal Methods for Industrial Critical Systems Formal Methods for Industrial Critical Systems

    Formal Methods for Industrial Critical Systems

    Marieke Huisman
    Springer International Publishing, Springer International Publishing
    12.08.2022

    This book constitutes the proceedings of the 27th International Conference on Formal Methods for ...

    Taschenbuch
    74,89 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  6. Understanding Behaviour of Distributed Systems Using mCRL2 Understanding Behaviour of Distributed Systems Using mCRL2

    Understanding Behaviour of Distributed Systems Using mCRL2

    Jan Friso Groote
    Springer International Publishing
    26.02.2023

    This book helps readers easily learn basic model checking by presenting examples, exercises and c...

    Gebunden

    Unser bisheriger Preis:ORGPRICE: 192,59 €

    Jetzt 181,89 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  7. Tales of Electrologica Tales of Electrologica

    Tales of Electrologica

    Jan Friso Groote
    Springer International Publishing, Springer International Publishing
    06.01.2024

    Manufacturing computers in series was quite a feat in the 1950s. As mathematical as it gets, the ...

    Taschenbuch
    37,44 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  8. Understanding Behaviour of Distributed Systems Using mCRL2 Understanding Behaviour of Distributed Systems Using mCRL2

    Understanding Behaviour of Distributed Systems Using mCRL2

    Jan Friso Groote
    Springer International Publishing, Springer Nature Switzerland
    27.02.2024

    This book helps readers easily learn basic model checking by presenting examples, exercises and c...

    Taschenbuch

    Unser bisheriger Preis:ORGPRICE: 192,59 €

    Jetzt 181,89 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  1. 1