Product Type
Condition
Binding
Collectible Attributes
Free Shipping
Seller Location
Seller Rating
Published by Springer, 1995
ISBN 10: 3540588671ISBN 13: 9783540588672
Seller: Basi6 International, Irving, TX, U.S.A.
Book
Condition: Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service.
Published by Springer, 1995
ISBN 10: 3540588671ISBN 13: 9783540588672
Seller: Romtrade Corp., STERLING HEIGHTS, MI, U.S.A.
Book
Condition: New. Brand New Original US Edition.We Ship to PO BOX Address also. EXPEDITED shipping option also available for faster delivery.This item may ship from the US or other locations in India depending on your location and availability.
Published by Springer, 1995
ISBN 10: 3540588671ISBN 13: 9783540588672
Seller: SMASS Sellers, IRVING, TX, U.S.A.
Book
Condition: New. Brand New Original US Edition. Customer service! Satisfaction Guaranteed. This item may ship from the US or our Overseas warehouse depending on your location and stock availability. We Ship to PO BOX Location also.
Published by Springer, 1995
ISBN 10: 3540588671ISBN 13: 9783540588672
Seller: GuthrieBooks, Spring Branch, TX, U.S.A.
Book
Paperback. Condition: Very Good. Ex-library paperback in very nice condition with the usual markings and attachments.
Published by Springer, 1995
ISBN 10: 3540588671ISBN 13: 9783540588672
Seller: Reuseabook, Gloucester, GLOS, United Kingdom
Book
Paperback. Condition: Used; Good. Dispatched, from the UK, within 48 hours of ordering. This book is in good condition but will show signs of previous ownership. Please expect some creasing to the spine and/or minor damage to the cover. Aged book. Tanned pages and age spots, however, this will not interfere with reading. Ex-library book with stamps on the first page, it is also likely to have a small shelf number sticker on the spine.
Published by Springer, 1995
ISBN 10: 3540588671ISBN 13: 9783540588672
Seller: booksXpress, Bayonne, NJ, U.S.A.
Book
Soft Cover. Condition: new.
Published by Springer, 1995
ISBN 10: 3540588671ISBN 13: 9783540588672
Seller: Lucky's Textbooks, Dallas, TX, U.S.A.
Book
Condition: New.
Published by Springer, 1995
ISBN 10: 3540588671ISBN 13: 9783540588672
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Book Print on Demand
Condition: New. PRINT ON DEMAND Book; New; Fast Shipping from the UK. No. book.
Published by Springer Berlin, 1995
ISBN 10: 3540588671ISBN 13: 9783540588672
Seller: Buchpark, Trebbin, Germany
Book
Condition: Gut. 1995. Gebrauchs- und Lagerspuren. Innen: Seiten eingerissen, Geknickt. 292747/3.
Published by Springer, 1995
ISBN 10: 3540588671ISBN 13: 9783540588672
Seller: Books Puddle, New York, NY, U.S.A.
Book
Condition: Used. pp. 412.
Published by Springer Berlin Heidelberg, 1995
ISBN 10: 3540588671ISBN 13: 9783540588672
Seller: AHA-BUCH GmbH, Einbeck, Germany
Book
Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book is based upon work done under the project 'Correct Software through Formal Methods' supported by the German Ministry of Research and Technology. As a case-study report on the practice of formal software development, this book systematically presents and compares 18 different approaches to the control of a real-world production cell. Mathematically precise, formal methods play an increasingly important role in software development, particularly in areas where failure of software would result in injury to people or, at best, significant loss of money. By analyzing the benefits and explaining the use and limitations of formal methods on a sample basis, this book provides a roadmap for the selection and application of appropriate approaches and thus helps in putting formal methods into industrial use.
Published by Springer Berlin Heidelberg, 1995
ISBN 10: 3540588671ISBN 13: 9783540588672
Seller: moluna, Greven, Germany
Book Print on Demand
Condition: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. This book is based upon work done under the project Correct Software through Formal Methods supported by the German Ministry of Research and Technology. As a case-study report on the practice of formal software development, this book systematically presen.
Published by Springer, 1995
ISBN 10: 3540588671ISBN 13: 9783540588672
Seller: Majestic Books, Hounslow, United Kingdom
Book
Condition: Used. pp. 412 49:B&W 6.14 x 9.21 in or 234 x 156 mm (Royal 8vo) Perfect Bound on White w/Gloss Lam.
Published by Springer 1995-01, 1995
ISBN 10: 3540588671ISBN 13: 9783540588672
Seller: Chiron Media, Wallingford, United Kingdom
Book
PF. Condition: New.
Published by Springer Berlin Heidelberg Jan 1995, 1995
ISBN 10: 3540588671ISBN 13: 9783540588672
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Book Print on Demand
Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book is based upon work done under the project 'Correct Software through Formal Methods' supported by the German Ministry of Research and Technology. As a case-study report on the practice of formal software development, this book systematically presents and compares 18 different approaches to the control of a real-world production cell. Mathematically precise, formal methods play an increasingly important role in software development, particularly in areas where failure of software would result in injury to people or, at best, significant loss of money. By analyzing the benefits and explaining the use and limitations of formal methods on a sample basis, this book provides a roadmap for the selection and application of appropriate approaches and thus helps in putting formal methods into industrial use. 412 pp. Englisch.
Published by Springer, 1995
ISBN 10: 3540588671ISBN 13: 9783540588672
Seller: Mispah books, Redhill, SURRE, United Kingdom
Book
Paperback. Condition: Like New. Like New. book.