Semantics of Programming Languages and Model Theory 1
bokomslag Semantics of Programming Languages and Model Theory
Data & IT

Semantics of Programming Languages and Model Theory

Manfred Droste • Yuri Gurevich

Inbunden

2829:-

Funktionen begränsas av dina webbläsarinställningar (t.ex. privat läge).

Tillfälligt slut online – klicka på "Bevaka" för att få ett mejl så fort varan går att köpa igen.

  • 416 sidor
  • 1993
The articles in this book deal with both the specialized aspects of the relationship between mathematical logic and the theory of programming languages, and with pure methods in each of the fields of model theory, ordered structures and semantics.
  • Författare: Manfred Droste, Yuri Gurevich
  • Format: Inbunden
  • ISBN: 9782881249358
  • Språk: Engelska
  • Antal sidor: 416
  • Utgivningsdatum: 1993-09-01
  • Förlag: Gordon & Breach Science Publishers Ltd

Du kanske gillar

  1. bokomslag Exercises in Algebra

    Exercises in Algebra

    Alexandrai Kostrikin

    Pocket

    2079:-
  2. bokomslag Groups, Modules, and Model Theory - Surveys and Recent Developments

    Groups, Modules, and Model Theory - S...

    Manfred Droste, Lszl Fuchs, Brendan Goldsmith, Lutz Strngmann

    Inbunden

    1499:-
  3. bokomslag Computer Science Logic

    Computer Science Logic

    Egon Brger, Yuri Gurevich, Karl Meinke

    Pocket

    759:-
  4. bokomslag Tests and Proofs

    Tests and Proofs

    Yuri Gurevich Bertrand Meyer

    Pocket

    759:-
  5. bokomslag Models for Concurrency

    Models for Concurrency

    Uri Abraham

    Inbunden

    2159:-
  6. bokomslag Distributive Modules and Related Topics

    Distributive Modules and Related Topics

    Askar Tuganbaev

    Inbunden

    2529:-
  7. bokomslag Groups, Modules, and Model Theory - Surveys and Recent Developments

    Groups, Modules, and Model Theory - S...

    Manfred Droste, Lszl Fuchs, Brendan Goldsmith, Lutz Strngmann

    Pocket

    1499:-
  8. bokomslag Ordered Algebraic Structures

    Ordered Algebraic Structures

    W Charles Holland

    Inbunden

    2729:-
  9. bokomslag Handbook of Weighted Automata

    Handbook of Weighted Automata

    Manfred Droste, Werner Kuich, Heiko Vogler

    Inbunden

    3409:-
  10. bokomslag Almost Completely Decomposable Groups

    Almost Completely Decomposable Groups

    A Mader

    Inbunden

    3409:-

Andra av samma författare

  1. bokomslag Groups and Model Theory

    Groups and Model Theory

    Lutz Strungmann, Manfred Droste, Lazlo Fuchs, Katrin Tent

    Pocket

    2179:-
  2. bokomslag Algebraic Informatics

    Algebraic Informatics

    Miroslav Iri, Manfred Droste, Jean-Ric Pin

    Pocket

    759:-
  3. bokomslag Fields of Logic and Computation III

    Fields of Logic and Computation III

    Andreas Blass, Patrick Cgielski, Nachum Dershowitz, Manfred Droste, Bernd Finkbeiner

    Pocket

    759:-
  4. bokomslag Groups, Modules, and Model Theory - Surveys and Recent Developments

    Groups, Modules, and Model Theory - S...

    Manfred Droste, Lszl Fuchs, Brendan Goldsmith, Lutz Strngmann

    Inbunden

    1499:-
  5. bokomslag Groups, Modules, and Model Theory - Surveys and Recent Developments

    Groups, Modules, and Model Theory - S...

    Manfred Droste, Lszl Fuchs, Brendan Goldsmith, Lutz Strngmann

    Pocket

    1499:-
  6. bokomslag The Classical Decision Problem

    The Classical Decision Problem

    Egon Brger, Erich Grdel, Yuri Gurevich

    Pocket

    2669:-
  7. bokomslag Computer Science Logic

    Computer Science Logic

    Egon Brger, Yuri Gurevich, Karl Meinke

    Pocket

    759:-
  8. bokomslag Abstract State Machines - Theory and Applications

    Abstract State Machines - Theory and ...

    Yuri Gurevich, Philipp W Kutter, Martin Odersky, Lothar Thiele

    Pocket

    779:-
  9. bokomslag Tests and Proofs

    Tests and Proofs

    Yuri Gurevich Bertrand Meyer

    Pocket

    759:-
  10. bokomslag Handbook of Weighted Automata

    Handbook of Weighted Automata

    Manfred Droste, Werner Kuich, Heiko Vogler

    Inbunden

    3409:-