martin c henson

Poirot - Mord im Orient-Express

Nicht einmal zwischen zwei Fällen hat der belgische Meisterdetektiv Hercule Poirot seine Ruhe. Ge...

Pups! Wer war’s?

In dieser humorvollen Reimgeschichte gehen die Kinder auf die Suche nach dem pupsenden Übeltäter....

Pups im All! Wer war’s?

In dieser lustigen Reimgeschichte gehen die Kinder auf die Suche nach dem stinkenden Übeltäter. b...

Logics of Specification Languages

By a specification language we understand a formal system of syntax, semantics and proof rules. T...

ZB 2005: Formal Specification and Development in Z and B

ZB 2002: Formal Specification and Development in Z and B

This book constitutes the refereed proceedings of the Second International Conference of B and Z ...

Logics of Specification Languages

By a specification language we understand a formal system of syntax, semantics and proof rules...

Logics of Specification Languages

By a specification language we understand a formal system of syntax, semantics and proof rules...

ZB 2005: Formal Specification and Development in Z and B

These proceedings record the papers presented at the 4th International Conf- ence of B and Z User...

ZB 2002: Formal Specification and Development in Z and B

These proceedings record the papers presented at the second International Conference of B and Z U...