Skip to contents

  6. Bibel, Wolfgang [Editor]; Jantke, Klaus P. [Editor] ; Workshop on Mathematical Methods of Specification and Synthesis of Software Systems 1985 Wendisch Rietz

    Mathematical methods of specification and synthesis of software systems '85 : proceedings of the International Spring School, held in Wendisch-Rietz (GDR), April 22 - 26, 1985

    Books
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    Berlin: Akademie-Verlag, c 1986

    Published in: Mathematical research ; 31

  8. Halbwachs, Nicolas [Editor]; Zuck, Lenore D. [Editor] ; TACAS 11 2005 Edinburgh, ETAPS 8 2005 Edinburgh

    Tools and algorithms for the construction and analysis of systems : 11th International Conference, TACAS 2005, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4 - 8, 2005 ; proceedings

    Books
    View online
    Schließen
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    Berlin; Heidelberg [u.a.]: Springer, 2005

    Published in: Lecture notes in computer science ; 3440

  9. Jensen, Kurt [Editor]; Podelski, Andreas [Other] ; TACAS 10 2004 Barcelona, ETAPS 7 2004 Barcelona

    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, Barcelona, Spain, March 29 - April 2, 2004 ; proceedings

    Books
    View online
    Schließen
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    Berlin; Heidelberg [u.a.]: Springer, 2004

    Published in: Lecture notes in computer science ; 2988

  14. Hermanns, Holger [Editor]; Palsberg, Jens [Other] ; TACAS 12 2006 Wien, ETAPS 9 2006 Wien

    Tools and algorithms for the construction and analysis of systems : 12th international conference, TACAS 2006, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 25 - April 2, 2006 ; proceedings

    Books
    View online
    Schließen
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    Berlin; Heidelberg; New York: Springer, 2006

    Published in: Lecture notes in computer science ; 3920

  16. Broy, Manfred [Editor] ; Advanced Study Institute on Logic of Programming and Calculi of Discrete Design 1986 Marktoberdorf

    Logic of programming and calculi of discrete design : International summer school; [proceedings of the NATO Advanced Study Institute on Logic of Programming and Calculi of Discrete Design, held in Marktoberdorf, Fed. Rep. of Germany, July 29 - Aug. 10, 1986]

    Books
    View online
    Schließen
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    Berlin; Heidelberg [u.a.]: Springer, 1987

    Published in: NATO: NATO ASI series / F ; 36

  18. Brim, Luboš [Editor]; Haverkort, Boudewijn [Other]; Leucker, Martin [Other]; Pol, Jaco van de [Other] ; International Workshop on Formal Methods for Industrial Critical Systems 11 2006 Bonn, PDMC 5 2006 Bonn

    Formal methods: applications and technology ; 11th international workshop, FMICS 2006, and 5th international workshop, PDMC 2006, Bonn, Germany, August 26-27, and August 31, 2006 ; revised selected papers

    Books
    View online
    Schließen
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    Berlin; Heidelberg [u.a.]: Springer, 2007

    Published in: Lecture notes in computer science ; 4346