Based on the U. of Texas Year of Programming institutes in 1987, this book focuses on the specification, design, and implementation of concurrent computer systems, including both software and hardware. Contributed chapters present a unified theory for program development, as well as applications of formal methods to the design of integrated circuit
"synopsis" may belong to another edition of this title.
£ 6.07 shipping from Germany to United Kingdom
Destination, rates & speedsSeller: Antiquariat Bookfarm, Löbnitz, Germany
291 pages Ex-Library book in good condition. 9780201172324 Sprache: Englisch Gewicht in Gramm: 567. Seller Inventory # 1106289
Quantity: 1 available
Seller: WorldofBooks, Goring-By-Sea, WS, United Kingdom
Hardback. Condition: Very Good. The book has been read, but is in excellent condition. Pages are intact and not marred by notes or highlighting. The spine remains undamaged. Seller Inventory # GOR012392442
Quantity: 1 available
Seller: Hay-on-Wye Booksellers, Hay-on-Wye, HEREF, United Kingdom
Condition: Very Good. Light shelfwear. Dust jacket is showing minor wear in places. Inscription to the inside page and cover. Content is in excellent readable condition. Seller Inventory # 009940-2
Quantity: 1 available
Seller: NEPO UG, Rüsselsheim am Main, Germany
Condition: Gut. 291 Seiten ex Library Book / aus einer wissenschafltichen Bibliothek / Sprache: Englisch Gewicht in Gramm: 969 23,6 x 16,8 x 2,5 cm, Gebundene Ausgabe. Seller Inventory # 367815
Quantity: 1 available
Seller: CONTINENTAL MEDIA & BEYOND, Ocala, FL, U.S.A.
Condition: Used: Very Good. 1990 HARDCOVER CLEAN PAGES NAME IN BOOK 336 PAGES<<<. Seller Inventory # 1117F388526
Quantity: 1 available