Treffer 1 – 20 von 20 für Suche 'Tarlecki, Andrzej', Suchdauer: 0,07s Treffer filtern
Es werden neben Medien der THWS auch Medien von anderen bayerischen Bibliotheken angezeigt.
Diese sind über das Label „Fernleihe“ gekennzeichnet und können mit einem Klick darauf bestellt werden.
  1. 1
    Toward formal development of programs from algebraic specifications parameterisation revisited

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

    Veröffentlicht 1990
    Buch Fernleihe Bestellen


    Gespeichert in:
  2. 2
    Algebraic specifications of reachable higher-order algebras

    Algebraic specifications of reachable higher-order algebras von Möller, Bernhard, Tarlecki, Andrzej, Wirsing, Martin 1948-

    Veröffentlicht 1988
    Buch Fernleihe Bestellen


    Gespeichert in:
  3. 3
    Toward formal development of programs from algebraic specifications implementations revisited

    Toward formal development of programs from algebraic specifications implementations revisited von Sannella, Donald, Tarlecki, Andrzej

    Veröffentlicht 1986
    Buch Fernleihe Bestellen


    Gespeichert in:
  4. 4
    On observational equivalence and algebraic specification

    On observational equivalence and algebraic specification von Sannella, Donald, Tarlecki, Andrzej

    Veröffentlicht 1984
    Buch Fernleihe Bestellen


    Gespeichert in:
  5. 5
    Notes on the implementability of formal languages by concurrent systems

    Notes on the implementability of formal languages by concurrent systems von Tarlecki, Andrzej

    Veröffentlicht 1982
    Buch Fernleihe Bestellen


    Gespeichert in:
  6. 6
    Foundations of Algebraic Specification and Formal Software Development

    Foundations of Algebraic Specification and Formal Software Development von Sannella, Donald, Tarlecki, Andrzej

    Veröffentlicht 2012
    Volltext öffnen
    Elektronisch E-Book Fernleihe Bestellen


    Gespeichert in:
  7. 7
    Model-theoretic foundations for program development basic concepts and motivation

    Model-theoretic foundations for program development basic concepts and motivation von Sannella, Donald T., Tarlecki, Andrzej

    Veröffentlicht 1995
    Buch Fernleihe Bestellen


    Gespeichert in:
  8. 8
    The definition of Extended ML a gentle introduction

    The definition of Extended ML a gentle introduction von Kahrs, Stefan, Sannella, Donald T., Tarlecki, Andrzej

    Veröffentlicht 1995
    Buch Fernleihe Bestellen


    Gespeichert in:
  9. 9
    A three-valued logic for software specification and validation

    A three-valued logic for software specification and validation von Konikowska, Beata, Tarlecki, Andrzej, Blikle, Andrzej 1939-

    Veröffentlicht 1988
    Buch Fernleihe Bestellen


    Gespeichert in:
  10. 10
    Continuous abstract data types

    Continuous abstract data types von Tarlecki, Andrzej, Wirsing, Martin 1948-

    Veröffentlicht 1986
    Buch Fernleihe Bestellen


    Gespeichert in:
  11. 11
    Specifications in an arbitrary institution

    Specifications in an arbitrary institution von Sannella, Donald, Tarlecki, Andrzej

    Veröffentlicht 1985
    Buch Fernleihe Bestellen


    Gespeichert in:
  12. 12
    Quasi-varieties in abstract algebraic institutions

    Quasi-varieties in abstract algebraic institutions von Tarlecki, Andrzej

    Veröffentlicht 1984
    Buch Fernleihe Bestellen


    Gespeichert in:
  13. 13
    Foundations of algebraic specification and formal software development

    Foundations of algebraic specification and formal software development von Sannella, Donald 1956-, Tarlecki, Andrzej 1956-

    Veröffentlicht 2012
    Inhaltsverzeichnis
    Beschreibung
    Buch Fernleihe Bestellen


    Gespeichert in:
  14. 14
    The definition of Extended ML

    The definition of Extended ML von Kahrs, Stefan, Sannella, Donald T., Tarlecki, Andrzej

    Veröffentlicht 1994
    Buch Fernleihe Bestellen


    Gespeichert in:
  15. 15
    Toward formal development of ML programs foundations and methodology ; preliminary version

    Toward formal development of ML programs foundations and methodology ; preliminary version von Sannella, Donald, Tarlecki, Andrzej

    Veröffentlicht 1989
    Buch Fernleihe Bestellen


    Gespeichert in:
  16. 16
    Abstract algebraic institutions which strongly admit initial semantics

    Abstract algebraic institutions which strongly admit initial semantics von Tarlecki, Andrzej

    Veröffentlicht 1984
    Buch Fernleihe Bestellen


    Gespeichert in:
  17. 17
    Free constructions in algebraic institutions

    Free constructions in algebraic institutions von Tarlecki, Andrzej

    Veröffentlicht 1983
    Buch Fernleihe Bestellen


    Gespeichert in:
  18. 18
    A language of specified programs

    A language of specified programs von Tarlecki, Andrzej

    Veröffentlicht 1983
    Buch Fernleihe Bestellen


    Gespeichert in:
  19. 19
    Naive denotational semantics

    Naive denotational semantics von Blikle, Andrzej 1939-, Tarlecki, Andrzej

    Veröffentlicht 1983
    Buch Fernleihe Bestellen


    Gespeichert in:
  20. 20
    Algebras for some input output semantics

    Algebras for some input output semantics von Tarlecki, Andrzej

    Veröffentlicht 1980
    Buch Fernleihe Bestellen


    Gespeichert in:

Suchwerkzeuge: