The following text field will produce suggestions that follow it as you type.

Loading Inventory...

Barnes and Noble

Automatic Methods for the Refinement of System Models: From Specification to Implementation

Current price: $54.99
Automatic Methods for the Refinement of System Models: From Specification to Implementation
Automatic Methods for the Refinement of System Models: From Specification to Implementation

Barnes and Noble

Automatic Methods for the Refinement of System Models: From Specification to Implementation

Current price: $54.99
Loading Inventory...

Size: Paperback

Visit retailer's website
*Product Information may vary - to confirm product availability, pricing, and additional information please contact Barnes and Noble
This book provides a comprehensive overview of automatic model refinement, which helps readers close the gap between initial textual specification and its desired implementation. The authors enable readers to follow two “directions” for refinement: Vertical refinement, for adding detail and precision to single description for a given model and Horizontal refinement, which considers several views on one level of abstraction, refining the system specification by dedicated descriptions for structure or behavior. The discussion includes several methods which support designers of electronic systems in this refinement process, including verification methods to check automatically whether a refinement has been conducted as intended.

More About Barnes and Noble at MarketFair Shoppes

Barnes & Noble does business -- big business -- by the book. As the #1 bookseller in the US, it operates about 720 Barnes & Noble superstores (selling books, music, movies, and gifts) throughout all 50 US states and Washington, DC. The stores are typically 10,000 to 60,000 sq. ft. and stock between 60,000 and 200,000 book titles. Many of its locations contain Starbucks cafes, as well as music departments that carry more than 30,000 titles.

Powered by Adeptmind