Datensatz

DATENSATZ AKTIONENEXPORT

Zur Ablage hinzufügen

Lokale TagsFreigabegeschichteDetailsÜbersicht

Tools and algorithms for the construction and analysis of systems : 10th International Conference, TACAS 2004 ; held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004

Jensen, K., & Podelski, A. (Eds.). (2004). Tools and algorithms for the construction and analysis of systems: 10th International Conference, TACAS 2004; held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004. Berlin: Springer.

Item is Freigegeben

einblenden: alle ausblenden: alle

Basisdaten

einblenden: ausblenden:

Datensatz-Permalink: https://hdl.handle.net/11858/00-001M-0000-000F-2B59-0 Versions-Permalink: https://hdl.handle.net/11858/00-001M-0000-000F-2B5B-C

Genre: Konferenzband

Dateien

einblenden: Dateien

Externe Referenzen

Urheber

ausblenden:

Urheber:
Jensen, Kurt, Herausgeber
Podelski, Andreas¹, Herausgeber

Affiliations:
1Programming Logics, MPI for Informatics, Max Planck Society, ou_40045

Inhalt

Details

ausblenden:

Sprache(n): eng - English

Datum: Geändert: 2005-02-02Erschienen: 2004

Publikationsstatus: Erschienen

Seiten: XIV, 608

Ort, Verlag, Ausgabe: Berlin : Springer

Inhaltsverzeichnis: -

Art der Begutachtung: -

Identifikatoren: eDoc: 232005
ISBN: 3-540-21299
Anderer: Local-ID: C1256104005ECAFC-DE7F63676755F9DCC1256F8700450175-JensenPodelski2004

Art des Abschluß: -

Veranstaltung

ausblenden:

Titel: Untitled Event

Veranstaltungsort: Barcelona, Spain

Start-/Enddatum: 2004-03-29

Entscheidung

Projektinformation

Quelle 1

ausblenden:

Titel: Lecture Notes in Computer Science

Genre der Quelle: Reihe

Urheber:

Affiliations:

Ort, Verlag, Ausgabe: -

Seiten: - Band / Heft: 2988 Artikelnummer: - Start- / Endseite: - Identifikator: -