162 pp., Hardcover, ex library, else text clean and binding tight. - If you are reading this, this item is actually (physically) in our stock and ready for shipment once ordered. We are not bookjackers. Buyer is responsible for any additional duties, taxes, or fees required by recipient's country.

Seller Inventory # ZB1125385

Contact seller

Report this item

Bibliographic Details

Title: High-Level System Modeling: Specification Languages (Current Issues in Electronic Modeling)
Publisher: Kluwer
Publication Date: 1995
Language: English
ISBN 10: 0792396324
ISBN 13: 9780792396321
Binding: Hardcover
Condition: Good

About this title

Synopsis

A reactive system is one that is in continual interaction with its environment and executes at a pace determined by that environment. Examples of reactive systems are network protocols, air-traffic control systems, industrial-process control systems etc. Reactive systems are ubiquitous and represent an important class of systems. Due to their complex nature, such systems are extremely difficult to specify and implement. Many reactive systems are employed in highly-critical applications, making it crucial that one considers issues such as reliability and safety while designing such systems. The design of reactive systems is considered to be problematic, and p.oses one of the greatest challenges in the field of system design and development. In this paper, we discuss specification-modeling methodologies for reactive systems. Specification modeling is an important stage in reactive system design where the designer specifies the desired properties of the reactive system in the form of a specification model. This specification model acts as the guidance and source for the implementation. To develop the specification model of complex systems in an organized manner, designers resort to specification modeling methodologies. In the context of reactive systems, we can call such methodologies reactive-system specification modeling methodologies.

"About this title" may belong to another edition of this title.

Store Description

Zubal Books is the #1 buyer and seller of scholarly and rare books in America. Since 1961 we've handled thousands of private and technical libraries. Our family business knows books and we treat our clients with top-notch customer service. If you have any questions about our listings, please don't hesitate to contact us. Buyer is responsible for any additional duties, taxes, or fees required by recipient's country

Visit Seller's Storefront

Seller's business information

Zubal Books
2969 West 25th Street, Cleveland, OH, 44113, U.S.A.

Sale & Shipping Terms

Terms of Sale

Buyer is responsible for any additional duties, taxes, or fees required by recipient's country

We do accept checks, however
WE DO NOT HOLD OR RESERVE ANY ITEMS

All international postal rates are subject to change depending on weight
and size.'

Paypal address is trace@zubal.com

Shipping Terms

Orders usually ship within 2 business days. Shipping costs are based on books
weighing 2.2 LB, or 1 KG. If your book order is heavy or oversized, we may
contact
you to let you know extra shipping is required.

Buyer is responsible for any additional duties, taxes, or fees required by recipient's country

Shipping rates within U.S.A.

Shipping rates within U.S.A.
Order quantity	4 to 14 business days	3 to 5 business days
First item	US$ 4.50	US$ 14.00

Delivery times are set by sellers and vary by carrier and location. Orders passing through Customs may face delays and buyers are responsible for any associated duties or fees. Sellers may contact you regarding additional charges to cover any increased costs to ship your items.