john derrick

Total verrückt! Dinosaurier

Was Dinosaurier alles konnten!Willkommen in der verrückten Urzeit! Dieses Buch lief...

Refinement in Z and Object-Z

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

Nagios 3 Enterprise Network Monitoring

The future for Nagios in the enterprise is certainly bright! Nagios 3 Enterprise Network Monitori...

Diabolical Plots: Year Four (Diabolical Plots Anthology Series, #3)

Formal Techniques for Networked and Distributed Systems - FORTE 2007

This book constitutes the refereed proceedings of the 27th IFIP WG 6.1 International Conference o...

Refinement

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

Abstract State Machines, Alloy, B, VDM, and Z

This book constitutes the proceedings of the Third International Conference on Abstract State Mac...

Integrated Formal Methods

This book constitutes the refereed proceedings of the 9th International Conference on Integrated ...

Remember Who You Are

Pedro Gomez of ESPN was a beloved figure in the world of baseball and his death from sudden cardi...

Refinement in Z and Object-Z

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

Integrated Formal Methods

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

Formal Methods for Open Object-based Distributed Systems

This book presents the leading edge in several related fields,specifically object orientated pr...