• Suche: "Computer programs -- Verification"

Treffer 1 - 20 von 190

1
Apt, Krzysztof R.
3., extend. ed.
New York, NY [u.a.] : Springer, 2009
Buch
Merkliste
2
Apt, Krzysztof R (Verfasser)
3rd ed. 2009
London : Springer London, 2009
E-Book
Merkliste
3
Bradley, Aaron R (Verfasser)
1st ed. 2007
Berlin, Heidelberg : Springer Berlin Heidelberg, 2007
E-Book
Merkliste
4
Schweitzer, Dirk Stephan (Verfasser)
2007
E-Book
Merkliste
5
Apt, Krzysztof R.
2. ed.
New York, NY [u.a.] : Springer, 1997
Buch
Merkliste
6
van der Pol, Jaco (Herausgeber)
1st ed. 2010
Berlin, Heidelberg : Springer Berlin Heidelberg, 2010
E-Book
Merkliste
7
Appel, Andrew W.
New York, NY : Cambridge Univ. Press, 2014
E-Book
Merkliste
8
Bienmüller, Tom
Oldenburg : Univ., Fak. II, Dep. für Informatik, 2003
Buch
Merkliste
9
Wardana, Awang Noor Indra (Verfasser)
Kassel : Kassel University Press, 2009
E-Book
Merkliste
10
Pasareanu, Corina S (Herausgeber)
1st ed. 2009
Berlin, Heidelberg : Springer Berlin Heidelberg, 2009
E-Book
Merkliste
11
Apt, Krzysztof R.
Berlin [u.a.] : Springer, 1994
Buch
Merkliste
12
Giacobazzi, Roberto (Herausgeber)
1st ed. 2013
Berlin, Heidelberg : Springer Berlin Heidelberg, 2013
E-Book
Merkliste
13
Baier, Christel
Cambridge [u.a.] : MIT Press, 2008
Buch
Merkliste
14
Havelund, Klaus (Herausgeber)
1st ed. 2008
Berlin, Heidelberg : Springer Berlin Heidelberg, 2008
E-Book
Merkliste
15
Kuncak, Viktor (Herausgeber)
1st ed. 2012
Berlin, Heidelberg : Springer Berlin Heidelberg, 2012
E-Book
Merkliste
16
Jhala, Ranjit (Verfasser)
Berlin, Heidelberg : Springer-Verlag, 2011
E-Book
Merkliste
17
Jhala, Ranjit (Herausgeber)
1st ed. 2011
Berlin, Heidelberg : Springer Berlin Heidelberg, 2011
E-Book
Merkliste
18
Bošnački, Dragan
Berlin : Springer, 2007
E-Book
Merkliste
19
Bosnacki, Dragan (Herausgeber)
1st ed. 2007
Berlin, Heidelberg : Springer Berlin Heidelberg, 2007
E-Book
Merkliste
Suchwerkzeuge: RSS-Feed abonnieren Diese Suche als E-Mail versenden Suche speichern

Filter