Detailsuche

Grid  List

  1. CAFEOBJ REPORT,THE LANGUAGE,... (V6)
    0 %
    CAFEOBJ REPORT,THE LANGUAGE,... (V6)
    Razvan Diaconescu
    World Scientific Publishing Company
    Ebook
    Sofort lieferbar

    Unser bisheriger Preis:ORGPRICE: 78,27 €

    Jetzt 67,98 €Ebook
    Alle Preise inkl. MwSt
  2. Institution-independent Model Theory
    0 %
    Institution-independent Model Theory
    Razvan Diaconescu
    Springer Basel
    Ebook
    Sofort lieferbar

    A model theory that is independent of any concrete logical system allows a general handling of...

    Unser bisheriger Preis:ORGPRICE: 111,68 €

    Jetzt 96,29 €Ebook
    Alle Preise inkl. MwSt
  3. Recent Trends in Algebraic Development Techniques
    0 %
    Recent Trends in Algebraic Development Techniques
    Mihai Codescu
    Springer International Publishing
    Ebook
    Sofort lieferbar

    This book constitutes the thoroughly refereedpost-conference proceedings of the 22nd Internationa...

    Unser bisheriger Preis:ORGPRICE: 44,85 €

    Jetzt 44,84 €Ebook
    Alle Preise inkl. MwSt
  4. Cafeobj Report: The Language, Proof Techniques, And Methodologies For Object-oriented Algebraic Specification
    0 %
    Cafeobj Report: The Language, Proof Techniques, And Methodologies For Object-oriented Algebraic Specification
    Futatsugi Kokichi Futatsugi
    World Scientific Publishing Company
    Ebook
    Sofort lieferbar

    CafeOBJ is an industrial strength modern algebraic specification language, a successor of the fam...

    Unser bisheriger Preis:ORGPRICE: 19,13 €

    Jetzt 19,12 €Ebook
    Alle Preise inkl. MwSt
  5. Institution-independent Model Theory
    0 %
    Institution-independent Model Theory
    Razvan Diaconescu
    Birkhäuser Basel
    Taschenbuch
    Print on Demand

    A model theory that is independent of any concrete logical system allows a general handling of...

    Unser bisheriger Preis:ORGPRICE: 106,99 €

    Jetzt 96,29 €Taschenbuch
    Alle Preise inkl. MwSt | Versandkostenfrei
  6. Cafeobj Report: The Language, Proof Techniques, and Methodologies for Object-Oriented Algebraic Specification
    Cafeobj Report: The Language, Proof Techniques, and Methodologies for Object-Oriented Algebraic Specification
    Razvan Diaconescu
    World Scientific Publishing Company
    Buch
    Besorgungstitel - wird vorgemerkt

    CafeOBJ is an industrial strength modern algebraic specification language, a successor of the fam...

    46,50 €Buch
    Alle Preise inkl. MwSt | Versandkostenfrei
  7. Institution-independent Model Theory
    0 %
    Institution-independent Model Theory
    Razvan Diaconescu
    Springer, Berlin, Springer Nature Switzerland, Birkhäuser
    Buch
    Besorgungstitel - wird vorgemerkt

    A model theory that is independent of any concrete logical system allows a general handling of...

    Unser bisheriger Preis:ORGPRICE: 192,59 €

    Jetzt 192,57 €Buch
    Alle Preise inkl. MwSt | Versandkostenfrei
  1. 1