by Nissanke, N.

Marketplace Prices
New from $45.98

New
$45.98

List Price

~~$54.95~~

Discount

16% Off

You Save

$8.97

Item Details
Condition: New
Provider: Bookjunction Contact
Provider Rating:

74%
Ships From: STERLING HEIGHTS, MI
Shipping: Standard
Comments: New, US edition. Satisfaction guaranteed!!

ISBN-13: 9781852330026
ISBN: 1852330023
Publisher: Springer

AUTHOR

Nissanke, N.

SUMMARY

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.Nissanke, N. is the author of 'Formal Specification' with ISBN 9781852330026 and ISBN 1852330023.

[read more]