DISCLOSURE:
When you click on links to various merchants on this site and make a purchase, this can result in this site earning a commission at no extra cost to you. Affiliate programs and affiliations include, but are not limited to, the eBay Partner Network, Amazon and Alibris.
Be what you are. This is the first step toward becoming better than you are.
Apt Krzysztof R. de Boer Frank S. Olderog Ernst Rudiger
author size: 16
USD
4.19
price size: 16
Phatpocket Limited /Biblio
dealer size: 16
Springer. Used - Good. Ships from UK in 48 hours or less (usually same day). Your purchase helps support Sri Lankan Children's Charity 'The Rainbow Centre'. Ex-library, so some stamps and wear, but in good overall condition. 100% money back guarantee. We are a world class secondhand bookstore based in Hertfordshire, United Kingdom and specialize in high quality textbooks across an enormous variety of subjects. We aim to provide a vast range of textbooks, rare and collectible books at a great price. Our donations to The Rainbow Centre have helped provide an education and a safe haven to hundreds of children who live in appalling conditions. We provide a 100% money back guarantee and are dedicated to providing our customers with the highest standards of service in the bookselling industry. Springer ISBN 184882744x 9781848827448 [GB]
Apt, Krzysztof R., de Boer, Frank S., Olderog, Ernst-R�diger
USD
4.27
Phatpocket Limited /AbebooksUK
ISBN10: 184882744X, ISBN13: 9781848827448, [publisher: Springer] Hardcover Your purchase helps support Sri Lankan Children's Charity 'The Rainbow Centre'. Ex-library, so some stamps and wear, but in good overall condition. Our donations to The Rainbow Centre have helped provide an education and a safe haven to hundreds of children who live in appalling conditions. [Waltham Abbey, HERTS, United Kingdom] [Publication Year: 2009]
ISBN10: 184882744X, ISBN13: 9781848827448, [publisher: Springer] Hardcover Befriedigend/Good: Durchschnittlich erhaltenes Buch bzw. Schutzumschlag mit Gebrauchsspuren, aber vollständigen Seiten. / Describes the average WORN book or dust jacket that has all the pages present. [Berlin, Germany] [Publication Year: 2009]
ISBN10: 184882744X, ISBN13: 9781848827448, [publisher: Springer] Hardcover Befriedigend/Good: Durchschnittlich erhaltenes Buch bzw. Schutzumschlag mit Gebrauchsspuren, aber vollständigen Seiten. / Describes the average WORN book or dust jacket that has all the pages present. [Berlin, Germany] [Publication Year: 2009]
Apt, Krzysztof R., De Boer, Frank S., Olderog, Ernst-Rüdiger
USD
14.04
Phatpocket Limited via Alibris /Alibris
Springer 2009 3rd 2009, Corr. 3rd Printing 2010 ed. Hard cover Good Ships from UK in 48 hours or less (usually same day). Your purchase helps support Sri Lankan Children's Charity 'The Rainbow Centre'. Ex-library, so some stamps and wear, but in good overall condition. 100% money back guarantee. We are a world class secondhand bookstore based in Hertfordshire, United Kingdom and specialize in high quality textbooks across an enormous variety of subjects. We aim to provide a vast range of textbooks, rare and collectible books at a great price. Our donations to The Rainbow Centre have helped provide an education and a safe haven to hundreds of children who live in appalling conditions. We provide a 100% money back guarantee and are dedicated to providing our customers with the highest standards of service in the bookselling industry.
Springer 2009 3rd 2009, Corr. 3rd Printing 2010 ed. Hardcover Very good May have limited writing in cover pages. Pages are unmarked. ~ ThriftBooks: Read More, Spend Less.
Krzysztof R. Apt; Frank S. de Boer; Ernst-Rüdiger Olderog
USD
28.49
killarneybooks /Abebooks
ISBN10: 184882744X, ISBN13: 9781848827448, [publisher: Springer] Hardcover 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. [Inagh, CLARE, Ireland] [Publication Year: 2009]
Springer, Date: 2009. Hardcover. Very Good. May have limited writing in cover pages. Pages are unmarked. ~ ThriftBooks: Read More, Spend Less.Dust jacket quality is not guaranteed. 2009. Springer ISBN 184882744X 9781848827448 [US]
Apt Krzysztof R.; de Boer Frank S.; Olderog Ernst Rudiger; Pnueli Amir Foreword
USD
50.25
Kelseyskorner /Biblio
Springer, Date: 2010-11-11. 3rd ed. 2009, Corr. 3rd printing. Hardcover. Very Good. 9x6x1. Hardcover book with no markings in good condition.Good clean pages-minor wear.Good clean cover. 2010. Springer ISBN 184882744X 9781848827448 [US]
Apt, Krzysztof R.; De Boer, Frank S.; Olderog, Ernst-Rüdiger; Pnueli, Amir [Foreword]
USD
50.25
kelseyskorner via Alibris /Alibris
Springer 2010-11-11 3rd ed. 2009, Corr. 3rd printing Hardcover Very Good Size: 9x6x1; Hardcover book with no markings in good condition. Good clean pages-minor wear. Good clean cover.
Springer 2009 3rd 2009, Corr. 3rd Printing 2010 ed. hardcover Good Access codes and supplements are not guaranteed with used items. May be an ex-library book.
ISBN10: 184882744X, ISBN13: 9781848827448, [publisher: Springer London] Hardcover Druck auf Anfrage Neuware - Printed after ordering - HIS BOOK CONTAINS a most comprehensive text that presents syntax-directed and compositional methods for the formal veri - T cation of programs. The approach is not language-bounded in the sense that it covers a large variety of programming models and features that appear in most modern programming languages. It covers the classes of - quential and parallel, deterministic and non-deterministic, distributed and object-oriented programs. For each of the classes it presents the various c- teria of correctness that are relevant for these classes, such as interference freedom, deadlock freedom, and appropriate notions of liveness for parallel programs. Also, special proof rules appropriate for each class of programs are presented. In spite of this diversity due to the rich program classes cons- ered, there exist a uniform underlying theory of veri cation which is synt- oriented and promotes compositional approaches to veri cation, leading to scalability of the methods. The text strikes the proper balance between mathematical rigor and - dactic introduction of increasingly complex rules in an incremental manner, adequately supported by state-of-the-art examples. As a result it can serve as a textbook for a variety of courses on di erent levels and varying durations. It can also serve as a reference book for researchers in the theory of veri - ...
ISBN10: 184882744X, ISBN13: 9781848827448, [publisher: Springer London] Hardcover Druck auf Anfrage Neuware - Printed after ordering - HIS BOOK CONTAINS a most comprehensive text that presents syntax-directed and compositional methods for the formal veri - T cation of programs. The approach is not language-bounded in the sense that it covers a large variety of programming models and features that appear in most modern programming languages. It covers the classes of - quential and parallel, deterministic and non-deterministic, distributed and object-oriented programs. For each of the classes it presents the various c- teria of correctness that are relevant for these classes, such as interference freedom, deadlock freedom, and appropriate notions of liveness for parallel programs. Also, special proof rules appropriate for each class of programs are presented. In spite of this diversity due to the rich program classes cons- ered, there exist a uniform underlying theory of veri cation which is synt- oriented and promotes compositional approaches to veri cation, leading to scalability of the methods. The text strikes the proper balance between mathematical rigor and - dactic introduction of increasingly complex rules in an incremental manner, adequately supported by state-of-the-art examples. As a result it can serve as a textbook for a variety of courses on di erent levels and varying durations. It can also serve as a reference book for researchers in the theory of veri - ...
Hard Cover. New. New Book; Fast Shipping from UK; Not signed; Not First Edition; The Verification of Sequential and Concurrent Programs. ISBN 184882744x 9781848827448 [GB]
Apt Krzysztof R./ Boer Frank S. De/ Olderog Ernst Rudiger
USD
150.39
Revaluation Books /Biblio
Springer-Verlag New York Inc, Date: 2009. Hardcover. New. 3rd edition. 502 pages. 9.50x6.50x1.25 inches. 2009. Springer-Verlag New York Inc ISBN 184882744X 9781848827448 [GB]
Apt, Krzysztof R.; Boer, Frank S. de; Olderog, Ernst-Rudiger
USD
167.14
Kennys Bookshop and Art Galleries Ltd. /Abebooks
ISBN10: 184882744X, ISBN13: 9781848827448, [publisher: Springer London Ltd] Softcover 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. . . . . [Galway, GY, Ireland] [Publication Year: 2009]
Apt, Krzysztof R.; Boer, Frank S. de; Olderog, Ernst-Rudiger
USD
196.41
Kennys Bookstore /Abebooks
ISBN10: 184882744X, ISBN13: 9781848827448, [publisher: Springer London Ltd] Hardcover 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. [Olney, MD, U.S.A.] [Publication Year: 2009]
DISCLOSURE:
When you click on links to various merchants on this site and make a purchase, this can result in this site earning a commission at no extra cost to you. Affiliate programs and affiliations include, but are not limited to, the eBay Partner Network, Amazon and Alibris.
