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.
US$ 4.50 shipping within U.S.A.
Destination, rates & speedsSeller: Zubal-Books, Since 1961, Cleveland, OH, U.S.A.
Condition: Good. 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
Quantity: 1 available
Seller: Ammareal, Morangis, France
Hardcover. Condition: Bon. Ancien livre de bibliothèque. Légères traces d'usure sur la couverture. Salissures sur la tranche. Couverture différente. Edition 1989. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Good. Former library book. Slight signs of wear on the cover. Stains on the edge. Different cover. Edition 1989. Ammareal gives back up to 15% of this item's net price to charity organizations. Seller Inventory # F-136-869
Quantity: 1 available
Seller: NEPO UG, Rüsselsheim am Main, Germany
Gebundene Ausgabe. Condition: Gut. 402 Seiten Sofort verfügbar / 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