Normale Ansicht MARC ISBD

Abstract software specifications 1979 Copenhagen Winter School, jan. 22 - febr. 2, 1979; proceedings ed. by D. Bjørner

Mitwirkende(r):

Materialtyp: Text

TextSprache: Englisch Reihen: ; 86 | Lecture notes in computer science ; 86Verlag: Berlin Heidelberg [u.a.] Springer 1980Beschreibung: XI, 566 SInhaltstyp:

Medientyp:

Datenträgertyp:

ISBN:

Schlagwörter:

Genre/Form:

Andere physische Formen: Online-Ausg.: Abstract Software SpecificationsDDC-Klassifikation:

Andere Klassifikation:

Online-Ressourcen:

Bearbeitungsvermerk:

Exemplare
Medientyp	Aktuelle Bibliothek	Sammlung	Standort	Signatur	Status	Fälligkeitsdatum	Barcode
Buch	Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik)	Campusbibliothek für Informatik und Mathematik (E2 3)	Series (GF)	LNCS 86 (Regal durchstöbern(Öffnet sich unterhalb))	Verfügbar		2000000000398

Zurück								Weiter
Zurück	LNCS 857 Distributed algorithms proceedings	LNCS 858 Object-oriented methodologies and systems international symposium, ISOOMS '94 ; Palermo, Italy, September 21 - 22, 1994 ; proceedings	LNCS 859 Higher order logic theorem proving and its applications 7th international workshop, Valletta, Malta, September 19 - 22, 1994 ; proceedings	LNCS 86 Abstract software specifications 1979 Copenhagen Winter School, jan. 22 - febr. 2, 1979; proceedings	LNCS 860 Computers for handicapped persons 4th international conference, ICCHP '94, Vienna, Austria, September 14 - 16, 1994 ; proceedings	LNCS 863 Formal techniques in real time and fault tolerant systems Third International Symposium, organized jointly with the Working Group Provably Correct Systems - ProCoS, Lübeck, Germany, September 19 - 23, 1994, proceedings	LNCS 864 Static analysis proceedings	Weiter

Bjorner, D.: Abstract Software Specifications

Archivierung/Langzeitarchivierung gewährleistet PEBW pdager DE-31