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

2849:-

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

    2089:-
  2. bokomslag Computer Science Logic

    Computer Science Logic

    Egon Brger, Yuri Gurevich, Karl Meinke

    Pocket

    769:-
  3. bokomslag Tests and Proofs

    Tests and Proofs

    Yuri Gurevich Bertrand Meyer

    Pocket

    769:-
  4. bokomslag Models for Concurrency

    Models for Concurrency

    Uri Abraham

    Inbunden

    2179:-
  5. bokomslag Distributive Modules and Related Topics

    Distributive Modules and Related Topics

    Askar Tuganbaev

    Inbunden

    2529:-
  6. bokomslag Journal of Self-Assembly and Molecular Electronics (SAME) 1-2

    Journal of Self-Assembly and Molecula...

    Leonid Gurevich Peter Fojan

    Pocket

    569:-
  7. bokomslag Journal of Self-Assembly and Molecular Electronics (SAME)

    Journal of Self-Assembly and Molecula...

    Leonid Gurevich Peter Fojan

    Pocket

    639:-
  8. bokomslag Event Studies for Financial Research

    Event Studies for Financial Research

    G Gurevich D Kliger

    Inbunden

    1819:-
  9. bokomslag Ordered Algebraic Structures

    Ordered Algebraic Structures

    W Charles Holland

    Inbunden

    2749:-
  10. bokomslag Linear Algebra and Geometry

    Linear Algebra and Geometry

    P K Suetin, Alexandra I Kostrikin, Yu I Manin

    Inbunden

    2469:-

Andra av samma författare

  1. bokomslag Algebraic Informatics

    Algebraic Informatics

    Miroslav Iri, Manfred Droste, Jean-Ric Pin

    Pocket

    769:-
  2. bokomslag Fields of Logic and Computation III

    Fields of Logic and Computation III

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

    Pocket

    769:-
  3. 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

    1519:-
  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

    Pocket

    1519:-
  5. bokomslag The Classical Decision Problem

    The Classical Decision Problem

    Egon Brger, Erich Grdel, Yuri Gurevich

    Pocket

    2699:-
  6. bokomslag Computer Science Logic

    Computer Science Logic

    Egon Brger, Yuri Gurevich, Karl Meinke

    Pocket

    769:-
  7. bokomslag Abstract State Machines - Theory and Applications

    Abstract State Machines - Theory and ...

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

    Pocket

    789:-
  8. bokomslag Tests and Proofs

    Tests and Proofs

    Yuri Gurevich Bertrand Meyer

    Pocket

    769:-
  9. bokomslag Handbook of Weighted Automata

    Handbook of Weighted Automata

    Manfred Droste, Werner Kuich, Heiko Vogler

    Inbunden

    3449:-
  10. bokomslag Handbook of Weighted Automata

    Handbook of Weighted Automata

    Manfred Droste, Werner Kuich, Heiko Vogler

    Pocket

    3129:-