Direkt zum Inhalt

Zeitschriften Datenbank

Inhalt

Neue Suche

Abstracts / Workshop on Formal Verification

New York, NY : Assoc. for Computing Machinery 1980

Diesen Titel auf die Merkliste setzen
Optionen
ExportierenMARC21xmlJSON-LDTurtleRDF/XMLFeedback
Mehr Titelinformationen
ZDB-ID

1036665-9  

Titel

Abstracts / Workshop on Formal Verification

Körperschaft

VERkshop 

Erschienen

New York, NY : Assoc. for Computing Machinery

Erscheinungsverlauf

1.1980

Frühere/spätere Titel

Forts.:  VERkshop: Contributions from VERkshop 

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

Erscheinungsland

Vereinigte Staaten, USA, United States 

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
Vorschau
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.

Erstellt am: 22.11.2024

Zeitschriftendatenbank, 2024

CC-BY