Suchergebnisse - Sokołowski, Stefan

  • Treffer 1 – 14 von 14
Treffer filtern
  1. 1
    Buchumschlag

    Point glueing in cpo-s
    von Sokołowski, Stefan

    Veröffentlicht 1998
    Buch


    Gespeichert in:
  2. 2
    Buchumschlag

    The GDM approach to specifications and their realizations
    Band 1 - Specification systems
    von Sokołowski, Stefan

    Veröffentlicht 1995
    Buch


    Gespeichert in:
  3. 3
    Buchumschlag

    Applicative high-order programming, or standard ML in the battlefield: lecture notes to a one-semester course
    von Sokołowski, Stefan

    Veröffentlicht 1989
    Buch


    Gespeichert in:
  4. 4
    Buchumschlag

    A note on tactics in LCF
    von Sokołowski, Stefan

    Veröffentlicht 1983
    Buch


    Gespeichert in:
  5. 5
    Buchumschlag

    Internal and external maps of specification systems
    von Sokołowski, Stefan

    Veröffentlicht 1995
    Buch


    Gespeichert in:
  6. 6
    Buchumschlag

    An introduction to programming with specifications: a mathematical approach
    von Kubiak, Ryszard, Rudziński, Roman, Sokołowski, Stefan

    Veröffentlicht 1991
    Buch


    Gespeichert in:
  7. 7
    Buchumschlag

    Homotopy in concurrent processes
    von Sokołowski, Stefan

    Veröffentlicht 1998
    Buch


    Gespeichert in:
  8. 8
    Buchumschlag

    Intersection of functional subset types
    von Sokołowski, Stefan

    Veröffentlicht 1996
    Buch


    Gespeichert in:
  9. 9
    Buchumschlag

    Applicative high order programming: the standard ML perspective
    von Sokołowski, Stefan

    Veröffentlicht 1991
    Buch


    Gespeichert in:
  10. 10
    Buchumschlag

    An LCF proof of soundness of Hoare's logic: a paper without a happy ending
    von Sokołowski, Stefan

    Veröffentlicht 1983
    Buch


    Gespeichert in:
  11. 11
    Buchumschlag

    Toward formal development of programs from algebraic specifications: parameterisation revisited
    von Sannella, Donald, Sokołowski, Stefan, Tarlecki, Andrzej

    Veröffentlicht 1990
    Buch


    Gespeichert in:
  12. 12
    Buchumschlag

    An introduction to programming with specifications: a mathematical approach
    von Kubiak, Ryszard, Rudziński, Roman, Sokołowski, Stefan

    Veröffentlicht 1991
    Buch


    Gespeichert in:
  13. 13
    Buchumschlag

    The GDM approach to specifications and their realizations
    von Sokołowski, Stefan

    Buch


    Gespeichert in:
  14. 14
    Buchumschlag

    Electric double layer capacitance of restricted primitive model for an ionic fluid in slit-like nanopores: a density functional approach
    von Pizio, Orest, Sokołowski, Stefan, Sokolowska, Zofia

    Veröffentlicht 2012
    Online lesen (frei zugänglich)
    Elektronisch E-Book


    Gespeichert in:

Suchwerkzeuge: