Catalog

Record Details

Catalog Search

[ 2 filters applied ]

Back To Results
Showing Item 1 of 1
Principles of the Spin Model Checker Cover Image E-book E-book

Principles of the Spin Model Checker

Ben-Ari, Mordechai. (author.). SpringerLink (Online service) (Added Author).

Record details

  • ISBN: 9781846287701
  • Physical Description: electronic
    electronic resource
    access
    remote
    online resource.
  • Publisher: London : Springer London, 2008.

Search for related items by subject

Subject: Computer science
Software engineering
Operating systems (Computers)
Information theory
Logic design
Computer Science
Software Engineering/Programming and Operating Systems
Programming Techniques
Programming Languages, Compilers, Interpreters
Operating Systems
Theory of Computation
Logics and Meanings of Programs

Electronic resources

Texto completo

Back To Results
Showing Item 1 of 1

Additional Resources