Ohearn Peter (53 results)
Published by The MacMillan Company of Canada Limited 1964
- Hardcover
Seller: Regent College Bookstore, Vancouver, BC, CanadaRegent College Bookstore
Contact seller5-star sellerCondition: Used - Good
US$ 16.23
US$ 10.75 shippingShips from Canada to U.S.A.Quantity: 1 available
Hardcover. Condition: Good. 325 pp. No DJ. Hardcover in good condition, though spine slightly cocked. Binding is tight, text block appears clear and unmarked throughout, slight foxing on the leaf foredges.
Published by T.C. Allen & Co., Halifax 1898
- Hardcover
Seller: Augustine Funnell Books, Fredericton, NB, CanadaAugustine Funnell Books
Contact seller4-star sellerCondition: Used - Very good
US$ 15.00
US$ 25.00 shippingShips from Canada to U.S.A.Quantity: 1 available
Hardcover. Condition: Very Good. No Jacket (as issued). Maroon cloth w/impressed title/rule in black, 143 pages (including answers to the various questions posed throughout). Mildly cocked, bumped/lightly worn corners/spine ends, light cover soil, previous owner's name/address to front end paper, tanned. A fairly nice copy of a…school book that hasn't been subjected to the indignities generally heaped upon school books. Size: 16mo - over 5¾ - 6¾" tall. Book.
Published by George A. Knodell, St. John, NB 1894
- Softcover
- First Edition
Seller: Minotavros Books, ABAC ILAB, Whitby, ON, CanadaMinotavros Books, ABAC ILAB
Contact seller5-star sellerCondition: Used - Good
US$ 29.50
US$ 16.50 shippingShips from Canada to U.S.A.Quantity: 1 available
Soft cover. Condition: Good. 1st Edition. 18mo. Part Two of Three Only. Orig. yellow cloth spine and brown card wrappers. 92 pp. Chip to fore edge, rubbing to extremities, a few damp stains, front cover curled. Black ink stain to fore edge, stain to top edge. Short tear to head of title page. A few pencil notations to text.
Verified Software : Theories, Tools, Experiments: Third International Conference, Vstte 2010, Edinburgh, Uk, August 16-19, 2010, Proceedings
Leavens, Gary T. (EDT); O'hearn, Peter (EDT); Rajamani, Sriram K (EDT)
- Softcover
Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contact seller5-star sellerCondition: Used - As new
US$ 69.31
US$ 2.64 shippingShips within U.S.A.Quantity: 2 available
Condition: As New. Unread book in perfect condition.
Verified Software : Theories, Tools, Experiments: Third International Conference, Vstte 2010, Edinburgh, Uk, August 16-19, 2010, Proceedings
Leavens, Gary T. (EDT); O'hearn, Peter (EDT); Rajamani, Sriram K (EDT)
- Softcover
Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contact seller5-star sellerCondition: New
US$ 73.87
US$ 2.64 shippingShips within U.S.A.Quantity: 2 available
Condition: New.
Language: English
Published by Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, Berlin 2010
- Softcover
Seller: Grand Eagle Retail, Bensenville, IL, U.S.A.Grand Eagle Retail
Contact seller5-star sellerCondition: New
US$ 76.52
Free ShippingShips within U.S.A.Quantity: 1 available
Paperback. Condition: new. Paperback. Veri?ed Software: Theories, Tools and Experiments, VSTTE 2010, was held in Edinburgh, Scotland during August 16-19, 2010. This conference is part of the Veri?ed Software Initiative (VSI), which is a 15-year international project that focuses on the scienti?c and technical challenges of produ…cing veri?ed software. Previous VSTTE conferences were held in Zurich, Switzerland (in 2005) and Toronto, Canada (in 2008). The goal of VSTTE 2010 was to advance the state of the art in the science andtechnologyofsoftwareveri?cationthroughtheinteractionoftheorydevel- ment,toolevolution,andexperimentalvalidation.Theacceptedpapersrepresent work on veri?cation techniques, speci?cation languages, formal calculi, veri?- tion tools, solutions to challenge problems, software design methods, reusable components, re?nement methodologies, and requirements modeling. Several of the accepted papers also presented case studies, either in response to published challenge problems or problems of practical interest. Many of the papers were also concerned with concurrent programs. Asspeci?edinthecallforpapers,authorssubmitted15-pagepaperselectr- ically.The EasyChair system handled submissions and was used to manage the reviewing of papers and subsequent discussion. This system aided the Program Committee in avoiding con?icts of interest during the reviewing and discussion process. There was electronic discussion among the Program Committee m- bersaboutthemeritsofeachsubmission,moderatedbytheProgramCommittee Co-chairs. This year the conference received 32 submissions, of which 11 were accepted, for an acceptance rate of about 34%. Seven of the accepted papers were - authored by members of the Program Committee. We were pleased to have invited talks by Tom Ball, Gerwin Klein, and Matthew Parkinson.The authorsof these invitedtalks also graciouslyconsented to the publication of accompanying invited papers in this volume. Contains the proceedings of the third working conference on Verified Software: Theories, Tools, and Experiments, VSTTE 2010, held in Edinburgh, UK, in August 2010. This book features the papers that represent work on verification techniques, specification languages, formal calculi, verification tools, solutions to challenge problems, and more. Shipping may be from multiple locations in the US or from the UK, depending on stock availability.
- Hardcover
Seller: Big River Books, Powder Springs, GA, U.S.A.Big River Books
Contact seller5-star sellerCondition: Used - Good
US$ 72.98
US$ 3.99 shippingShips within U.S.A.Quantity: 1 available
Condition: good. This book is in good condition. The cover has minor creases or bends. The binding is tight and pages are intact. Some pages may have writing or highlighting.
Published by T.C. Allen & Co., Halifax N.S. 1898
- Hardcover
Seller: Harry E Bagley Books, Fredericton, NB, CanadaHarry E Bagley Books
Contact seller3-star sellerCondition: Used - Fair
US$ 25.00
US$ 30.00 shippingShips from Canada to U.S.A.Quantity: 1 available
Hardcover. Condition: Fair. blind stamped cloth.pp., 143, wear at spine ends, corners, covers faded, hinges starting, some small moisture stains on end papers, ink names, inscription on front endpaper, W.T Kenedy was Principal of County Academy, Halifax, O'Hern was Principal of St. Patick's Boys' High School, Halifax Size: 12mo.…, [18 cm]. Textbook.
A Song for the King: Saraha on Mahamudra Meditation
Martin, Michele [Editor]; O'Hearn, Peter [Translator]; Thrangu Rinpoche, Khenchen [Commentary];
- Softcover
Seller: BennettBooksLtd, Los Angeles, CA, U.S.A.BennettBooksLtd
Contact seller5-star sellerCondition: New
US$ 83.55
US$ 6.95 shippingShips within U.S.A.Quantity: 1 available
Paperback. Condition: New. In shrink wrap. Looks like an interesting title.
- Hardcover
Seller: Books Puddle, New York, NY, U.S.A.Books Puddle
Contact seller4-star sellerCondition: New
US$ 93.60
US$ 3.99 shippingShips within U.S.A.Quantity: 1 available
Condition: New. pp. 300.
- Softcover
Seller: Revaluation Books, Exeter, , United KingdomRevaluation Books
Contact seller5-star sellerCondition: New
US$ 91.67
US$ 13.45 shippingShips from United Kingdom to U.S.A.Quantity: 1 available
Paperback. Condition: Brand New. 1st edition. 227 pages. 9.00x6.10x0.50 inches. In Stock.
- Hardcover
Seller: Majestic Books, Hounslow, , United KingdomMajestic Books
Contact seller4-star sellerCondition: New
US$ 93.43
US$ 8.74 shippingShips from United Kingdom to U.S.A.Quantity: 1 available
Condition: New. pp. 300 52:B&W 6.14 x 9.21in or 234 x 156mm (Royal 8vo) Case Laminate on White w/Gloss Lam.
- Hardcover
Seller: Romtrade Corp., STERLING HEIGHTS, MI, U.S.A.Romtrade Corp.
Contact seller5-star sellerCondition: New
US$ 103.34
Free ShippingShips within U.S.A.Quantity: 1 available
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.
- Hardcover
Seller: Biblios, frankfurt am main, HESSE, GermanyBiblios
Contact seller4-star sellerCondition: New
US$ 97.48
US$ 11.55 shippingShips from Germany to U.S.A.Quantity: 1 available
Condition: New. pp. 300.
- Hardcover
Seller: Romtrade Corp., STERLING HEIGHTS, MI, U.S.A.Romtrade Corp.
Contact seller5-star sellerCondition: New
US$ 115.20
Free ShippingShips within U.S.A.Quantity: 1 available
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.
- Softcover
Seller: moluna, Greven, , Germanymoluna
Contact seller5-star sellerCondition: New
US$ 73.51
US$ 56.85 shippingShips from Germany to U.S.A.Quantity: 1 available
Condition: New. Fast track conference proceedingUnique visibilityState of the art researchInvited Talk.- Towards Scalable Modular Checking of User-Defined Properties.- Verification Techniques.- Tressa: Claiming the Future.- Automated Verification of a Small Hypervisor.
- Softcover
Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contact seller5-star sellerCondition: Used - As new
US$ 137.45
US$ 2.64 shippingShips within U.S.A.Quantity: 15 available
Condition: As New. Unread book in perfect condition.
- Softcover
Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contact seller5-star sellerCondition: Used - As new
US$ 137.87
US$ 2.64 shippingShips within U.S.A.Quantity: 15 available
Condition: As New. Unread book in perfect condition.
- Softcover
Seller: Ria Christie Collections, Uxbridge, United KingdomRia Christie Collections
Contact seller5-star sellerCondition: New
US$ 134.22
US$ 16.11 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Condition: New. In.
- Softcover
Seller: Ria Christie Collections, Uxbridge, United KingdomRia Christie Collections
Contact seller5-star sellerCondition: New
US$ 134.22
US$ 16.11 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Condition: New. In.
- Hardcover
Seller: Ria Christie Collections, Uxbridge, United KingdomRia Christie Collections
Contact seller5-star sellerCondition: New
US$ 134.22
US$ 16.11 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Condition: New. In.
- Hardcover
Seller: Ria Christie Collections, Uxbridge, United KingdomRia Christie Collections
Contact seller5-star sellerCondition: New
US$ 134.22
US$ 16.11 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Condition: New. In.
- Hardcover
Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contact seller5-star sellerCondition: New
US$ 147.20
US$ 2.64 shippingShips within U.S.A.Quantity: Over 20 available
Condition: New.
- Softcover
Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contact seller5-star sellerCondition: New
US$ 147.20
US$ 2.64 shippingShips within U.S.A.Quantity: 15 available
Condition: New.
- Softcover
Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contact seller5-star sellerCondition: New
US$ 147.20
US$ 2.64 shippingShips within U.S.A.Quantity: 15 available
Condition: New.
- Hardcover
Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contact seller5-star sellerCondition: New
US$ 147.20
US$ 2.64 shippingShips within U.S.A.Quantity: Over 20 available
Condition: New.
- Hardcover
Seller: GreatBookPricesUK, Woodford Green, United KingdomGreatBookPricesUK
Contact seller5-star sellerCondition: New
US$ 134.20
US$ 20.17 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Condition: New.
- Hardcover
Seller: GreatBookPricesUK, Woodford Green, United KingdomGreatBookPricesUK
Contact seller5-star sellerCondition: New
US$ 134.20
US$ 20.17 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Condition: New.
- Hardcover
Seller: Biblios, frankfurt am main, HESSE, GermanyBiblios
Contact seller4-star sellerCondition: New
US$ 149.50
US$ 11.55 shippingShips from Germany to U.S.A.Quantity: 1 available
Condition: New. pp. 364.
- Softcover
Seller: AHA-BUCH GmbH, Einbeck, GermanyAHA-BUCH GmbH
Contact seller5-star sellerCondition: New
US$ 88.20
US$ 71.86 shippingShips from Germany to U.S.A.Quantity: 2 available
Taschenbuch. Condition: Neu. Neuware - Veri ed Software: Theories, Tools and Experiments, VSTTE 2010, was held in Edinburgh, Scotland during August 16-19, 2010. This conference is part of the Veri ed Software Initiative (VSI), which is a 15-year international project that focuses on the scienti c and technical challenges of prod…ucing veri ed software. Previous VSTTE conferences were held in Zurich, Switzerland (in 2005) and Toronto, Canada (in 2008). The goal of VSTTE 2010 was to advance the state of the art in the science andtechnologyofsoftwareveri cationthroughtheinteractionoftheorydevel- ment,toolevolution,andexperimentalvalidation.Theacceptedpapersrepresent work on veri cation techniques, speci cation languages, formal calculi, veri - tion tools, solutions to challenge problems, software design methods, reusable components, re nement methodologies, and requirements modeling. Several of the accepted papers also presented case studies, either in response to published challenge problems or problems of practical interest. Many of the papers were also concerned with concurrent programs. Asspeci edinthecallforpapers,authorssubmitted15-pagepaperselectr- ically. The EasyChair system handled submissions and was used to manage the reviewing of papers and subsequent discussion. This system aided the Program Committee in avoiding con icts of interest during the reviewing and discussion process. There was electronic discussion among the Program Committee m- bersaboutthemeritsofeachsubmission,moderatedbytheProgramCommittee Co-chairs. This year the conference received 32 submissions, of which 11 were accepted, for an acceptance rate of about 34%. Seven of the accepted papers were - authored by members of the Program Committee. We were pleased to have invited talks by Tom Ball, Gerwin Klein, and Matthew Parkinson.The authorsof these invitedtalks also graciouslyconsented to the publication of accompanying invited papers in this volume.
