Product Type
Condition
Binding
Collectible Attributes
Free Shipping
Seller Location
Seller Rating
Published by Springer, 2002
ISBN 10: 3540441654ISBN 13: 9783540441656
Seller: Books From California, Simi Valley, CA, U.S.A.
Book
Paperback. Condition: Good.
More buying choices from other sellers on AbeBooks
New offers from US$ 55.91
Used offers from US$ 9.91
Also find Softcover
Published by Berlin ; Heidelberg ; New York ; London ; Paris ; Tokyo ; Hong Kong ; Barcelona ; Budapest : Springer, 1994
ISBN 10: 3540574794ISBN 13: 9783540574798
Seller: books4less (Versandantiquariat Petra Gros GmbH & Co. KG), Welling, Germany
Book
Broschiert. Condition: Gut. XII, 258 S. Das hier angebotene Buch stammt aus einer teilaufgelösten wissenschaftlichen Bibliothek und trägt die entsprechenden Kennzeichnungen (Rückenschild, Instituts-Stempel.); der Buchzustand ist ansonsten ordentlich und dem Alter entsprechend gut. Sprache: Deutsch Gewicht in Gramm: 420.
More buying choices from other sellers on AbeBooks
New offers from US$ 43.73
Used offers from US$ 3.24
Also find Softcover
Published by Springer, 1999
ISBN 10: 3540666249ISBN 13: 9783540666240
Seller: Ammareal, Morangis, France
Book
Softcover. Condition: Bon. Ancien livre de bibliothèque. Salissures sur la tranche. Edition 1999. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Good. Former library book. Soiling on the side. Edition 1999. Ammareal gives back up to 15% of this item's net price to charity organizations.
More buying choices from other sellers on AbeBooks
New offers from US$ 55.83
Used offers from US$ 35.25
Also find Softcover
Published by Cham, Springer International Publishing; : Springer., 2017
ISBN 10: 3319486276ISBN 13: 9783319486277
Book
XVIII, 328 p. Hardcover. Versand aus Deutschland / We dispatch from Germany via Air Mail. Einband bestoßen, daher Mängelexemplar gestempelt, sonst sehr guter Zustand. Imperfect copy due to slightly bumped cover, apart from this in very good condition. Stamped. NASA Monographs in Systems and Software Engineering. Sprache: Englisch.
More buying choices from other sellers on AbeBooks
New offers from US$ 117.54
Used offers from US$ 14.28
Also find Hardcover
Published by Springer-Verlag New York, Incorp, 1991
ISBN 10: 0387975322ISBN 13: 9780387975320
Seller: HPB-Red, Dallas, TX, U.S.A.
Book
hardcover. Condition: Good. Connecting readers with great books since 1972! Used textbooks may not include companion materials such as access codes, etc. May have some wear or writing/highlighting. We ship orders daily and Customer Service is our top priority!.
More buying choices from other sellers on AbeBooks
Used offers from US$ 49.99
Published by Springer, 2010
ISBN 10: 184882744XISBN 13: 9781848827448
Seller: kelseyskorner, Blaine, WA, U.S.A.
Book
Hardcover. Condition: Very Good. 3rd ed. 2009, Corr. 3rd printing. Hardcover book with no markings in good condition.Good clean pages-minor wear.Good clean cover.
More buying choices from other sellers on AbeBooks
New offers from US$ 116.93
Used offers from US$ 50.25
Also find Hardcover
Published by Springer-Verlag GmbH, 1997
ISBN 10: 0387948961ISBN 13: 9780387948966
Seller: Buchpark, Trebbin, Germany
Book
Condition: Gut. Zustand: Gut - Gebrauchs- und Lagerspuren. Innen: Seiten eingerissen, Geknickt. | Seiten: 388.
More buying choices from other sellers on AbeBooks
Used offers from US$ 7.68
Published by Springer Nature B.V., 2012
ISBN 10: 1475727151ISBN 13: 9781475727159
Seller: PBShop.store US, Wood Dale, IL, U.S.A.
Book Print on Demand
PAP. Condition: New. New Book. Shipped from UK. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000.
More buying choices from other sellers on AbeBooks
New offers from US$ 63.02
Published by Springer, 2021
ISBN 10: 303091383XISBN 13: 9783030913830
Seller: booksXpress, Bayonne, NJ, U.S.A.
Book
Soft Cover. Condition: new.
More buying choices from other sellers on AbeBooks
New offers from US$ 69.16
Springer 1991 cloth, 441 pp. ISBN (3540975322) (code Sc-60).
Springer 1997 cltoh, 2nd edition, 364 pp. ISBN (9780387948966) (code Sc-36).
Published by Cambridge University Press, 2008
ISBN 10: 0521883334ISBN 13: 9780521883337
Seller: Mispah books, Redhill, SURRE, United Kingdom
Book
Hardcover. Condition: Like New. Like New. book.
More buying choices from other sellers on AbeBooks
New offers from US$ 84.00
Used offers from US$ 51.45
Also find Hardcover
Published by North-Holland, 1994
ISBN 10: 0444820205ISBN 13: 9780444820204
Seller: Bookmonger.Ltd, HILLSIDE, NJ, U.S.A.
Book
Paperback. Condition: Very Good.
More buying choices from other sellers on AbeBooks
Used offers from US$ 85.26
Published by Springer London, 2012
ISBN 10: 1447125134ISBN 13: 9781447125136
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. Deals with the verification of programs allowing dynamic process creationIncludes four new chapters on increasingly important aspects of programmingContains many learning tools to aid the reader such as case studies, exercises, comprehensiv.
More buying choices from other sellers on AbeBooks
New offers from US$ 80.08
Used offers from US$ 142.79
Also find Softcover
Published by Springer International Publishing Mai 2018, 2018
ISBN 10: 3319839802ISBN 13: 9783319839806
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 -As computers increasingly control the systems and services we depend upon within our daily lives like transport, communications, and the media, ensuring these systems function correctly is of utmost importance. This book consists of twelve chapters and one historical account that were presented at a workshop in London in 2015, marking the 25th anniversary of the European ESPRIT Basic Research project 'ProCoS' (Provably Correct Systems). The ProCoS I and II projects pioneered and accelerated the automation of verification techniques, resulting in a wide range of applications within many trades and sectors such as aerospace, electronics, communications, and retail.The following topics are covered: An historical account of the ProCoS projectHybrid SystemsCorrectness of Concurrent AlgorithmsInterfaces and LinkingAutomatic VerificationRun-time Assertions CheckingFormal and Semi-Formal MethodsProvably Correct Systems provides researchers, designers and engineers with a complete overview of the ProCoS initiative, past and present, and explores current developments and perspectives within the field. 348 pp. Englisch.
More buying choices from other sellers on AbeBooks
New offers from US$ 117.54