Formal Methods in Software and Systems Modeling
Sold by Majestic Books, Hounslow, United Kingdom
AbeBooks Seller since January 19, 2007
New - Soft cover
Condition: New
Ships from United Kingdom to U.S.A.
Quantity: 4 available
Add to basketSold by Majestic Books, Hounslow, United Kingdom
AbeBooks Seller since January 19, 2007
Condition: New
Quantity: 4 available
Add to basketPrint on Demand pp. 448 Illus.
Seller Inventory # 7534830
By presenting state-of-the-art research results on various aspects of formal and visual modeling of software and systems, this book commemorates the 60th birthday of Hartmut Ehrig.
The 24 invited reviewed papers are written by students and collaborators of Hartmut Ehrig who are established researchers in their fields. Reflecting the scientific interest and work of Hartmut Ehrig, the papers fall into three main parts on graph transformation, algebraic specification and logic, and formal and visual modeling.
"About this title" may belong to another edition of this title.
Returns accepted if you are not satisfied with the Service or Book.
Best packaging and fast delivery
| Order quantity | 14 to 45 business days | 5 to 10 business days |
|---|---|---|
| First item | US$ 8.77 | US$ 13.29 |
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.