eerke a boiten

Grid   List

  1. Refinement in Z and Object-Z
    Refinement in Z and Object-Z
    John Derrick
    Springer London
    Ebook
    Sofort lieferbar
    Refinement is one of the cornerstones of the formal approach to software engineering, and its use in various domains has led to research on new applications and generalisation. This book brings tog...
    96,29 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  2. Refinement
    Refinement
    John Derrick
    Springer International Publishing
    Ebook
    Sofort lieferbar
    Refinement is one of the cornerstones of a formal approach to software engineering. Refinement is all about turning an abstract description (of a soft or hardware system) into something closer to i...
    53,49 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  3. Refinement in Z and Object-Z
    Refinement in Z and Object-Z
    John Derrick
    Springer London
    Ebook
    Sofort lieferbar
    Refinement is one of the cornerstones of the formal approach to software engineering, and its use in various domains has led to research on new applications and generalisation. This book brings tog...
    139,09 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  4. Mathematics of Program Construction
    Mathematics of Program Construction
    Eerke A. Boiten
    Springer Berlin Heidelberg
    Ebook
    Sofort lieferbar
    This book constitutes the refereed proceedings of the 6th International Conference on Mathematics of Program Construction, MPC 2002, held in Dagstuhl Castle, Germany, in July 2002.The 11 revised fu...
    53,49 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  5. Integrated Formal Methods
    Integrated Formal Methods
    Eerke Boiten
    Springer Berlin Heidelberg
    Ebook
    Sofort lieferbar
    The fourth conference in the series of international meetings on Integrated F- mal Methods, IFM, was held in Canterbury, UK, 4-7 April 2004. The conference was organized by the Computing Laboratory...
    53,49 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  6. Refinement in Z and Object-Z
    Refinement in Z and Object-Z
    Eerke A. Boiten
    Springer London, Springer London
    Buch
    Bezug 11-15
    Refinement is one of the cornerstones of the formal approach to software engineering, and its use in various domains has led to research on new applications and generalisation. This book brings ...
    125,28 €
    Alle Preise inkl. MwSt | Versandkostenfrei
    In den Warenkorb Zum Merkzettel
  7. Mathematics of Program Construction
    Mathematics of Program Construction
    Bernhard Möller
    Springer Berlin Heidelberg, Springer Berlin Heidelberg
    Taschenbuch
    Bezug 11-15
    ThisvolumecontainstheproceedingsofMPC2002,thesixthinternationalc- ferenceontheMathematicsofProgramConstruction.Thisseriesofconferences aims to promote the development of mathematical principles and...
    53,49 €
    Alle Preise inkl. MwSt | Versandkostenfrei
    In den Warenkorb Zum Merkzettel
  8. Integrated Formal Methods
    Integrated Formal Methods
    Eerke Boiten
    Springer Berlin Heidelberg, Springer Berlin Heidelberg
    Taschenbuch
    Bezug 11-15
    The fourth conference in the series of international meetings on Integrated F- mal Methods, IFM, was held in Canterbury, UK, 4-7 April 2004. The conference was organized by the Computing Laboratory...
    53,49 €
    Alle Preise inkl. MwSt | Versandkostenfrei
    In den Warenkorb Zum Merkzettel
  9. Refinement in Z and Object-Z
    Refinement in Z and Object-Z
    Eerke A. Boiten
    Springer London, Springer London
    Taschenbuch
    Bezug 11-15
    Refinement is one of the cornerstones of the formal approach to software engineering, and its use in various domains has led to research on new applications and generalisation. This book brings ...
    125,28 €
    Alle Preise inkl. MwSt | Versandkostenfrei
    In den Warenkorb Zum Merkzettel
  10. Refinement
    Refinement
    Eerke Boiten
    Springer International Publishing, Springer International Publishing
    Buch
    Bezug 11-15
    Refinement is one of the cornerstones of a formal approach to software engineering. Refinement is all about turning an abstract description (of a soft or hardware system) into something closer t...
    53,49 €
    Alle Preise inkl. MwSt | Versandkostenfrei
    In den Warenkorb Zum Merkzettel
  11. Refinement
    Refinement
    Eerke Boiten
    Springer International Publishing, Springer International Publishing
    Taschenbuch
    Bezug 11-15
    Refinement is one of the cornerstones of a formal approach to software engineering. Refinement is all about turning an abstract description (of a soft or hardware system) into something closer t...
    53,49 €
    Alle Preise inkl. MwSt | Versandkostenfrei
    In den Warenkorb Zum Merkzettel
  1. 1
<%--for search--%>