Serviceeinschränkungen vom 12.-22.02.2026 - weitere Infos auf der UB-Homepage
  • Suche: A Refinement Method for Java Programs

Treffer 21 - 40 von 138

22
Harold, Elliotte Rusty
1. ed.
Cambridge [u.a.] : O'Reilly, 1997
Buch
Zu den Favoriten
23
Felleisen, Matthias
Cambridge, Mass. [u.a.] : MIT Press, 2001
Buch
Zu den Favoriten
25
Chivers, Ian D. (Verfasser)
London : Springer, 2006
Buch
Zu den Favoriten
26
Felleisen, Matthias (Hrsg.)
7. printing
Cambridge, Mass. [u.a.]: MIT Press, 2010
Buch
Zu den Favoriten
27
Sharan, Kishori (Verfasser)
2nd edition
[Erscheinungsort nicht ermittelbar] : Apress, 2018
E-Book
Zu den Favoriten
29
Aßmann, Uwe
Berlin [u.a.] : Springer, 2003
Buch
Zu den Favoriten
30
Kozen, Dexter (Hrsg.)
Berlin [u.a.] : Springer, 1982
Buch
Zu den Favoriten
31
Oberguggenberger, Michael (Verfasser)
London : Springer, 2011
Buch
Zu den Favoriten
32
Brandt, Siegmund (Verfasser)
4th ed. 2014
Cham : Springer International Publishing, 2014
E-Book
Zu den Favoriten
33
Miesenberger, Klaus (Herausgeber)
Berlin : Springer, 2008
Buch
Zu den Favoriten
34
Deitel, Harvey M.
3. ed.
Upper Saddle River, NJ : Prentice-Hall, 2001
Buch
Zu den Favoriten
37
Looney, Stephen W. (Hrsg.)
Totowa, NJ : Humana Press, 2002
Buch
Zu den Favoriten
38
Bochev, Pavel B.
New York : Springer, 2009
Buch
Zu den Favoriten
39
Messerschmidt, Albrecht (Verfasser)
Weinheim : Wiley-VCH-Verlag, 2007
Buch
Zu den Favoriten
40
Woodcock, James C. (Herausgeber)
Berlin : Springer, 1993
Buch
Zu den Favoriten
Suchwerkzeuge: RSS-Feed abonnieren Diese Suche als E-Mail versenden Suche speichern

Filter