zum Haupt-Inhalt
zur Seitenleiste (falls vorhanden)
zum Footer mit externen Links
KATALOGPORTAL
KARLA
Toggle navigation
Aktuelles aus der UB
Bestellen von Medien
Ihr Konto
Abmelden
Anmelden
DE/EN
English
Deutsch
Achtung! JavaScript ist in Ihrem Browser deaktiviert. Deshalb ist die Seite ist nur Eingeschränkt nutzbar.
/Search/Results?lookfor=Deductive+verification+of+object-oriented+software&type=AllFields
Bücher & mehr
(2)
/EDS/Search?lookfor=Deductive+verification+of+object-oriented+software&type=AllFields&view=
Artikel & mehr
/Combined/Results?lookfor=Deductive+verification+of+object-oriented+software
Alles
(2)
alle Felder
alle Felder
Titel
Verfasser
Schlagwort
Suchen
Erweitert
Suchhistorie
KATALOGPORTAL
KARLA
Suche: Deductive verification of object-oriented software
Bücher, Zeitschriften, Online-Medien und mehr aus Ihrer Bibliothek
Das Gesuchte nicht gefunden? Schauen Sie in der
Onleihe
oder machen Sie einen
Kaufvorschlag
Treffer
1
-
2
von
2
Sortieren
Relevanz
Nach Datum, absteigend
Nach Datum, aufsteigend
Verfasser
Titel
1
Deductive verification of object-oriented software : dynamic frames, dynamic logic and predicate abstraction
Weiß, Benjamin (Verfasser)
[Erscheinungsort nicht ermittelbar] : KIT Scientific Publishing, 2011
E-Book
Zur Merkliste hinzufügen
Gespeichert in:
2
Deductive verification of object-oriented software : dynamic frames, dynamic logic and predicate abstraction
Weiß, Benjamin (Verfasser)
Print on demand
Karlsruhe : KIT Scientific Publishing, 2011
E-Book
Zur Merkliste hinzufügen
Gespeichert in:
Suchwerkzeuge:
RSS-Feed abonnieren
Diese Suche als E-Mail versenden
Suche speichern
Das Gesuchte nicht gefunden?
Kaufvorschlag
/
Onleihe
/
Fernleihe
Suche einschränken
Zugriffsart
online
2
Standorte
Elektronische Ressourcen
2
Material
Abschlussarbeit
2
Buch, E-Book
2
Fachgebiet
Informatik
2
Verfasser
Weiß, Benjamin
2
Sprache
Englisch
2
Erscheinungsjahr
Von:
Bis:
Filter
×
Wird geladen...