Inhalt

Aufgrund einer technischen Störung werden die Daten im ZDB-Katalog zurzeit nicht aktualisiert.

Suche

Neue Suche

Proceedings of VERkshop : a Formal Verification Workshop

New York, NY : Assoc. for Computing Machinery 1985 -

Diesen Titel auf die Merkliste setzen

Optionen

Exportieren MARC21xml JSON-LD Turtle RDF/XML Feedback

Bestellen

Mehr Titelinformationen

ZDB-ID

635632-1

Titel

Proceedings of VERkshop : a Formal Verification Workshop

Körperschaft

VERkshop

Erschienen

New York, NY : Assoc. for Computing Machinery

Erscheinungsverlauf

3.1985 -

Frühere/spätere Titel

Vorg.: VERkshop: Contributions from VERkshop

Weitere Titelhinweise

3=10,4 von: Software engineering notes (ISSN: 0163-5948)

Standardnummern

OCLC-Nr.: 313632903

Sacherschließung

DDC-Sachgruppen der ZDB: 004 Informatik

Erscheinungsform

Zeitschrift

Veröffentlichungsform

Kongressbericht

Erscheinungsland

Vereinigte Staaten, USA, United States

Medientyp

Druckausgabe

IDN

013694596

Letzte Änderung

03-09-22

SchließenxKostenpflichtige Dokumentlieferdienste: Lieferung von Aufsatzkopien und Druckausgaben zur Ausleihe

Bitte beachten Sie: Die ZDB bietet lediglich den Link zum Bestellsystem und übernimmt keinerlei Gewähr für eine erfolgreiche Bestellung. Richten Sie Fragen bitte ausschließlich an die Auskunft Ihrer Heimatbibliothek. Bitte beachten Sie die Bedingungen der einzelnen Anbieter.