Paperback. Condition: Good. Ex-library paperback in good condition with the usual markings and attachments. Text block clean and unmarked. Tight binding.
Language: English
Published by Macmillan Education, Limited, 1986
ISBN 10: 0333407377 ISBN 13: 9780333407370
Seller: Better World Books Ltd, Dunfermline, United Kingdom
Condition: Good. Ships from the UK. Used book that is in clean, average condition without any missing pages.
Seller: Bahamut Media, Reading, United Kingdom
Condition: Very Good. Shipped within 24 hours from our UK warehouse. Clean, undamaged book with no damage to pages and minimal wear to the cover. Spine still tight, in very good condition. Remember if you are not happy, you are covered by our 100% money back guarantee.
Language: English
Published by Macmillan Publishing Company, 1986
ISBN 10: 0029489210 ISBN 13: 9780029489215
Seller: BookDepart, Shepherdstown, WV, U.S.A.
Hardcover. Condition: Very Good. Hardcover; light fading, light shelf wear to exterior; otherwise contents in very good condition with clean text, firm binding.
Condition: New.
Seller: Romtrade Corp., STERLING HEIGHTS, MI, U.S.A.
Condition: New. This is a Brand-new US Edition. This Item may be shipped from US or any other country as we have multiple locations worldwide.
US$ 39.13
Quantity: 2 available
Add to basketHardcover. Condition: Brand New. 140 pages. 9.25x6.50x0.25 inches. In Stock.
US$ 36.20
Quantity: Over 20 available
Add to basketCondition: New.
Taschenbuch. Condition: Neu. Gebraucht - Wie neu ungelesen, sehr guter Zustand; unused, very good condition; -This volume presents the proceedings of the Second International Symposium of Formal Methods Europe, held in Barcelona, Spain in October 1994. Besides two invited papers and seven industrial usage reports, there are 32 full papers selected from some 150 submissions. The industrial usage reports describe practical experiences in a variety of areas including security systems and railway signalling. The subjects of the research papers include refinement, proof, process modelling, specification of programming languages, model checking, real-time aspects, and the combination of formal and systematic methods; these contributions advance the foundations of formal methods and demonstrate their practical value. 744 pp. Englisch.
Taschenbuch. Condition: Neu. Gebraucht - Wie neu ungelesen, sehr guter Zustand; unused, very good condition; -This volume presents the proceedings of the Second International Symposium of Formal Methods Europe, held in Barcelona, Spain in October 1994. Besides two invited papers and seven industrial usage reports, there are 32 full papers selected from some 150 submissions. The industrial usage reports describe practical experiences in a variety of areas including security systems and railway signalling. The subjects of the research papers include refinement, proof, process modelling, specification of programming languages, model checking, real-time aspects, and the combination of formal and systematic methods; these contributions advance the foundations of formal methods and demonstrate their practical value. 744 pp. Englisch.
Condition: New. pp. 260.
Condition: New. pp. 260.
Brand new book. Fast ship. Please provide full street address as we are not able to ship to P O box address.
Language: English
Published by MacMillan, Basingstoke, 1986
ISBN 10: 0333407369 ISBN 13: 9780333407363
First Edition
US$ 19.38
Quantity: 1 available
Add to basketHard Cover. Condition: Good. Dust Jacket Condition: Good. First Edition. From an academic library with the usual stamps etc.
Condition: New.
Seller: Biblios, Frankfurt am main, HESSE, Germany
Condition: New. pp. 260.
Seller: Ria Christie Collections, Uxbridge, United Kingdom
US$ 68.24
Quantity: Over 20 available
Add to basketCondition: New. In.
Seller: Ria Christie Collections, Uxbridge, United Kingdom
US$ 68.24
Quantity: Over 20 available
Add to basketCondition: New. In.
Seller: Chiron Media, Wallingford, United Kingdom
US$ 66.12
Quantity: 10 available
Add to basketPF. Condition: New.
Condition: Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service.
Condition: New. This is a Brand-new US Edition. This Item may be shipped from US or any other country as we have multiple locations worldwide.
Seller: Chiron Media, Wallingford, United Kingdom
US$ 66.17
Quantity: 10 available
Add to basketPaperback. Condition: New.
Paperback. Condition: Good+. Vol. 873; 6.1 X 1.67 X 9.25 inches; 723 pages; Ex-Library copy with usual identifiers. Very slightly cocked spine. Minor rubbing on the covers. Scratches on the bottom exterior edge of textblock. Light yellowing on pages. Good condition otherwise. No other noteworthy defects. No markings on text pages. ; - Your satisfaction is our priority. We offer free returns and respond promptly to all inquiries. Your item will be carefully cushioned in bubble wrap and securely boxed. All orders ship on the same or next business day. Buy with confidence. 1st Edition (Unstated); No Printing Stated.
Condition: New. pp. 272.
Condition: New. pp. 392.
Brand new book. Fast ship. Please provide full street address as we are not able to ship to P O box address.
Seller: Revaluation Books, Exeter, United Kingdom
US$ 90.44
Quantity: 2 available
Add to basketPaperback. Condition: Brand New. reprint edition. 267 pages. 9.25x6.10x0.62 inches. In Stock.
Seller: Revaluation Books, Exeter, United Kingdom
US$ 92.62
Quantity: 2 available
Add to basketPaperback. Condition: Brand New. 392 pages. 9.21x6.14x0.89 inches. In Stock.
US$ 96.88
Quantity: Over 20 available
Add to basketCondition: As New. Unread book in perfect condition.