Researchers and practitioners concerned with the application of formal methods to the design, description, analysis, implementation and testing of open systems contributed to this book. It is the ninth in a successful series of annual volumes.
"synopsis" may belong to another edition of this title.
Seller: Zubal-Books, Since 1961, Cleveland, OH, U.S.A.
Condition: Good. *Price HAS BEEN REDUCED by 10% until Monday, June 22 (weekend SALE item)* 401 pp., hardcover, ex library, else text and binding still clean, tight and bright. - 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 # ZB392001
Seller: NEPO UG, Rüsselsheim am Main, Germany
Gebundene Ausgabe. Condition: Gut. 402 Seiten Versand am folgenden Arbeitstag Rechnung mit ausgewiesener MwSt. liegt bei daily shipping worldwide with invoice ex library aus Bibliothek Sprache: Englisch Gewicht in Gramm: 550. Seller Inventory # 181023
Quantity: 1 available