Grid   List

  1. Formal Methods for Components and Objects

    Formal Methods for Components and Objects

    Frank S. De Boer
    Springer Berlin Heidelberg
    Ebook
    Sofort lieferbar

    This book presents 12 revised lectures given by...

    53,49 €
    Alle Preise inkl. MwSt
    Zum Merkzettel
  2. Formal Methods for Components and Objects

    Formal Methods for Components and Objects

    Frank S. De Boer
    Springer Berlin Heidelberg
    Ebook
    Sofort lieferbar

    This book presents 19 revised invited keynote l...

    53,49 €
    Alle Preise inkl. MwSt
    Zum Merkzettel
  3. Verification of Sequential and Concurrent Programs

    Verification of Sequential and Concurrent Programs

    Krzysztof R. Apt
    Springer London
    Ebook
    Sofort lieferbar

    Computer programs are an indispensable part of ...

    85,59 €
    Alle Preise inkl. MwSt
    Zum Merkzettel
  4. Formal Methods for Components and Objects

    Formal Methods for Components and Objects

    Bernhard K. Aichernig
    Springer Berlin Heidelberg
    Ebook
    Sofort lieferbar

    The focus in development methodologies of large...

    53,49 €
    Alle Preise inkl. MwSt
    Zum Merkzettel
  5. It’s All About Coordination

    It’s All About Coordination

    Frank de Boer
    Springer International Publishing
    Ebook
    Sofort lieferbar

    This Festschrift volume has been published to c...

    53,49 €
    Alle Preise inkl. MwSt
    Zum Merkzettel
  6. Formal Methods for Components and Objects

    Formal Methods for Components and Objects

    Bernhard Beckert
    Springer Berlin Heidelberg
    Ebook
    Sofort lieferbar

    Formal methods have been applied successfully t...

    53,49 €
    Alle Preise inkl. MwSt
    Zum Merkzettel
  7. Theoretical Computer Science

    Theoretical Computer Science

    Jos C. M. Baeten
    Springer Berlin Heidelberg
    Ebook
    Sofort lieferbar

    This book constitutes the refereed proceedings ...

    53,49 €
    Alle Preise inkl. MwSt
    Zum Merkzettel
  8. Formal Methods for Components and Objects

    Formal Methods for Components and Objects

    Elena Giachino
    Springer Berlin Heidelberg
    Ebook
    Sofort lieferbar

    This book constitutes revised lectures from the...

    48,14 €
    Alle Preise inkl. MwSt
    Zum Merkzettel
  9. Handbook of Dutch Church History

    Handbook of Dutch Church History

    Herman J. Selderhuis
    Vandenhoeck & Ruprecht
    Ebook
    Sofort lieferbar

    Herman Selderhuis as editor of this volume has ...

    130,00 €
    Alle Preise inkl. MwSt
    Zum Merkzettel
  10. Calvinus clarissimus theologus

    Calvinus clarissimus theologus

    Herman J. Selderhuis
    Vandenhoeck & Ruprecht
    Ebook
    Sofort lieferbar

    The Tenth International Congress on Calvin Rese...

    140,00 €
    Alle Preise inkl. MwSt
    Zum Merkzettel
  11. Formal Methods for Components and Objects

    Formal Methods for Components and Objects

    Frank S. De Boer
    Springer Berlin Heidelberg
    Ebook
    Sofort lieferbar

    All modern industries rely on large and complex...

    53,49 €
    Alle Preise inkl. MwSt
    Zum Merkzettel
  12. The Spirituality of the Heidelberg Catechism

    The Spirituality of the Heidelberg Catechism

    Arnold Huijgen
    Vandenhoeck & Ruprecht
    Ebook
    Sofort lieferbar

    At the occasion of the 450th anniversary of the...

    140,00 €
    Alle Preise inkl. MwSt
    Zum Merkzettel
  1. 1
  2. 2
  3. 3
  4. 4
Google Plus
Powered by Inooga