Formal Specification: Techniques and Applications - Nimal Nissanke - Books - Springer London Ltd - 9781852330026 - July 27, 1999
In case cover and title do not match, the title is correct

Formal Specification: Techniques and Applications Softcover Reprint of the Original 1st Ed. 1999 edition

Nimal Nissanke

Price
A$ 97.99

Ordered from remote warehouse

Expected delivery Nov 15 - 28
Add to your iMusic wish list

Formal Specification: Techniques and Applications Softcover Reprint of the Original 1st Ed. 1999 edition

This textbook offers a practical and versatile approach to constructing formal specifications. It covers both model-based and algebraic approaches and emphasizes the range of languages and approaches which are available. Mathematical principles are explained using examples from everyday life.


295 pages, biography

Media Books     Paperback Book   (Book with soft cover and glued back)
Released July 27, 1999
ISBN13 9781852330026
Publishers Springer London Ltd
Pages 295
Dimensions 156 × 234 × 16 mm   ·   489 g
Language English