> Detailanzeige

Schmid, Detlef [HerausgeberIn]; Kropf, Thomas [Sonstige Person, Familie und Körperschaft] ; Workshop Formale Methoden zum Entwurf Korrekter Systeme 1993 Bad Herrenalb, Fachgruppe Methoden des Entwurfs und der Verifikation Digitaler Schaltungen und Systeme

GI-ITG-Workshop Formale Methoden zum Entwurf Korrekter Systeme : 21. - 23. März 1993, Bad Herrenalb

Literatur-
verwaltung

Direktlink

Zur
Merkliste

Lösche von
Merkliste

Per Email teilen

Auf Twitter teilen

Auf Facebook teilen

Per Whatsapp teilen

Als RIS exportieren Als BibTeX exportieren Als EndNote exportieren

Schließen

Merkliste

Medientyp: Buch; Konferenzbericht
Titel: GI-ITG-Workshop Formale Methoden zum Entwurf Korrekter Systeme : 21. - 23. März 1993, Bad Herrenalb
Beteiligte: Schmid, Detlef [Hrsg.]; Kropf, Thomas [Sonstige Person, Familie und Körperschaft]
Körperschaft: Fachgruppe Methoden des Entwurfs und der Verifikation Digitaler Schaltungen und Systeme
Erschienen: Karlsruhe: Univ., Fakultät für Informatik, 1993
Erschienen in: Universität Karlsruhe (TH): Interner Bericht / Universität Karlsruhe, Fakultät für Informatik ; 93,10
Umfang: 138 S.; graph. Darst
Sprache: Deutsch; Englisch
RVK-Notation: SS 5554 : Universität Karlsruhe: Fakultät für Informatik: Interner Bericht
Schlagwörter: Konferenzschrift ; Forschungsbericht
Entstehung:
Anmerkungen: Beitr. teilw. dt., teilw. engl
Weitere Bestandsnachweise
0 : Interner Bericht / UniversitÃ¤t Karlsruhe, FakultÃ¤t fÃ¼r Informatik

Exemplare

0 Exemplar Exemplare

davon 0 sofort verfügbar

davon 0 bestellbar

davon 0 nicht verfügbar

Jetzt Ihr Exemplar finden

Verweise

Zeige weitere

weniger zeigen

Exemplare

(0)

Bereichsbibliothek DrePunct – Magazin

Signatur: 95 4 55442 001
Barcode: 30084215

Status: Ausleihbar, bitte bestellen

> Bestellen möglich - bitte anmelden