Total verrückt! Dinosaurier

Was Dinosaurier alles konnten!Willkommen in der...

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

Nagios 3 Enterprise Network Monitoring

The future for Nagios in the enterprise is cert...

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

This book constitutes the proceedings of the Th...

Formal Techniques for Networked and Distributed Systems - FORTE 2007

This book constitutes the refereed proceedings ...

Refinement

Refinement is one of the cornerstones of a form...

Integrated Formal Methods

This book constitutes the refereed proceedings ...

Refinement in Z and Object-Z

Refinement is one of the cornerstones of the fo...

First Quarter Second Down

President of the United States, Sarah Jefferson...

Remember Who You Are

Pedro Gomez of ESPN was a beloved figure in the...

Refinement in Z and Object-Z

Refinement is one of the cornerstones of the fo...

Integrated Formal Methods

The fourth conference in the series of internat...