Formal Methods in Software and Systems Modeling
Sold by Basi6 International, Irving, TX, U.S.A.
AbeBooks Seller since June 24, 2016
New - Soft cover
Condition: New
Ships within U.S.A.
Quantity: 10 available
Add to basketSold by Basi6 International, Irving, TX, U.S.A.
AbeBooks Seller since June 24, 2016
Condition: New
Quantity: 10 available
Add to basketNew. Delivery takes 25-30 days. Excellent Customer Service.
Seller Inventory # POD-41001
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.
Professional Book Seller shipping from Multiple Locations Worldwide for fastest delivery possible!
All orders shipped via FedEx or DHL and delivered to your doorstep within 3-5 days. We do not ship to P.O.Boxes and a proper street address must be provided to avoid any delays.
| Order quantity | 5 to 14 business days | 3 to 6 business days |
|---|---|---|
| First item | US$ 0.00 | US$ 0.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.