Direkt zum Inhalt

Zeitschriften Datenbank

Inhalt

Aufgrund einer technischen Störung werden die Daten im ZDB-Katalog zurzeit nicht aktualisiert.
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.: 723583976

Sacherschließung

DDC-Sachgruppen der ZDB: 230 Theologie, Christentum  ;  050 Zeitschriften, fortlaufende Sammelwerke 

Erscheinungsform

Zeitschrift

Sprache

Deutsch 

Erscheinungsland

Deutschland 

Medientyp

Druckausgabe

IDN

983601313

Letzte Änderung

01-12-17

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 SBB Haus Potsdamer Str
Link zur Standortkarte mit weiterführenden Bibliotheksinformationen[BER, DE-1a]
Bestand
Signatur
Ser. 24280
Standort
Außenmagazin
Bestand
1.1974
[weiterer Bestand s. AK der Monographien]
Fernleihe
ja, Kopie und Ausleihe
Bestand
[Bestand s. GVK (Link anklicken)]
Fernleihe
ja, Kopie und Ausleihe
URL
https://gvk.k10plus.de/CLK?IKT=1052&TRM=... 
Frankfurt/M UB/ZB
Link zur Standortkarte mit weiterführenden Bibliotheksinformationen[HES, DE-30]
Bestand
Signatur
SR 2686
Bestand
1.1974; 4.1980 - 19.1994
Fernleihe
ja, Kopie und Ausleihe
Göttingen GZG, Bibliothek
Link zur Standortkarte mit weiterführenden Bibliotheksinformationen[NIE, DE-7-016]
Bestand
Bestand
[Bestand s. GVK (Link anklicken)]
Fernleihe
nein
URL
https://gvk.k10plus.de/CLK?IKT=1052&TRM=... 
Göttingen SUB
Link zur Standortkarte mit weiterführenden Bibliotheksinformationen[NIE, DE-7]
Bestand
Signatur
Einzelsignaturen
Bestand
1.1974 - 18.1993
Fernleihe
ja, Kopie und Ausleihe
Halle/S UuLB
Link zur Standortkarte mit weiterführenden Bibliotheksinformationen[SAA, DE-3]
Bestand
Bestand
[Bestand s. GVK (Link anklicken)]
Fernleihe
ja, nur Papierkopie
URL
https://gvk.k10plus.de/CLK?IKT=1052&TRM=... 
Hamburg SUB
Link zur Standortkarte mit weiterführenden Bibliotheksinformationen[HAM, DE-18]
Bestand
Bestand
[Bestand s. GVK (Link anklicken)]
Fernleihe
ja, Kopie und Ausleihe
URL
https://gvk.k10plus.de/CLK?IKT=1052&TRM=... 
Hannover TIB
Link zur Standortkarte mit weiterführenden Bibliotheksinformationen[NIE, DE-89]
Bestand
Signatur
RA 4730
Standort
Haus2
Bestand
Einzelbandnachweis
[Bestand s. GVK (Link anklicken)]
Fernleihe
ja, Kopie und Ausleihe
URL
https://gvk.k10plus.de/CLK?IKT=1052&TRM=... 
Jena TLUG
Link zur Standortkarte mit weiterführenden Bibliotheksinformationen[THU, DE-J121]
Bestand
Fernleihe
nein
Kiel GEOMAR Bibl.
Link zur Standortkarte mit weiterführenden Bibliotheksinformationen[HAM, DE-Ki130]
Bestand
Signatur
Einzelsignaturen
Standort
Lesesaal
Bestand
1.1975; 3.1979; 8.1986 - 25.1998; 44.2012
Fernleihe
ja, Kopie und Ausleihe
Kiel UB
Link zur Standortkarte mit weiterführenden Bibliotheksinformationen[HAM, DE-8]
Bestand
Signatur
Einzelsignaturen
Standort
16
Bestand
Einzelbandnachweis
[Teilw. vorhanden unter U 2116. - Bestand s. GVK (Link anklicken)]
Fernleihe
ja, Kopie und Ausleihe
URL
https://gvk.k10plus.de/CLK?IKT=1052&TRM=... 
Mainz Ber.-Bibl. GFG, Geowiss.
Link zur Standortkarte mit weiterführenden Bibliotheksinformationen[HES, DE-77-110]
Bestand
Signatur
R 7
Standort
Geowissenschaften
Bestand
1.1974 - 24.1995
[Einzelbände s. a. Schriftenreihentitelaufnahme]
Fernleihe
nein
Potsdam UB
Link zur Standortkarte mit weiterführenden Bibliotheksinformationen[BER, DE-517]
Bestand
Fernleihe
ja, Kopie und Ausleihe
Rostock Inst.f.Ostseefor. WGL
Link zur Standortkarte mit weiterführenden Bibliotheksinformationen[HAM, DE-Wa1]
Bestand
Fernleihe
ja, Kopie und Ausleihe