Software Specification Methods: An Overview Using a Case Study - Formal Approaches to Computing and Information Technology (FACIT) - Henri Habrias - Books - Springer London Ltd - 9781852333539 - October 16, 2000
In case cover and title do not match, the title is correct

Henri Habrias
Software Specification Methods: An Overview Using a Case Study - Formal Approaches to Computing and Information Technology (FACIT) Softcover reprint of the original 1st ed. 2001 edition

Price
A$ 151.49
excl. VAT

Ordered from remote warehouse

Expected delivery May 13 - 25

Our customers say:

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

Software Specification Methods provides the formal methods practitioner with a survey of the key software specification methods. This book is intended for industrial and commercial practitioners who need to expand their knowledge of software specification methods.

282 pages, 7 black & white illustrations, biography

Media Books     Paperback Book   (Book with soft cover and glued back)
Released October 16, 2000
ISBN13 9781852333539
Publishers Springer London Ltd
Pages 282
Dimensions 155 × 235 × 16 mm   ·   489 g
Language English  
Editor Frappier, Marc
Editor Habrias, Henri

See all of Henri Habrias ( e.g. Paperback Book )