This book presents comprehensive studies on nine specification
languages and their logics of reasoning. The editors and authors
are authorities on these specification languages and their
application.
In a unique feature, the book closes with short commentaries on
the specification languages written by researchers closely
associated with their original development. The book contains
extensive references and pointers to future developments.
General
Is the information for this product incomplete, wrong or inappropriate?
Let us know about it.
Does this product have an incorrect or missing image?
Send us a new image.
Is this product missing categories?
Add more categories.
Review This Product
No reviews yet - be the first to create one!
Welcome to Loot.co.za!
Sign in / Register |Wishlists & Gift Vouchers |Help | Advanced search
