Principles of Model Checking 1
bokomslag Principles of Model Checking
Data & IT

Principles of Model Checking

Christel Baier • Joost-Pieter Katoen • Christel Baier • Joost-Pieter Katoen

Inbunden

1009:-

Funktionen begränsas av dina webbläsarinställningar (t.ex. privat läge).

Tillfälligt slut online – klicka på "Bevaka" för att få ett mejl så fort varan går att köpa igen.

  • 984 sidor
  • 2008
  • Författare: Christel Baier, Joost-Pieter Katoen, Christel Baier, Joost-Pieter Katoen
  • Format: Inbunden
  • ISBN: 9780262026499
  • Språk: Engelska
  • Antal sidor: 984
  • Utgivningsdatum: 2008-04-25
  • Förlag: MIT Press Ltd

Du kanske gillar

  1. bokomslag Validation of Stochastic Systems

    Validation of Stochastic Systems

    Christel Baier, Boudewijn R Haverkort, Holger Hermanns, Joost-Pieter Katoen, Markus Siegle

    Pocket

    729:-
  2. bokomslag Foundations of Probabilistic Programming

    Foundations of Probabilistic Programming

    Gilles Barthe, Joost-Pieter Katoen, Alexandra Silva, Joost-Pieter Katoen, Alexandra Silva

    Inbunden

    1059:-
  3. bokomslag Formal Techniques for Distributed Objects, Components, and Systems

    Formal Techniques for Distributed Obj...

    Christel Baier, Luís Caires, Luís Caires

    Pocket

    749:-
  4. bokomslag Cultural Sustainability and Regional Development

    Cultural Sustainability and Regional ...

    Joost Dessein, Elena Battaglini, Lummina Horlings, Joost Dessein, Elena Battaglini

    Inbunden

    2769:-
  5. bokomslag Tools and Algorithms for the Construction and Analysis of Systems

    Tools and Algorithms for the Construc...

    Cesare Tinelli Christel Baier

    Pocket

    749:-
  6. bokomslag Handboek Praktijkvoering: Bouwstenen Voor de Huisartsgeneeskunde

    Handboek Praktijkvoering: Bouwstenen ...

    J N Belo, Fred Dijkers, Kees In'T Veld, Joost Leferink

    Inbunden

    1499:-
  7. bokomslag Dependable Software Engineering. Theories, Tools, and Applications

    Dependable Software Engineering. Theo...

    Nan Guan, Joost-Pieter Katoen, Jun Sun

    Pocket

    749:-
  8. bokomslag Goat Chinese Horoscope 2023

    Goat Chinese Horoscope 2023

    Ichinghun Fengshuisu

    Pocket

    159:-
  9. bokomslag CONCUR 2006 - Concurrency Theory

    CONCUR 2006 - Concurrency Theory

    Holger Hermanns Christel Baier

    Pocket

    1479:-
  10. bokomslag Foundations of Software Science and Computation Structures

    Foundations of Software Science and C...

    Ugo Dal Lago Christel Baier

    Pocket

    729:-

Andra av samma författare

  1. bokomslag Foundations of Probabilistic Programming

    Foundations of Probabilistic Programming

    Gilles Barthe, Joost-Pieter Katoen, Alexandra Silva, Joost-Pieter Katoen, Alexandra Silva

    Inbunden

    1059:-
  2. bokomslag Dependable Software Engineering. Theories, Tools, and Applications

    Dependable Software Engineering. Theo...

    Nan Guan, Joost-Pieter Katoen, Jun Sun

    Pocket

    749:-
  3. bokomslag Formal Methods

    Formal Methods

    Marsha Chechik, Joost-Pieter Katoen, Martin Leucker

    Pocket

    1459:-
  4. bokomslag SOFSEM 2017: Theory and Practice of Computer Science

    SOFSEM 2017: Theory and Practice of C...

    Bernhard Steffen, Christel Baier, Mark Van Den Brand, Johann Eder, Mike Hinchey

    Pocket

    749:-
  5. bokomslag ModelEd, TestEd, TrustEd

    ModelEd, TestEd, TrustEd

    Joost-Pieter Katoen, Rom Langerak, Arend Rensink

    Pocket

    749:-
  6. bokomslag Foundations of Software Science and Computation Structures

    Foundations of Software Science and C...

    Ugo Dal Lago Christel Baier

    Pocket

    729:-
  7. bokomslag Formal Techniques for Distributed Objects, Components, and Systems

    Formal Techniques for Distributed Obj...

    Christel Baier, Luís Caires, Luís Caires

    Pocket

    749:-
  8. bokomslag Validation of Stochastic Systems

    Validation of Stochastic Systems

    Christel Baier, Boudewijn R Haverkort, Holger Hermanns, Joost-Pieter Katoen, Markus Siegle

    Pocket

    729:-
  9. bokomslag Model-Based Testing of Reactive Systems

    Model-Based Testing of Reactive Systems

    Manfred Broy, Bengt Jonsson, Joost-Pieter Katoen, Martin Leucker, Alexander Pretschner

    Pocket

    749:-
  10. bokomslag CONCUR 2006 - Concurrency Theory

    CONCUR 2006 - Concurrency Theory

    Holger Hermanns Christel Baier

    Pocket

    1479:-