Zum Inhalt springen

  1. Cavalcanti, Ana [HerausgeberIn]; Sampaio, Augusto [Sonstige Person, Familie und Körperschaft]; Woodcock, Jim [Sonstige Person, Familie und Körperschaft] ; Pernambuco Summer School on Software Engineering 1 2004 Recife

    Refinement techniques in software engineering : First Pernambuco Summer School on Software Engineering, PSSE 2004, Recife, Brazil, November 23 - December 5, 2004 ; revised lectures

    Bücher
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

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

    Erschienen in: Lecture notes in computer science ; 3167

  5. Morris, Joseph M. [HerausgeberIn] ; Refinement Workshop 4 1991 Cambridge, British Computer Society Specialist Group in Formal Aspects of Computing Science

    Proceedings of the 4th Refinement Workshop : 9 - 11 January 1991, Cambridge

    Bücher
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    London; Berlin; Heidelberg; New York; Paris; Tokyo; Hong Kong; Barcelona; Budapest: Springer, 1991

    Erschienen in: Workshops in computing

  10. Thomas, Stefan [VerfasserIn] ; Weberpals, Helmut [Sonstige Person, Familie und Körperschaft]; Killat, Ulrich [Sonstige Person, Familie und Körperschaft] Technische Universität Hamburg Arbeitsbereich Technische Informatik

    Parallele Simulation auf adaptiven Gitterstrukturen am Beispiel von Halbleiterbauelementen

    Bücher
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Aachen: Shaker, 2000

    Erschienen in: Technische Informatik

  11. Groves, Lindsay [HerausgeberIn] ; FMP 1997 Wellington, Australasian Refinement Workshop 6 1997 Wellington, New Zealand Formal Program Development Colloquium 3 1997 Wellington

    Formal methods Pacific '97 : proceedings of FMP '97, 9 - 11 July 1997, Wellington, New Zealand ; [combined conference incorporating the 6th Australasian Refinement Workshop and the 3rd New Zealand Formal Program Development Colloquium]

    Bücher
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Singapore; Berlin; Heidelberg [u.a.]: Springer, 1997

    Erschienen in: Springer series in discrete mathematics and theoretical computer science

  19. Qin, Shengchao [HerausgeberIn]; Qiu, Zongyan [Sonstige Person, Familie und Körperschaft] ; International Conference on Formal Engineering Methods 13 2011 Durham

    Formal methods and software engineering : 13th International Conference on Formal Engineering Methods, ICFEM 2011, Durham, UK, October 26-28, 2011 ; proceedings

    Bücher
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Berlin; Heidelberg: Springer, 2011

    Erschienen in: Lecture notes in computer science ; 6991