Treffer 1 – 17 von 17 für Suche 'Blikle, Andrzej 1939-', Suchdauer: 0,05s 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
    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:
  2. 2
    Denotational engineering of from denotations to syntax

    Denotational engineering of from denotations to syntax von Blikle, Andrzej 1939-

    Veröffentlicht 1987
    Buch Fernleihe Bestellen


    Gespeichert in:
  3. 3
    Specified programming

    Specified programming von Blikle, Andrzej 1939-

    Veröffentlicht 1978
    Buch Fernleihe Bestellen


    Gespeichert in:
  4. 4
    An algebraic approach to mathematical theory of programs

    An algebraic approach to mathematical theory of programs von Blikle, Andrzej 1939-

    Veröffentlicht 1973
    Buch Fernleihe Bestellen


    Gespeichert in:
  5. 5
    MetaSoft primer towards a metalanguage for applied denotational semantics

    MetaSoft primer towards a metalanguage for applied denotational semantics von Blikle, Andrzej 1939-

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


    Gespeichert in:
  6. 6
    Naive denotational semantics

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

    Veröffentlicht 1983
    Buch Fernleihe Bestellen


    Gespeichert in:
  7. 7
    Equations in nets, computer oriented lattices

    Equations in nets, computer oriented lattices von Blikle, Andrzej 1939-

    Veröffentlicht 1973
    Buch Fernleihe Bestellen


    Gespeichert in:
  8. 8
    Algorithmically definable functions A contribution towards the semantics of programming languages

    Algorithmically definable functions A contribution towards the semantics of programming languages von Blikle, Andrzej 1939-

    Veröffentlicht 1971
    Buch Fernleihe Bestellen


    Gespeichert in:
  9. 9
    Algorithmically definable Functions (a contribution towards the semantics of programming languages)

    Algorithmically definable Functions (a contribution towards the semantics of programming languages) von Blikle, Andrzej 1939-

    Veröffentlicht 1971
    Buch Fernleihe Bestellen


    Gespeichert in:
  10. 10
    Why denotational? Remarks on applied denotational semantics

    Why denotational? Remarks on applied denotational semantics von Blikle, Andrzej 1939-

    Veröffentlicht 1990
    Buch Fernleihe Bestellen


    Gespeichert in:
  11. 11
    Three-valued predicates for software specification and validation

    Three-valued predicates for software specification and validation von Blikle, Andrzej 1939-

    Veröffentlicht 1988
    Buch Fernleihe Bestellen


    Gespeichert in:
  12. 12
    MetaSoft primer towards a metalanguage for applied denotational semantics

    MetaSoft primer towards a metalanguage for applied denotational semantics von Blikle, Andrzej 1939-

    Veröffentlicht 1987
    Buch Fernleihe Bestellen


    Gespeichert in:
  13. 13
    Note on the mathematical semantics of programming languages

    Note on the mathematical semantics of programming languages von Blikle, Andrzej 1939-

    Veröffentlicht 1981
    Buch Fernleihe Bestellen


    Gespeichert in:
  14. 14
    An extended approach to mathematical analysis of programs

    An extended approach to mathematical analysis of programs von Blikle, Andrzej 1939-

    Veröffentlicht 1974
    Buch Fernleihe Bestellen


    Gespeichert in:
  15. 15
    Automaty i gramatyki Wstęp do lingwistyki matematycznej

    Automaty i gramatyki Wstęp do lingwistyki matematycznej von Blikle, Andrzej 1939-

    Veröffentlicht 1971
    Buch Fernleihe Bestellen


    Gespeichert in:
  16. 16
    Mathematical foundations of computer science 3rd symposium at Jadwisin near Warsaw, June 17 - 22, 1974

    Mathematical foundations of computer science 3rd symposium at Jadwisin near Warsaw, June 17 - 22, 1974

    Veröffentlicht 1975
    Weitere Verfasser: “… Blikle, Andrzej 1939- …”
    Tagungsbericht Buch Fernleihe Bestellen


    Gespeichert in:
  17. 17
    Nauka Polska szanse, bariery i wyzwania

    Nauka Polska szanse, bariery i wyzwania

    Veröffentlicht 2023
    Weitere Verfasser:
    Inhaltsverzeichnis
    Buch Fernleihe Bestellen


    Gespeichert in:

Suchwerkzeuge: