john derrick

Grid   List

  1. Total verrückt! Dinosaurier
    Total verrückt! Dinosaurier
    Dean Lomax
    Dorling Kindersley Verlag
    Buch
    Sofort lieferbar
    Was Dinosaurier alles konnten!Willkommen in der verrückten Urzeit! Dieses Buch liefert die volle Ladung skurriler und spannender Fragen: Welcher Dinosaurier hatte die meisten Zähne? W...
    16,95 €
    Alle Preise inkl. MwSt |ggf. zzgl. Versand
    In den Warenkorb Zum Merkzettel
  2. 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
  3. Nagios 3 Enterprise Network Monitoring
    Nagios 3 Enterprise Network Monitoring
    Andrew Hay
    Elsevier Science & Techn.
    Ebook
    Sofort lieferbar
    The future for Nagios in the enterprise is certainly bright! Nagios 3 Enterprise Network Monitoring can help you harness the full power of Nagios in your organization. Nagios 3 contains many signif...
    39,95 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  4. Diabolical Plots: Year Four (Diabolical Plots Anthology Series, #3)
    Diabolical Plots: Year Four (Diabolical Plots Anthology Series, #3)
    Ryan Dull
    Diabolical Plots, LLC
    Ebook
    Sofort lieferbar
    Diabolical Plots: Year Four (Diabolical Plots Anthology Series, #3)
    0,99 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  5. Formal Techniques for Networked and Distributed Systems - FORTE 2007
    Formal Techniques for Networked and Distributed Systems - FORTE 2007
    John Derrick
    Springer Berlin Heidelberg
    Ebook
    Sofort lieferbar
    This book constitutes the refereed proceedings of the 27th IFIP WG 6.1 International Conference on Formal Techniques for Networked and Distributed Systems, FORTE 2007, held in Tallinn, Estonia, in ...
    53,49 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  6. 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
  7. Abstract State Machines, Alloy, B, VDM, and Z
    Abstract State Machines, Alloy, B, VDM, and Z
    John Derrick
    Springer Berlin Heidelberg
    Ebook
    Sofort lieferbar
    This book constitutes the proceedings of the Third International Conference on Abstract State Machines, B, VDM, and Z, which took place in Pisa, Italy, in June 2012. The 20 full papers presented to...
    53,49 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  8. Integrated Formal Methods
    Integrated Formal Methods
    John Derrick
    Springer Berlin Heidelberg
    Ebook
    Sofort lieferbar
    This book constitutes the refereed proceedings of the 9th International Conference on Integrated Formal Methods, IFM 2012, held Pisa, Italy, in June 2012. The 20 revised full papers presented toget...
    53,49 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  9. Remember Who You Are
    Remember Who You Are
    Pedro Gomez
    Wellstone Books
    Ebook
    Sofort lieferbar
    Pedro Gomez of ESPN was a beloved figure in the world of baseball and his death from sudden cardiac arrest on Feb. 7, 2021-Super Bowl Sunday-unleashed an outpouring of heartfelt tributes. He was 58...
    12,99 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  10. 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
  11. 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
  12. Formal Methods for Open Object-based Distributed Systems
    Formal Methods for Open Object-based Distributed Systems
    Howard Bowman
    Springer New York
    Ebook
    Sofort lieferbar
    This book presents the leading edge in several related fields,specifically object orientated programming, open distributed systemsand formal methods for object oriented systems. With increased ...
    213,99 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  1. 1
  2. 2
  3. 3
  4. 4
<%--for search--%>