jean raymond abrial

Grid   List

  1. Modeling in Event-B
    Modeling in Event-B
    Jean-Raymond Abrial
    Cambridge University Press
    Ebook
    Sofort lieferbar
    A practical text suitable for an introductory or advanced course in formal methods, this book presents a mathematical approach to modelling and designing systems using an extension of the B formal ...
    124,99 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  2. Modeling in Event-B
    Modeling in Event-B
    Jean-Raymond Abrial
    Cambridge University Press
    Ebook
    Sofort lieferbar
    A practical text suitable for an introductory or advanced course in formal methods, this book presents a mathematical approach to modelling and designing systems using an extension of the B formal ...
    105,99 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  3. Rigorous Methods for Software Construction and Analysis
    Rigorous Methods for Software Construction and Analysis
    Jean-Raymond Abrial
    Springer Berlin Heidelberg
    Ebook
    Sofort lieferbar
    This Festschrift volume, published in honor of Egon Börger, contains 14 papers from a Dagstuhl Seminar, which was organized as a 'Festkolloquium' on the occasion of his 60th birthday in May 2006. F...
    53,49 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  4. Rigorous Methods for Software Construction and Analysis
    Rigorous Methods for Software Construction and Analysis
    Uwe Glässer
    Springer Berlin Heidelberg, Springer Berlin Heidelberg
    Taschenbuch
    Bezug 11-15
    This Festschrift volume, published in honor of Egon Börger, contains 14 papers from a Dagstuhl Seminar, which was organized as a 'Festkolloquium' on the occasion of his 60th birthday in May 2006...
    53,49 €
    Alle Preise inkl. MwSt | Versandkostenfrei
    In den Warenkorb Zum Merkzettel
  5. The B-Book
    The B-Book
    J. R. Abrial
    Cambridge University Press
    Taschenbuch
    Bezug 11-15
    The definitive book on the B Method; essential for all working in formal methods and safety-critical software.
    157,30 €
    Alle Preise inkl. MwSt | Versandkostenfrei
    In den Warenkorb Zum Merkzettel
  6. Formal Methods for Industrial Applications
    Formal Methods for Industrial Applications
    Jean-Raymond Abrial
    Springer Berlin Heidelberg, Springer Berlin Heidelberg
    Taschenbuch
    Bezug 11-15
    This book, with the CD-ROM included, is the documentation of a unique collaborative effort in evaluating formal methods for usage under industrial constraints: the major techniques for formally sup...
    106,99 €
    Alle Preise inkl. MwSt | Versandkostenfrei
    In den Warenkorb Zum Merkzettel
  7. Modeling in Event-B
    Modeling in Event-B
    Jean-Raymond Abrial
    Cambridge University Press
    Buch
    Bezug 11-15
    A practical introduction to this model-based formal method, containing a broad range of illustrative examples.
    194,37 €
    Alle Preise inkl. MwSt | Versandkostenfrei
    In den Warenkorb Zum Merkzettel
  1. 1
<%--for search--%>