Limit search to available items
Add Marked to Bag Add All On Page Add Marked to My Lists
Subjects (1-2 of 2)
Computer Systems -- standards.
1
E-book
2010

Computer aided verification : 22nd international conference, CAV 2010, Edinburgh, UK, July 15-19, 2010 : proceedings


CAV (Conference) (22nd : 2010 : Edinburgh, Scotland)
Berlin ; New York : Springer, [2010]

Rating:

 
 
2
E-book
2010

Reachability problems : 4th international workshop, RP 2010, Brno, Czech Republic, August 28-29, 2010 : proceedings


RP (Workshop) (4th : 2010 : Brno, Czech Republic)
Berlin : Springer, [2010]

Rating:

 
 
Add Marked to Bag Add All On Page
Locate in results