Partial Order Methods in Verification 1
bokomslag Partial Order Methods in Verification
Data & IT

Partial Order Methods in Verification

Doron A Peled

Inbunden

2049:-

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.

  • 403 sidor
  • 1997
Presents surveys on the theory and practice of modelling, specifying, and validating concurrent systems. It contains surveys of techniques used in tools developed for automatic validation of systems. It is intended for graduate students and research mathematicians.
  • Författare: Doron A Peled
  • Format: Inbunden
  • ISBN: 9780821805794
  • Språk: Engelska
  • Antal sidor: 403
  • Utgivningsdatum: 1997-06-01
  • Förlag: American Mathematical Society

Du kanske gillar

  1. bokomslag Software Reliability Methods

    Software Reliability Methods

    Doron A Peled

    Pocket

    1169:-
  2. bokomslag Software Reliability Methods

    Software Reliability Methods

    Doron A Peled

    Inbunden

    759:-
  3. bokomslag Automated Technology for Verification and Analysis

    Automated Technology for Verification...

    Yih-Kuen Tsay Doron A Peled

    Pocket

    759:-
  4. bokomslag Formal Techniques for Networked and Distributed Systems - FORTE 2002

    Formal Techniques for Networked and D...

    Moshe Y Vardi Doron A Peled

    Pocket

    779:-
  5. bokomslag Model Checking and Artificial Intelligence

    Model Checking and Artificial Intelli...

    Michael Wooldridge Doron A Peled

    Pocket

    759:-
  6. bokomslag Software Reliability Methods

    Software Reliability Methods

    Peled Doron A Peled

    Pocket

    899:-
  7. bokomslag Photo-Excited Processes, Diagnostics and Applications

    Photo-Excited Processes, Diagnostics ...

    A Peled

    Pocket

    759:-
  8. bokomslag Photo-Excited Processes, Diagnostics and Applications

    Photo-Excited Processes, Diagnostics ...

    A Peled

    Inbunden

    759:-
  9. Hitster Rock

    Hitster Rock

    Spel, Hitster

    299:- (349:-)
  10. Sommarskuggan

    Sommarskuggan

    Spel, Tactic

    199:- (369:-)

Andra av samma författare

  1. bokomslag Software Reliability Methods

    Software Reliability Methods

    Doron A Peled

    Inbunden

    759:-
  2. bokomslag Software Reliability Methods

    Software Reliability Methods

    Doron A Peled

    Pocket

    1169:-
  3. bokomslag Formal Techniques for Networked and Distributed Systems - FORTE 2002

    Formal Techniques for Networked and D...

    Moshe Y Vardi Doron A Peled

    Pocket

    779:-
  4. bokomslag Computer Aided Verification

    Computer Aided Verification

    Doron A Peled Rajeev Alur

    Pocket

    1499:-
  5. bokomslag Automated Technology for Verification and Analysis

    Automated Technology for Verification...

    Yih-Kuen Tsay Doron A Peled

    Pocket

    759:-
  6. bokomslag Verification, Model Checking, and Abstract Interpretation

    Verification, Model Checking, and Abs...

    Francesco Logozzo, Doron A Peled, Leonore D Zuck

    Pocket

    759:-
  7. bokomslag Model Checking and Artificial Intelligence

    Model Checking and Artificial Intelli...

    Michael Wooldridge Doron A Peled

    Pocket

    759:-
  8. bokomslag Runtime Verification

    Runtime Verification

    Doron A Peled Saddek Bensalem

    Pocket

    759:-