Eintrag weiter verarbeiten
Buchumschlag von Computer aided verification: 5th International Conference, CAV '93, Elounda, Greece, June 28 - July 1, 1993, proceedings
Verfügbar über lokaler Bestand

Computer aided verification: 5th International Conference, CAV '93, Elounda, Greece, June 28 - July 1, 1993, proceedings

Gespeichert in:

Personen und Körperschaften: Courcoubetis, Costas (HerausgeberIn), CAV 5 1993 Elounda (Sonstige)
Titel: Computer aided verification: 5th International Conference, CAV '93, Elounda, Greece, June 28 - July 1, 1993, proceedings/ Costas Courcoubetis (Ed.)
Medientyp: Buch Konferenzbericht
Sprache: Englisch
veröffentlicht:
Berlin, Heidelberg [u.a.] Springer 1993
Gesamtaufnahme: Lecture notes in computer science ; 697
Schlagwörter:
Computer programs > Verification > Congresses
Konferenzschrift > 1993 > Elounda
Konferenzschrift
Online-Ausg.: Courcoubetis, Costas, Computer Aided Verification, Berlin, Heidelberg : Springer Berlin Heidelberg, 1993, Online-Ressource
Online-Ausg.: Computer-aided verification, Berlin [u.a.] : Springer, 1993, Online-Ressource (IX, 504 S.)
Quelle: Verbunddaten SWB

Online

Cover
Zentralblatt MATH, Inhaltstext, Verlag

Universitätsbibliothek

Verfügbar Bestellung
Barcode: F:379392
Regalstandort: SS 4800 697
Literaturabteilung: Freihand
Anmerkungen:
  • Verfügbar