Catalog
My Account
Home
About
Tutorials
Electronic Resources
New Titles
Institutional Repository
Record Details
Catalog Search
Search the Catalog
Advanced Search
Browse the Catalog
-- Basket Actions --
View Basket
Place Holds
Print Title Details
Email Title Details
Add Basket to Saved List
Clear Basket
0
records in basket
Search:
Type:
Keyword
Title
Journal Title
Author
Subject
Series
Format:
All Formats
Direct electronic
Electronic
Online
Regular print reproduction
Library:
IPICYT
Biblioteca
Biblioteca Ipicyt
All Libraries
[
2 filters applied
]
◄
Search Results
Showing Item 3 of 3
◄
Previous
Principles of the Spin Model Checker
Ben-Ari, Mordechai.
(
author.
).
SpringerLink (Online service)
(
Added Author
).
E-book
Add to basket
Remove from basket
Print
/
Email
Permalink
Enable Highlighting
Electronic resources
Texto completo
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
► Awards, Reviews, & Suggested Reads
► Shelf Browser
► MARC Record
◄
Search Results
Showing Item 3 of 3
◄
Previous
Additional Resources