Buchportal für Bücher die eine ISBN tragen.

Reihe Formal Approaches of Computing and Information Technology (FACIT)

Buchcover The B Language and Method

The B Language and Method

A Guide to Practical Formal Development

Springer Berlin

Buchcover Formal Object-Oriented Development

Formal Object-Oriented Development

Springer Berlin