Total de visitas: 18822

Download PDF, EPUB, Kindle Formal Specification : Techniques and Applications

Download PDF, EPUB, Kindle Formal Specification : Techniques and Applications

Formal Specification : Techniques and Applications.cNimal Nissanke
Formal Specification : Techniques and Applications
---------------------------------------------------------------
Author: Nimal Nissanke
Page Count: 295 pages
Published Date: 01 Aug 1999
Publisher: Springer London Ltd
Publication Country: England, United Kingdom
Language: English
ISBN: 9781852330026
File Name: Formal.Specification.Techniques.and.Applications.pdf
Download Link: Formal Specification Techniques and Applications
---------------------------------------------------------------


Formal Specification provides the reader with a practical and versatile approach to constructing program specifications. It includes both model-based (Z/VDM) and algebraic (CLEAR) paradigms of specification and emphasizes the range of languages and approaches available. Its main advantage over other specification books is that is offers an unrivaled breadth of coverage of the area, encompassing all the recent important advances.

Read online Formal Specification : Techniques and Applications Buy Formal Specification : Techniques and Applications Download and read Formal Specification : Techniques and Applications ebook, pdf, djvu, epub, mobi, fb2, zip, rar, torrent Download to iPad/iPhone/iOS, B&N nook Formal Specification : Techniques and Applications