Direkt zum Inhalt

Zeitschriften Datenbank

Inhalt

Neue Suche

Proceedings of VERkshop : a Formal Verification Workshop

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

Diesen Titel auf die Merkliste setzen
Optionen
ExportierenMARC21xmlJSON-LDTurtleRDF/XMLFeedback
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.

Bestand filtern

Bestand filtern
Bestand filtern

Erscheinungsjahr

Fernleihregion

Ort der Bibliothek

Titel exportieren
Schließen x
Sortierung
Alle Bestände anzeigen
Berlin UBHU ZwB Nawi
Link zur Standortkarte mit weiterführenden Bibliotheksinformationen[BER, DE-11-87]
Bestand
Signatur
VG 5150 C187
Standort
Freihandbestand Galerie
Bestand
6.1976/77
Fernleihe
ja, nur Papierkopie
Berlin UBTU
Link zur Standortkarte mit weiterführenden Bibliotheksinformationen[BER, DE-83]
Bestand
Signatur
4Zm107
Standort
Zeitschriften-Freihandmagazin
Bestand
1.1970/71 - 20.1988/89
Fernleihe
ja, nur Papierkopie
Dortmund BA Arbeitsschutz
Link zur Standortkarte mit weiterführenden Bibliotheksinformationen[NRW, DE-Dm19]
Bestand
Signatur
Z 724
Bestand
15.1984
Fernleihe
ja, nur Papierkopie
Freising TU München/Weihenst
Link zur Standortkarte mit weiterführenden Bibliotheksinformationen[BAY, DE-M49]
Bestand
Standort
1006 / Standortsignatur: 1006/CHE 200 22011
Bestand
6.1976/77 - 20.1988/89
Fernleihe
ja, Kopie und Ausleihe
Göttingen SUB
Link zur Standortkarte mit weiterführenden Bibliotheksinformationen[NIE, DE-7]
Bestand
Signatur
SR 000 c 70:3 = ZB 31820
Standort
MAG-CHEM
Fernleihe
ja, Kopie und Ausleihe
Signatur
ZB 31820
Standort
MAG-CHEM
Bestand
[Mit dem jeweiligen Band der Hauptzeitschrift zusammengebunden]
Fernleihe
ja, Kopie und Ausleihe
Graz TU
Link zur Standortkarte mit weiterführenden Bibliotheksinformationen[WEU, AT-UBTUG]
Bestand
Signatur
ZII 69631 (23/D/2)
Standort
Technische Universität Graz, Universitätsbibliothek, Hauptbibliothek - Belgiergasse
Bestand
1.1970/71 - 20.1988/1989
Fernleihe
ja, Kopie und Ausleihe
Hannover TIB
Link zur Standortkarte mit weiterführenden Bibliotheksinformationen[NIE, DE-89]
Bestand
Signatur
ZN 4152
Standort
Haus2
Bestand
1.1970/71 - 20.1988/89
Fernleihe
ja, nur Papierkopie
Karlsruhe KIT-Bibliothek
Link zur Standortkarte mit weiterführenden Bibliotheksinformationen[BAW, DE-90]
Bestand
Signatur
Z 431
Standort
CN AMA
Bestand
1.1970/71 - 20.1988/89
Fernleihe
ja, nur Papierkopie
Karlsruhe MRI, BID
Link zur Standortkarte mit weiterführenden Bibliotheksinformationen[BAW, DE-Ka51]
Bestand
Signatur
Z 109
Standort
Ka51
Bestand
1.1970/71 - 20.1988/89
Fernleihe
ja, nur Papierkopie
München BSB
Link zur Standortkarte mit weiterführenden Bibliotheksinformationen[BAY, DE-12]
Bestand
Signatur
4 W 77.23
Bestand
1. 1970/71 - 20.1988/89
Fernleihe
ja, Kopie und Ausleihe
Regensburg UB
Link zur Standortkarte mit weiterführenden Bibliotheksinformationen[BAY, DE-355]
Bestand
Standort
00 / Standortsignatur: 00/VG 2450
Bestand
1.1970/71 - 6.1976/77
Fernleihe
ja, Kopie und Ausleihe
Wien Medizinische Univ.
Link zur Standortkarte mit weiterführenden Bibliotheksinformationen[WEU, AT-UBMUW]
Bestand
Standort
Universitätsbibliothek, UBMed-100
Bestand
17.1986/87
Fernleihe
ja, nur Papierkopie