Direkt zum Inhalt

Zeitschriften Datenbank

Inhalt

ZDB-ID

1036665-9  

Titel

Abstracts / Workshop on Formal Verification

Körperschaft
Erschienen

New York, NY : Assoc. for Computing Machinery

Erscheinungsverlauf

1.1980

Frühere/spätere Titel
Weitere Titelhinweise

Einzelne Bd. zugl. Bd. von 1=5,3 von "Software engineering notes"

Standardnummern

OCLC-Nr.: 1071563804

Sacherschließung

DDC-Sachgruppen der ZDB: 004 Informatik 

Erscheinungsform

Zeitschrift

Veröffentlichungsform

Kongressbericht

Medientyp

Druckausgabe

IDN

015689131

Letzte Änderung

13-04-23

Schließenx Zu diesem Titel werden keine Lieferdienste angeboten

Bestand filtern

Titel exportieren
Schließen x
Leider sind zu diesem Titel keine Besitznachweise verfügbar.
Das System ist zurzeit überlastet. Bitte stellen Sie Ihre Anfrage später erneut.
Abstracts / Workshop on Formal Verification
(Druckausgabe, 1980)
Titelrelationen zeigen an:
Vorgänger und Nachfolger, Beilagen und Parallelausgaben.
Titelhistorie zeigt an:
Vorgänger, Nachfolger und Beilagen (ist zeitl. einschränkbar).
Zur Titelhistorie wechseln
Titelrelationen
Titelrelationen:
Vorgänger und Nachfolger, Beilagen und Parallelausgaben.