Erweiterte Suche

Grid  List

  1. Rigorous Methods for Software Construction and Analysis Rigorous Methods for Software Construction and Analysis

    Rigorous Methods for Software Construction and Analysis

    Uwe Glässer
    Springer Berlin Heidelberg
    20.01.2010

    This Festschrift volume, published in honor of Egon Börger, contains 14 papers from a Dagstuhl Se...

    Taschenbuch
    53,49 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  2. Formal Methods for Industrial Applications Formal Methods for Industrial Applications

    Formal Methods for Industrial Applications

    Jean-Raymond Abrial
    Springer Berlin Heidelberg
    30.10.1996

    This book, with the CD-ROM included, is the documentation of a unique collaborative effort in eva...

    Taschenbuch
    106,99 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  3. The B-Book The B-Book

    The B-Book

    J. R. Abrial
    Cambridge University Press
    25.08.2005

    The definitive book on the B Method; essential for all working in formal methods and safety-criti...

    Taschenbuch
    132,60 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  4. Modeling in Event-B Modeling in Event-B

    Modeling in Event-B

    Jean-Raymond Abrial
    Cambridge University Press
    13.05.2010

    A practical introduction to this model-based formal method, containing a broad range of illustrat...

    Gebunden
    144,10 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  1. 1