The Object-z Specification Language - Advances in Formal Methods - Graeme Smith - Books - Kluwer Academic Publishers - 9780792386841 - December 31, 1999
In case cover and title do not match, the title is correct

Graeme Smith
The Object-z Specification Language - Advances in Formal Methods 1999 edition

Price
$ 210.99
excl. VAT

Ordered from remote warehouse

Expected to be ready for shipping Jun 2 - 8

Our customers say:

14-day return policy in accordance with European consumer protection law
Top ranking on Trustpilot
Add to your iMusic wish list

Also available as:

Offers a description of Object-Z including discussions of semantic issues, definitions of various language constructs, type rules and other rules of usage, and specification guidelines. This book enables you to construct Object-Z specifications. It is intended as a reference manual, and for researchers and practitioners in industry.

146 pages, biography

Media Books     Hardcover Book   (Book with hard spine and cover)
Released December 31, 1999
ISBN13 9780792386841
Publishers Kluwer Academic Publishers
Pages 146
Dimensions 155 × 235 × 11 mm   ·   435 g
Language English  

See all of Graeme Smith ( e.g. Paperback Book , Book and Hardcover Book )