• Suche: Verification of Sequential and Concurrent Programs

Treffer 1 - 4 von 4

1
Apt, Krzysztof R.
New York [u.a.] : Springer, 1991
Buch
Merkliste
2
Apt, Krzysztof R.
2. ed.
New York, NY [u.a.] : Springer, 1997
Buch
Merkliste
3
Apt, Krzysztof R.
3., extend. ed.
New York, NY [u.a.] : Springer, 2009
Buch
Merkliste
4
Apt, Krzysztof R (Verfasser)
3rd ed. 2009
London : Springer London, 2009
E-Book
Merkliste
Suchwerkzeuge: RSS-Feed abonnieren Diese Suche als E-Mail versenden Suche speichern

Filter