Menü
Start
Hilfe
Blog
Weitere Dienste
Neuerwerbungslisten
Fachsystematik Bücher
Erwerbungsvorschlag
Bestellung aus dem Magazin
Fernleihe
Anmelden
Universitätsbibliothek
Katalog
Suche
im Katalog
Katalog
Central Discovery Index
Alle Felder
Autor(en) / Beteiligte
Titel
Schlagwort
Ort / Verlag
Erscheinungsjahr
Identifikatoren
Signatur
Systemstelle
ID der Überordnung
Alle Felder
Autor(en) / Beteiligte
Titel
Schlagwort
Ort / Verlag
Erscheinungsjahr
Identifikatoren
Signatur
Systemstelle
ID der Überordnung
1 – 1 von 1
Sortiert nach
Relevanz
Relevanz
Autor / Autorin
Erscheinungsjahr
Systemstelle
Titel
Bandzählung
Neuerwerbung
Beim Laden der Verfügbarkeitsinformationen ist ein Fehler aufgetreten. Bitte versuchen Sie es zu einem späteren Zeitpunkt erneut.
Decomposition for compositional verification [Elektronische Ressource]
Bitte anmelden um Merklisten zu nutzen
Datensatz exportieren als...
BibTeX
Metzler, Björn
2010
Link zum Volltext
Volltext
Suche teilen
Suche als RSS-Feed
Suchergebnisse filtern
Filter anzeigen
Art des Mediums
Online-Ressource
(1)
Mehr anzeigen...
Weniger anzeigen...
Autor / Autorin
Metzler, Björn
(1)
Mehr anzeigen...
Weniger anzeigen...
Erscheinungsform
Buch
(1)
Mehr anzeigen...
Weniger anzeigen...
Erscheinungsjahr
n.n
n.n
Ergebnisse filtern
Neu hinzugefügt
... in den letzten 12 Monaten
(0)
... in den letzten 3 Monaten
(0)
... im letzten Monat
(0)
Sprache
Englisch
(1)
Mehr anzeigen...
Weniger anzeigen...
Art des Inhalts
Hochschulschrift (Sonstige)
(1)
Mehr anzeigen...
Weniger anzeigen...
