Formal Methods Teaching
Lieferbar in ca. 10-14 Arbeitstagen
The Object-Z Specification Language
Smith, Graeme
Integrated Formal Methods
Oxford 1937
Lieferbar in ca. 5 Arbeitstagen