Wissen, was kommt.
Erweiterte Suche

Grid  List

  1. From Object-Orientation to Formal Methods From Object-Orientation to Formal Methods

    From Object-Orientation to Formal Methods

    Olaf Owe
    Springer Berlin Heidelberg, Springer Berlin Heidelberg
    31.03.2004

    After Ole-Johan's retirement at the beginning of the new millennium, some of us had thought and t...

    Taschenbuch
    53,49 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  2. ANNA A Language for Annotating Ada Programs ANNA A Language for Annotating Ada Programs

    ANNA A Language for Annotating Ada Programs

    David C. Luckham
    Springer Berlin Heidelberg, Springer Berlin Heidelberg
    15.07.1987

    This reference manual of ANNA is another volume addressed to the ADA community. ANNA is a languag...

    Taschenbuch
    53,49 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  3. Recent Trends in Data Type Specification Recent Trends in Data Type Specification

    Recent Trends in Data Type Specification

    Magne Haveraaen
    Springer, Berlin, Springer Berlin Heidelberg, Springer

    This book contains a strictly refereed selection of revised full papers chosen from the papers ac...

    Taschenbuch

    Unser bisheriger Preis:ORGPRICE: 99,99 €

    Jetzt 53,49 €
    Besorgungstitel - wird vorgemerkt
    Alle Preise inkl. MwSt | Versandkostenfrei
  4. Fundamentals of Computation Theory Fundamentals of Computation Theory

    Fundamentals of Computation Theory

    Olaf Owe
    Springer, Berlin, Springer Berlin Heidelberg, Springer

    This book constitutes the refereed proceedings of the 18th International Symposium Fundamentals o...

    Taschenbuch

    Unser bisheriger Preis:ORGPRICE: 64,19 €

    Jetzt 53,49 €
    Besorgungstitel - wird vorgemerkt
    Alle Preise inkl. MwSt | Versandkostenfrei
  1. 1