Limit search to available items
Add Marked to Bag Add All On Page Add Marked to My Lists
Subjects (1-14 of 14)
Computer systems -- Verification -- Congresses.
2
3
E-book
2015

Dependable software systems engineering


NATO Advanced Study Institute on Dependable Software Systems Engineering (2014 : Marktoberdorf, Germany)
Amsterdam : IOS Press, 2015

Rating:

 
 
4
E-book
2013

Engineering dependable software systems


NATO Advanced Study Institute on Engineering Dependable Software Systems (2012 : Marktoberdorf, Germany)
Amsterdam : IOS Press, [2013]

Rating:

 
 
6
 
7
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:

 
 
8
E-book
2011

Reachability problems : 5th International Workshop, RP 2011, Genoa, Italy, September 28-30, 2011. Proceedings


RP (Workshop) (5th : 2011 : Genoa, Italy)
Berlin ; New York : Springer, [2011]

Rating:

 
 
9
E-book
2012

Reachability problems : 6th International Workshop, RP 2012, Bordeaux, France, September 17-19, 2012. Proceedings


RP (Workshop) (6th : 2012 : Bordeaux, France)
Berlin ; New York : Springer, [2012]

Rating:

 
 
10
E-book
2013

Reachability problems : 7th international workshop, RP 2013, Uppsala, Sweden, September 24-26, 2013, proceedings


RP (Workshop) (7th : 2013 : Uppsala, Sweden)
Heidelberg : Springer, [2013]

Rating:

 
 
11
E-book
2014

Reachability problems : 8th International Workshop, RP 2014, Oxford, UK, September 22-24, 2014. Proceedings


RP (Workshop) (8th : 2014 : Oxford, England)
Cham : Springer, 2014

Rating:

 
 
12
E-book
2016

Reachability problems : 10th International Workshop, RP 2016, Aalborg, Denmark, September 19-21, 2016, proceedings


RP (Workshop) (10th : 2016 : Ã…lborg, Denmark)
Switzerland : Springer, 2016

Rating:

 
 
13
E-book
2017

Reachability problems : 11th International Workshop, RP 2017, London, UK, September 7-9, 2017, Proceedings


RP (Workshop) (11th : 2017 : London, England)
Cham, Switzerland : Springer, 2017

Rating:

 
 
14
E-book
2009

Reachability problems : third international workshop, RP 2009, Palaiseau, France, September 23-25, 2009 : proceedings


RP (Workshop) (3rd : 2009 : Palaiseau, France)
Berlin ; New York : Springer, 2009

Rating:

 
 
Add Marked to Bag Add All On Page
Locate in results