Zum Inhalt springen

  4. Goguen, Joseph A. [VerfasserIn]; Malcolm, Grant [VerfasserIn]

    Algebraic semantics of imperative programs

    Bücher
    Schließen

    Merkliste

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

    Cambridge, Mass. [u.a.]: MIT Press, 1996

    Erschienen in: Foundations of computing

  7. Reineke, Jan [VerfasserIn] ; Jan Reineke [MitwirkendeR]

    Shape Analysis of Sets

    Aufsätze
    Online ansehen
    Schließen

    Zugang

    Schließen

    Merkliste

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

    Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2006

  8. Pfeifer, Holger [Sonstige Person, Familie und Körperschaft]; Dold, Axel [Sonstige Person, Familie und Körperschaft]; Henke, Friedrich Wilhelm von [Sonstige Person, Familie und Körperschaft]; Rueß, Harald [Sonstige Person, Familie und Körperschaft]

    Mechanized semantics of simple imperative programming constructs

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

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

    Ulm: Universität Ulm, Fakultät für Ingenieurwissenschaften und Informatik, 2009

    Erschienen in: Ulmer Informatik-Berichte ; 96,11

  9. Genestier, Richard [VerfasserIn] ; Besançon [MitwirkendeR]; Kouchnarenko, Olga [MitwirkendeR]; Giorgetti, Alain [MitwirkendeR]

    Vérification formelle de programmes de génération de données structurées ; Formal verification of structured data generation programs

    Hochschulschriften
    Online ansehen
    Schließen
    Schließen

    Merkliste

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

    theses.fr, 2016-12-01

  12. Zannier, Carmen [VerfasserIn] ; Erdogmus, Hakan [Sonstige Person, Familie und Körperschaft]; Lindstrom, Lowell [Sonstige Person, Familie und Körperschaft]

    Extreme Programming and Agile Methods - XP/Agile Universe 2004 : 4th Conference on Extreme Programming and Agile Methods, Calgary, Canada, August 15-18, 2004. Proceedings

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

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

    Berlin; Heidelberg: Springer, 2004

    Erschienen in: Lecture notes in computer science ; 313400

  14. Bojanczyk, Mikolaj [VerfasserIn]; Torunczyk, Szymon [VerfasserIn] ; Mikolaj Bojanczyk and Szymon Torunczyk [MitwirkendeR]

    Imperative Programming in Sets with Atoms

    Aufsätze
    Online ansehen
    Schließen

    Zugang

    Schließen

    Merkliste

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

    Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2012

  16. Mihyo, Paschal B. [HerausgeberIn]; Msami, Jamal B. [HerausgeberIn]; Mmari, Donald Eliapenda [HerausgeberIn] ; Organization for Social Science Research in Eastern and Southern Africa, REPOA

    Empowering women in Tanzania in the context of contemporary social policy reforms

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

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

    Addis Ababa, Ethiopia: Organisation for Social Science Research in Eastern and Southern Africa, 2020

  17. Pfeifer, Holger [VerfasserIn]; Dold, Axel [VerfasserIn]; Henke, Friedrich Wilhelm von [VerfasserIn]; Rueß, Harald [VerfasserIn]

    Mechanized semantics of simple imperative programming constructs

    Elektronische Ressourcen
    Online ansehen
    Schließen
    Schließen

    Merkliste

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

    Universität Ulm, 2016-03-15T06:22:50Z

  18. Dageförde, J.C. (Jan) [VerfasserIn] ; Kuchen, H. (Herbert) [MitwirkendeR]; Universitäts- und Landesbibliothek Münster [MitwirkendeR]

    An Integrated Constraint-Logic and Object-Oriented Programming Language:The Münster Logic-Imperative Language

    Hochschulschriften
    Online ansehen
    Schließen
    Schließen

    Merkliste

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

    Münster University (WWU): miami, 2020-10-06