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

Reihe Formal Approaches to Computing and Information Technology (FACIT)

John Derrick ×

Buchcover Refinement in Z and Object-Z

Refinement in Z and Object-Z

Foundations and Advanced Applications

Springer London