*Versand Gratis
Erweiterte Suche
*Versand Gratis
Categories

Grid   List

  1. Integrated Formal Methods
    Integrated Formal Methods
    Eerke Boiten
    Springer, Springer
    Taschenbuch
    BOD - 2 Tage

    The fourth conference in the series of international meetings on Integrated F- mal Methods, IFM, ...

    53,49 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  2. Mathematics of Program Construction
    Mathematics of Program Construction
    Eerke A. Boiten
    Springer, Springer
    Taschenbuch
    BOD - 2 Tage

    Invited Talks.- Implementing Algebraic Dynamic Programming in the Functional and the Imperative P...

    53,49 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  3. Refinement in Z and Object-Z
    Refinement in Z and Object-Z
    Eerke A. Boiten
    Springer London, Springer London
    Taschenbuch
    BOD - 2 Tage

    Refinement is one of the cornerstones of the formal approach to software engineering, and its use...

    109,05 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  4. Refinement
    Refinement
    Eerke Boiten
    Springer International Publishing, Springer International Publishing
    Taschenbuch
    BOD - 2 Tage

    Refinement is one of the cornerstones of a formal approach to software engineering. Refinement is...

    53,49 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  5. Refinement in Z and Object-Z
    Refinement in Z and Object-Z
    Eerke A. Boiten
    Springer London, Springer
    Buch
    BOD - 7 Tage

    Refinement is one of the cornerstones of the formal approach to software engineering, and its use...

    109,05 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  6. Refinement
    Refinement
    Eerke Boiten
    Springer International Publishing, Springer International Publishing
    Buch
    BOD - 7 Tage

    Refinement is one of the cornerstones of a formal approach to software engineering. Refinement is...

    53,49 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  1. 1