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

Reihe Advances in Formal Methods

Buchcover Software Engineering with OBJ

Software Engineering with OBJ

Algebraic Specification in Action

Buchcover Computer-Aided Reasoning

Computer-Aided Reasoning

ACL2 Case Studies

Buchcover Computer-Aided Reasoning

Computer-Aided Reasoning

Buchcover The Object-Z Specification Language

The Object-Z Specification Language