Direkt zum Inhalt

Zeitschriften Datenbank

Inhalt

Proceedings of VERkshop : a Formal Verification Workshop

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

ZDB-ID

635632-1  

Titel

Proceedings of VERkshop : a Formal Verification Workshop

Körperschaft
Erschienen

New York, NY : Assoc. for Computing Machinery

Erscheinungsverlauf

3.1985 -

Frühere/spätere Titel
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

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.

Bestand filtern

Erscheinungsjahr

Fernleihregion

Ort der Bibliothek

Titel exportieren
Schließen x
Sortierung
Alle Bestände anzeigen
Signatur
19 4 03002
Bestand
3.1985
[Mit Bd.-Zählung von "Software engineering notes" bestellen]
Fernleihe
ja, Kopie und Ausleihe
Signatur
ZZTT/ACSI/SOFT
Standort
03
Bestand
3.1985 in
Fernleihe
ja, Kopie und Ausleihe
Signatur
INF 001:Z12538
Standort
H2
Bestand
3 = 10,4
Fernleihe
ja, Kopie und Ausleihe
Standort
0106 / Standortsignatur: 0106/Ohne Sign.
Bestand
3.1985
Fernleihe
ja, Kopie und Ausleihe
Standort
F200 / Standortsignatur: F 00/WIR 243 Z2
Bestand
3.1985
Fernleihe
ja, Kopie und Ausleihe
Signatur
2Za 8320
Bestand
3.1985
[Bestand s. "Software engineering notes": Für die Bestellung verwenden Sie bitte die oben angegebene, parallele Zählung (Zählung nach "=") von "Software engineering notes"]
Fernleihe
ja, Kopie und Ausleihe
Signatur
z10888-10
Standort
55
Bestand
3.1985
Fernleihe
ja, nur Papierkopie