Weiter zum Inhalt
Einstellung von swissbib: Die Daten auf swissbib sind seit dem 7. Dezember 2020 nur noch teilweise aktualisiert.
swissbib steht noch bis zum 31. März 2021 zur Verfügung, weitere
Informationen im Blog
.
My swissbib:
Abmelden
Anmelden
Sprache
Deutsch
DE
Français
FR
Italiano
IT
English
EN
VuFind
Toggle navigation
Suche nach
Erweiterte Suche
Advanced automation in formal...
Standorte & bestellen
Exportieren nach EndNote/Citavi
Exportieren nach EndNoteWeb
Exportieren nach BibTeX
Exportieren nach RefWorks
Exportieren nach MARCXML
Advanced automation in formal verification of processors
Gespeichert in:
Verfasser / Beitragende:
Ulrich Kühne
Ort, Verlag, Jahr:
Aachen :
Shaker Verlag,
2009
Beschreibung:
173 S. : Ill.
Format:
Buch (Hochschulschrift)
Online Zugang:
Titelblatt und Inhaltsverzeichnis
ID:
170889238
Standorte & bestellen
Beschreibung
Ähnliche Einträge
Felder
NEBIS
ETH Zürich - Bibliothek HDB
Loading...
Loading...
Thema
Hochschulschrift
Verfasser / Beitragende
Kühne, Ulrich
×
Wird geladen...