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
CIP model-checking
Standorte & bestellen
Exportieren nach EndNote/Citavi
Exportieren nach EndNoteWeb
Exportieren nach BibTeX
Exportieren nach RefWorks
Exportieren nach MARCXML
CIP model-checking
Gespeichert in:
Verfasser / Beitragende:
Andreas Moglestue
Ort, Verlag, Jahr:
Aachen :
Shaker Verlag,
2004
Beschreibung:
238 S. : Ill.
Format:
Buch (Hochschulschrift)
ID:
278591507
Standorte & bestellen
Beschreibung
Ähnliche Einträge
Felder
Nationalbibliothek
NB Bern - Schweizerische Nationalbibliothek
Loading...
NEBIS
ETH Zürich - Bibliothek HDB
Loading...
Loading...
Thema
Model Checking
Eingebettetes System
CIP-Tool
Verifikation
Hochschulschrift
Verfasser / Beitragende
Moglestue, Andreas
Bieri, Armin
Kündig, Albert
Thiele, Lothar
×
Wird geladen...