Product Type
Condition
Binding
Collectible Attributes
Free Shipping
Seller Location
Seller Rating
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.
Published by Springer, 2009
ISBN 10: 184882744XISBN 13: 9781848827448
Seller: killarneybooks, Inagh, CLARE, Ireland
Book
Hardcover. Condition: Near Fine. 3rd Edition. Hardcover, 3rd edition, xxiii + 502 pages, NOT ex-library. Shipping weight over 1kg (please note: extra postage will be required). Signs of mild wear, book is clean and bright with unmarked text, free of inscriptions and stamps, firmly bound. Issued without a dust jacket.
Published by Springer, 2012
ISBN 10: 1447125134ISBN 13: 9781447125136
Seller: GreatBookPrices, Columbia, MD, U.S.A.
Book
Condition: New.
Published by Springer, 2009
ISBN 10: 184882744XISBN 13: 9781848827448
Seller: GreatBookPrices, Columbia, MD, U.S.A.
Book
Condition: New.
Published by Springer, 2009
ISBN 10: 184882744XISBN 13: 9781848827448
Seller: Lucky's Textbooks, Dallas, TX, U.S.A.
Book
Condition: New.
Published by Springer, 2012
ISBN 10: 1447125134ISBN 13: 9781447125136
Seller: GreatBookPricesUK, Castle Donington, DERBY, United Kingdom
Book
Condition: New.
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.
Published by Springer London Ltd, 2012
ISBN 10: 1447125134ISBN 13: 9781447125136
Seller: Kennys Bookshop and Art Galleries Ltd., Galway, GY, Ireland
Book
Condition: New. This book explores one of the most common approaches to program verification, known as the assertional approach. Case studies supplied throughout the book demonstrate the use of the proof systems and formally verify solutions to classical problems. Num Pages: 526 pages, 26 black & white illustrations, biography. BIC Classification: PBCD; UM; UYF. Category: (G) General (US: Trade). Dimension: 233 x 156 x 28. Weight in Grams: 746. . 2012. Softcover reprint of hardcover 3rd ed. 2009. Paperback. . . . .
Published by Springer London, 2009
ISBN 10: 184882744XISBN 13: 9781848827448
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.
Published by Springer, 2009
ISBN 10: 184882744XISBN 13: 9781848827448
Seller: GreatBookPricesUK, Castle Donington, DERBY, United Kingdom
Book
Condition: New.
Published by Springer London Ltd, 2012
ISBN 10: 1447125134ISBN 13: 9781447125136
Seller: Kennys Bookstore, Olney, MD, U.S.A.
Book
Condition: New. This book explores one of the most common approaches to program verification, known as the assertional approach. Case studies supplied throughout the book demonstrate the use of the proof systems and formally verify solutions to classical problems. Num Pages: 526 pages, 26 black & white illustrations, biography. BIC Classification: PBCD; UM; UYF. Category: (G) General (US: Trade). Dimension: 233 x 156 x 28. Weight in Grams: 746. . 2012. Softcover reprint of hardcover 3rd ed. 2009. Paperback. . . . . Books ship from the US and Ireland.
Published by Springer-Verlag New York Inc, 2009
ISBN 10: 184882744XISBN 13: 9781848827448
Seller: Revaluation Books, Exeter, United Kingdom
Book
Hardcover. Condition: Brand New. 3rd edition. 502 pages. 9.50x6.50x1.25 inches. In Stock.
Published by Springer, 2012
ISBN 10: 1447125134ISBN 13: 9781447125136
Seller: GreatBookPricesUK, Castle Donington, DERBY, United Kingdom
Book
Condition: As New. Unread book in perfect condition.
Published by Springer, 2012
ISBN 10: 1447125134ISBN 13: 9781447125136
Seller: GreatBookPrices, Columbia, MD, U.S.A.
Book
Condition: As New. Unread book in perfect condition.
Published by Springer, 2012
ISBN 10: 1447125134ISBN 13: 9781447125136
Seller: Mispah books, Redhill, SURRE, United Kingdom
Book
Paperback. Condition: Like New. Like New. book.
Published by Springer London Ltd, 2009
ISBN 10: 184882744XISBN 13: 9781848827448
Seller: Kennys Bookshop and Art Galleries Ltd., Galway, GY, Ireland
Book
Condition: New. This book explores one of the most common approaches to program verification, known as the assertional approach. Case studies supplied throughout the book demonstrate the use of the proof systems and formally verify solutions to classical problems. Series: Texts in Computer Science. Num Pages: 526 pages, 26 black & white illustrations, biography. BIC Classification: UMB. Category: (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 237 x 167 x 32. Weight in Grams: 922. . 2009. 3rd ed. 2009, Corr. 3rd printing 2010. Hardback. . . . .
Published by Springer, 2009
ISBN 10: 184882744XISBN 13: 9781848827448
Seller: GreatBookPricesUK, Castle Donington, DERBY, United Kingdom
Book
Condition: As New. Unread book in perfect condition.
Published by Springer, 2009
ISBN 10: 184882744XISBN 13: 9781848827448
Seller: Mispah books, Redhill, SURRE, United Kingdom
Book
Hardcover. Condition: Like New. Like New. book.
Published by Springer, 2009
ISBN 10: 184882744XISBN 13: 9781848827448
Seller: GreatBookPrices, Columbia, MD, U.S.A.
Book
Condition: As New. Unread book in perfect condition.
Published by Springer London Ltd, 2009
ISBN 10: 184882744XISBN 13: 9781848827448
Seller: Kennys Bookstore, Olney, MD, U.S.A.
Book
Condition: New. This book explores one of the most common approaches to program verification, known as the assertional approach. Case studies supplied throughout the book demonstrate the use of the proof systems and formally verify solutions to classical problems. Series: Texts in Computer Science. Num Pages: 526 pages, 26 black & white illustrations, biography. BIC Classification: UMB. Category: (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 237 x 167 x 32. Weight in Grams: 922. . 2009. 3rd ed. 2009, Corr. 3rd printing 2010. Hardback. . . . . Books ship from the US and Ireland.