Predicate Transformer Semantics 1
bokomslag Predicate Transformer Semantics
Data & IT

Predicate Transformer Semantics

Ernest G Manes • Ernest G Manes • E G Manes • C J Van Rijsbergen

Pocket

959:-

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

Uppskattad leveranstid 5-10 arbetsdagar

Fri frakt för medlemmar vid köp för minst 249:-

  • 236 sidor
  • 2004
This book presents a rigorous foundation for defining Boolean categories and will appeal to graduate students and researchers in theoretical computer science.
  • Författare: Ernest G Manes, Ernest G Manes, E G Manes, C J Van Rijsbergen
  • Format: Pocket/Paperback
  • ISBN: 9780521616102
  • Språk: Engelska
  • Antal sidor: 236
  • Utgivningsdatum: 2004-12-02
  • Förlag: Cambridge University Press

Du kanske gillar

  1. bokomslag Algebraic Theories

    Algebraic Theories

    E G Manes, E G Manes, Ernest Manes

    Pocket

    719:-
  2. bokomslag Quantum Interaction

    Quantum Interaction

    Peter Bruza, Donald Sofge, William Lawless, C J Van Rijsbergen, Matthias Klusch

    Pocket

    719:-
  3. bokomslag The Uncertain Reasoner's Companion

    The Uncertain Reasoner's Companion

    J B Paris, J B Paris, C J Van Rijsbergen, C J Van Rijsbergen, Samson Abramsky

    Pocket

    829:-
  4. bokomslag Foundations of System Theory: Finitary and Infinitary Conditions

    Foundations of System Theory: Finitar...

    Brian Anderson, Michael A Arbib, E G Manes, Brian D O Anderson, Brian D O Anderson

    Pocket

    719:-
  5. bokomslag Metamathematics, Machines and Godel's Proof

    Metamathematics, Machines and Godel's...

    N Shankar, Natarajan Shankar, N Shankar, C J Van Rijsbergen

    Pocket

    789:-
  6. bokomslag Algebraic Approaches to Program Semantics

    Algebraic Approaches to Program Seman...

    Michael A Arbib Ernest G Manes

    Pocket

    1289:-
  7. bokomslag Updating Logical Databases

    Updating Logical Databases

    Marianne Winslett, Marianne Winslett, C J Van Rijsbergen, C J Van Rijsbergen, Samson Abramsky

    Pocket

    619:-
  8. bokomslag Category Theory Applied to Computation and Control

    Category Theory Applied to Computatio...

    E G Manes, E G Manes, Ernest Manes

    Pocket

    719:-
  9. bokomslag Information Retrieval: Uncertainty and Logics

    Information Retrieval: Uncertainty an...

    Cornelis Joost Van Rijsbergen, Fabio Crestani, Mounia Lalmas, C J Van Rijsbergen, Cornelis Joost Van Rijsbergen

    Inbunden

    4509:-
  10. bokomslag Logic and Computation

    Logic and Computation

    Lawrence C Paulson, Lawrence C Paulson, C J Van Rijsbergen, C J Van Rijsbergen, Samson Abramsky

    Pocket

    949:-

Andra av samma författare

  1. bokomslag Programs, Recursion and Unbounded Choice

    Programs, Recursion and Unbounded Choice

    Wim H Hesselink, Hesselink Wim H, C J Van Rijsbergen

    Pocket

    789:-
  2. bokomslag Nets, Terms and Formulas

    Nets, Terms and Formulas

    E-R Olderog, E R Olderog, C J Van Rijsbergen, C J Van Rijsbergen, Samson Abramsky

    Pocket

    789:-
  3. bokomslag Two-Level Functional Languages

    Two-Level Functional Languages

    Flemming Nielson, Hanne Riis Nielson, Flemming Nielson, Hanne Riis Nielson, C J Van Rijsbergen

    Pocket

    869:-
  4. bokomslag Extensions of First-Order Logic

    Extensions of First-Order Logic

    Maria Manzano, Maria Manzano, C J Van Rijsbergen, C J Van Rijsbergen, Samson Abramsky

    Pocket

    1219:-
  5. bokomslag Free Choice Petri Nets

    Free Choice Petri Nets

    Jorg Desel, Javier Esparza, Jorg Desel, Javier Esparza, C J Van Rijsbergen

    Pocket

    679:-
  6. bokomslag The Logic of Typed Feature Structures

    The Logic of Typed Feature Structures

    Robert L Carpenter, Bob Carpenter, C J Van Rijsbergen, C J Van Rijsbergen, Samson Abramsky

    Pocket

    789:-
  7. bokomslag Deductive and Declarative Programming

    Deductive and Declarative Programming

    Peter Padawitz, P Padawitz, C J Van Rijsbergen

    Pocket

    789:-
  8. bokomslag The Uncertain Reasoner's Companion

    The Uncertain Reasoner's Companion

    J B Paris, J B Paris, C J Van Rijsbergen, C J Van Rijsbergen, Samson Abramsky

    Pocket

    829:-
  9. bokomslag Logic and Computation

    Logic and Computation

    Lawrence C Paulson, Lawrence C Paulson, C J Van Rijsbergen, C J Van Rijsbergen, Samson Abramsky

    Pocket

    949:-
  10. bokomslag Formal Methods in Artificial Intelligence

    Formal Methods in Artificial Intellig...

    Allan M Ramsay, Allan Ramsay, C J Van Rijsbergen, C J Van Rijsbergen, Samson Abramsky

    Pocket

    699:-