Wissen, was kommt.
Erweiterte Suche

Grid  List

  1. Abstract State Machines - Theory and Applications Abstract State Machines - Theory and Applications

    Abstract State Machines - Theory and Applications

    Yuri Gurevich
    Springer Berlin Heidelberg, Springer Berlin Heidelberg
    23.08.2000

    The ASM 2000 workshop was held in the conference center of the Swiss Federal Institute of Technol...

    Taschenbuch
    53,49 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  2. Tests and Proofs Tests and Proofs

    Tests and Proofs

    Yuri Gurevich
    Springer Berlin Heidelberg, Springer Berlin Heidelberg
    09.08.2007

    To prove the correctness of a program is to demonstrate, through impeccable mathematical techniqu...

    Taschenbuch
    53,49 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  3. Computer Science Logic Computer Science Logic

    Computer Science Logic

    Egon Börger
    Springer Berlin Heidelberg, Springer Berlin Heidelberg
    20.07.1994

    This volume contains the final versions of a collection of papers presented at the Annual Confere...

    Taschenbuch
    53,49 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  4. Current Trends in Theoretical Computer Science: Essays and Tutorials Current Trends in Theoretical Computer Science: Essays and Tutorials

    Current Trends in Theoretical Computer Science: Essays and Tutorials

    Grzegorz Rozenberg
    World Scientific Publishing Company
    01.06.1993

    The book is a very up-to-date collection of articles in theoretical computer science, written by ...

    Gebunden
    160,50 €
    Besorgungstitel - wird vorgemerkt
    Alle Preise inkl. MwSt | Versandkostenfrei
  5. The Classical Decision Problem The Classical Decision Problem

    The Classical Decision Problem

    Egon Börger
    Springer, Berlin, Springer Berlin Heidelberg, Springer

    This book is addressed to all those - logicians, computer scientists, mathe maticians, philosophe...

    Taschenbuch
    192,59 €
    Besorgungstitel - wird vorgemerkt
    Alle Preise inkl. MwSt | Versandkostenfrei
  1. 1