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

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

Price
Íkr 6,719
excl. VAT

Ordered from remote warehouse

Expected delivery Jun 9 - 17

Our customers say:

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

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  

Mere med samme udgiver

See all of Nimal Nissanke ( e.g. Paperback Book )