Normale Ansicht MARC ISBD

Static analysis proceedings First International Static Analysis Symposium, SAS '94, Namur, Belgium, September 28 - 30, 1994. Baudouin Le Charlier (ed.)

Mitwirkende(r):

Materialtyp: Text

TextSprache: Englisch Reihen: ; 86400 | Lecture notes in computer science ; 864Verlag: Berlin Heidelberg [u.a.] Springer 1994Beschreibung: XII, 463 S. graph. Darst. 24 cmInhaltstyp:

Text

Medientyp:

ohne Hilfsmittel zu benutzen

Datenträgertyp:

Band

ISBN:

0387584854
3540584854

Patentinformation: 272035416Weitere Titel:

SAS '94

Schlagwörter:

Genre/Form:

Andere physische Formen: Online-Ausg.: Static analysis; Erscheint auch als: Static AnalysisLOC-Klassifikation:

QA76.6

Andere Klassifikation:

SS 4800
ST 230
*00B25
68-06
54.51
54.52

Online-Ressourcen:

Bearbeitungsvermerk:

Archivierung/Langzeitarchivierung gewährleistet PEBW

Andere Ausgaben: Erscheint auch als (Online-Ausgabe): / LeCharlier, Baudouin: Static Analysis; Online-Ausg.: / Static analysis

Exemplare ( 1 )
Titelinformationen ( 4 )

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 864 (Regal durchstöbern(Öffnet sich unterhalb))	Verfügbar		2000000007670

Regale von HOMEBRANCH: Max-Planck-Institut für Informatik durchstöbern, Standort: Series (GF), Sammlung: Campusbibliothek für Informatik und Mathematik (E2 3) Regalbrowser ausblenden (Regal ausblenden)

Zurück								Weiter
Zurück	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	LNCS 865 Evolutionary computing AISB workshop, Leeds, UK, April 11 - 13, 1994 ; selected papers	LNCS 866 Parallel problem solving from nature - PPSN III International Conference on Evolutionary Computation, The Third Conference on Parallel Problem Solving from Nature, Jerusalem, Israel, October 9 - 14, 1994 ; proceedings	LNCS 868 Multimedia: Advanced teleservices and high speed communication architectures second international workshop; proceedings	Weiter

Literaturangaben

LeCharlier, Baudouin: Static Analysis

Static analysis

Archivierung/Langzeitarchivierung gewährleistet PEBW pdager DE-31