dennis dams

Grid   List

  1. Concurrency, Compositionality, and Correctness
    Concurrency, Compositionality, and Correctness
    Dennis Dams
    Springer Berlin Heidelberg
    Ebook
    Sofort lieferbar
    This Festschrift volume, published in honor of Willem-Paul de Roever, contains 19 detailed papers written by the friends and colleagues of the honoree, all eminent scientists in their own right. Th...
    53,49 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  2. FM 2009: Formal Methods
    FM 2009: Formal Methods
    Ana Cavalcanti
    Springer Berlin Heidelberg
    Ebook
    Sofort lieferbar
    This book presents the refereed proceedings of FM 2009, the 16th International Symposium on Formal Methods, held as the Second World Congress on Formal Methods in Eindhoven, The Netherlands, in Nov...
    96,29 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  3. Theoretical and Practical Aspects of SPIN Model Checking
    Theoretical and Practical Aspects of SPIN Model Checking
    Dennis Dams
    Springer Berlin Heidelberg
    Ebook
    Sofort lieferbar
    Increasing the designer's con dence that a piece of software or hardwareis c- pliant with its speci cation has become a key objective in the design process for software and hardware systems. Many a...
    53,49 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  4. Theoretical and Practical Aspects of SPIN Model Checking
    Theoretical and Practical Aspects of SPIN Model Checking
    Dennis Dams
    Springer Berlin Heidelberg, Springer Berlin Heidelberg
    Taschenbuch
    Bezug 11-15
    Increasing the designer's con dence that a piece of software or hardwareis c- pliant with its speci cation has become a key objective in the design process for software and hardware systems. Many a...
    53,49 €
    Alle Preise inkl. MwSt | Versandkostenfrei
    In den Warenkorb Zum Merkzettel
  5. FM 2009: Formal Methods
    FM 2009: Formal Methods
    Ana Cavalcanti
    Springer, Berlin
    Taschenbuch
    Bezug 11-15
    This book presents the refereed proceedings of FM 2009, the 16th International Symposium on Formal Methods, held as the Second World Congress on Formal Methods in Eindhoven, The Netherlands, in Nov...
    125,28 €
    Alle Preise inkl. MwSt | Versandkostenfrei
    In den Warenkorb Zum Merkzettel
  1. 1
<%--for search--%>