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

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
NZ$ 182
excl. VAT

Ordered from remote warehouse

Expected delivery Nov 16 - 26
Christmas presents can be returned until 31 January
Get notified about new Henri Habrias releases
Add to your iMusic wish list

Not rated yet

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

More from the same publisher