Formal Methods and Models for System Design: A System Level Perspective

R. Gupta

ISBN 10: 1402080514 / ISBN 13: 9781402080517

Published by Springer, 2004

About this Item

This is a Brand-new US Edition. This Item may be shipped from US or any other country as we have multiple locations worldwide. Seller Inventory # ABNR-205027

Bibliographic Details

Title: Formal Methods and Models for System Design:...

Publisher: Springer

Publication Date: 2004

Binding: Hardcover

Condition: New

About this title

Synopsis:

Unusual book

Review:

From the reviews:

"This book explores various formal methods and models that can be used to manage the complexity ... . This quite readable and self-contained monograph demonstrates some of the recent efforts made to address a very important issue, that is how to effectively and efficiently practice system design ... . This is certainly an excellent reference book for system design practitioners and a very good example for those applied mathematicians who look for ways to apply their knowledge to solve practical problems." (Zhizhang Shen, Zentralblatt MATH, Vol. 1061 (12), 2005)