Order Total (1 Item Items):
Shipping Destination:
Jonathan P Bowen (321 results)
Skip to main search results
Search filters
Product Type
- All Product Types
- Books (321)
- Magazines & Periodicals (No further results match this refinement)
- Comics (No further results match this refinement)
- Sheet Music (No further results match this refinement)
- Art, Prints & Posters (No further results match this refinement)
- Photographs (No further results match this refinement)
- Maps (No further results match this refinement)
- Manuscripts & Paper Collectibles (No further results match this refinement)
Condition Learn more
- New (273)
- As New, Fine or Near Fine (25)
- Very Good or Good (16)
- Fair or Poor (No further results match this refinement)
- As Described (7)
Collectible Attributes
- First Edition (3)
- Signed (No further results match this refinement)
- Dust Jacket (No further results match this refinement)
- Seller-Supplied Images (158)
- Not Print on Demand (194)
Language (1)
Free Shipping
Seller Location
Seller Rating
-
Condition: Good. This is an ex-library book and may have the usual library/used-book markings inside.This book has soft covers. In good all round condition. Please note the Image in this listing is a stock photo and may not match the covers of the actual item,700grams, ISBN:9781852336400.
-
Victoria History of Herefordshire : Colwall
Language: English
Published by University of London Press, 2020
ISBN 10: 191270207X ISBN 13: 9781912702077
Condition: As New. Unread book in perfect condition.
-
Victoria History of Herefordshire : Colwall
Language: English
Published by University of London Press, 2020
ISBN 10: 191270207X ISBN 13: 9781912702077
Condition: New.
-
ZUM '95 - The Z Formal Specification Notation : 9th International Conference of Z Users, Limerick, Ireland, September 1995, Proceedings
Language: English
Published by Springer Berlin / Heidelberg, 1995
ISBN 10: 3540602712 ISBN 13: 9783540602712
First Edition
Condition: Good. 1st Edition. Former library copy. Pages intact with minimal writing/highlighting. The binding may be loose and creased. Dust jackets/supplements are not included. Includes library markings. Stock photo provided. Product includes identifying sticker. Better World Books: Buy Books. Do Good.
-
EVA LONDON 2009 ELECTRONIC VISUALISATION AND THE ARTS
Language: English
Published by BISL, SWINDON, UNITED KINGDOM, 2009
Seller: Happyfish Books, Meopham, KENT, United Kingdom
Seller rating 4 out of 5 stars
Soft cover. Condition: Good. No Jacket. * PUBLISHER : BISL * YEAR : 2009 * ISBN : N/A * No OF PAGES : 288 * CONDITION : USED - GOOD * OTHER: THE COVER IS LIGHTLY RUBBED AND CREASED WITH FADING ALONG THE EDGES OF THE REAR COVER. THE CORNERS AND EDGES ARE MILDLY BUMPED. THE BINDING IS FIRM. THERE IS SOME WATER STAINING TO THE TOP OF THE PAGES IN THE REAR OF THE BOOK, HOWEVER THIS DOES NOT AFFECT READING. PAGES GENERALLY APPEAR CLEAN AND CREASE FREE. ALL IN ALL A NICE EXAMPLE OF THIS BOOK.
-
-
Victoria History of Herefordshire : Colwall
Language: English
Published by University of London Press, 2020
ISBN 10: 191270207X ISBN 13: 9781912702077
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
US$ 25.38
US$ 19.88 shipping
Ships from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: New.
-
Victoria History of Herefordshire : Colwall
Language: English
Published by University of London Press, 2020
ISBN 10: 191270207X ISBN 13: 9781912702077
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
US$ 27.28
US$ 19.88 shipping
Ships from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: As New. Unread book in perfect condition.
-
Condition: As New. Unread book in perfect condition.
-
US$ 30.17
US$ 18.03 shipping
Ships from United Kingdom to U.S.A.Quantity: 1 available
Add to basketCondition: Good. This is an ex-library book and may have the usual library/used-book markings inside.This book has hardback covers. In good all round condition. No dust jacket. Please note the Image in this listing is a stock photo and may not match the covers of the actual item,650grams, ISBN:9781848827356.
-
Formal Methods and Testing: An Outcome of the FORTEST Network. Revised Selected Papers (Lecture Notes in Computer Science, 4949)
Seller: Phatpocket Limited, Waltham Abbey, HERTS, United Kingdom
Seller rating 5 out of 5 stars
US$ 38.52
US$ 14.10 shipping
Ships from United Kingdom to U.S.A.Quantity: 1 available
Add to basketCondition: Good. Your purchase helps support Sri Lankan Children's Charity 'The Rainbow Centre'. Ex-library, so some stamps and wear, and may have sticker on cover, 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.
-
Formal Methods: State of the Art and New Directions
Seller: Phatpocket Limited, Waltham Abbey, HERTS, United Kingdom
Seller rating 5 out of 5 stars
US$ 39.03
US$ 14.10 shipping
Ships from United Kingdom to U.S.A.Quantity: 1 available
Add to basketCondition: Good. 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.
-
EVA London 2012: Electronic Visualisation and the Arts
Language: English
Published by British Informatics Society Ltd, Swindon, Wiltshire, 2012
ISBN 10: 1780171595 ISBN 13: 9781780171593
US$ 34.13
US$ 21.14 shipping
Ships from United Kingdom to U.S.A.Quantity: 1 available
Add to basketSoft Cover. Condition: Near Fine. Appears unread. No marks or inscriptions to contents. No creasing to covers or to spine. A very clean very tight copy with bright unmarked boards, small marks to lower page edges and no bumping to corners. 326pp. Papers from a conference on digital visualisation which touch on museum studies, digital performance, augmented reality, simulation, 3D scanning, digital archaeology and many other subjects. Very scarce. We do not use stock photos, the picture displayed is of the actual book for sale. Every one of our books is in stock in the UK ready for immediate delivery. Size: 11.75 x 8.25 inches.
-
ZUM '95: The Z Formal Specification Notation: 9th International Conference of Z Users, Limerick, Ireland, September 7 - 9, 1995. Proceedings
Seller: George Cross Books, Lexington, MA, U.S.A.
Association Member: IOBA
Seller rating 5 out of 5 stars
Paperback. Reprint edition. Very Good/Wraps (34594) Paperback. Clean, tight, unmarked. This is *NOT* an old library book. Lecture Notes in Computer Science Volume 967 This book presents the proceedings of the 9th International Conference of Z Users, ZUM '95, held in Limerick, Ireland in September 1995. The book contains 34 carefully selected papers on Z, using Z, applications of Z, proof, testing, industrial usage, object orientation, animation of specification, method integration, and teaching formal methods. Of particular interest is the inclusion of an annotated Z bibliography listing 544 entries. While focussing on Z, by far the most commonly used formal method both in industry and application, the volume is of high relevance for the whole formal methods community. 571.
-
The Japanese Monarchy, 1931-1991
Language: English
Published by M.E. Sharpe Incorporated, 1992
ISBN 10: 1563241099 ISBN 13: 9781563241093
Condition: New. pp. 224 Illus.
-
COLWALL (The Victoria History of Herefordshire)
Language: English
Published by University of London Press, 2020
ISBN 10: 191270207X ISBN 13: 9781912702077
US$ 23.21
US$ 39.76 shipping
Ships from United Kingdom to U.S.A.Quantity: 1 available
Add to basketPaperback. Condition: Fine. 138 pages + xii prelims. 33 b/w and colour photographs, maps and other illustrations. Every book is sent in a rigid cardboard posting box. Size: 25.5 Cm x 18 Cm.
-
The Japanese Monarchy, 1931-1991
Language: English
Published by M.E. Sharpe Incorporated, 1992
ISBN 10: 1563241099 ISBN 13: 9781563241093
Condition: New. pp. 224.
-
Theories of Programming and Formal Methods: Essays Dedicated to Jifeng He on the Occasion of His 80th Birthday (Lecture Notes in Computer Science)
Seller: Books From California, Simi Valley, CA, U.S.A.
Seller rating 4 out of 5 stars
paperback. Condition: Good.
-
Japanese Monarchy, 1931-1991 : Ambassador Joseph Grew and the Making of the Symbol Emperor System
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
US$ 49.20
US$ 19.88 shipping
Ships from United Kingdom to U.S.A.Quantity: 10 available
Add to basketCondition: As New. Unread book in perfect condition.
-
-
-
-
Applications of Formal Methods
Language: English
Published by Prentice-Hall, London, 1995
ISBN 10: 0133669491 ISBN 13: 9780133669497
Seller: Webbooks, Wigtown, Wigtown, United Kingdom
Association Member: PBFA
Seller rating 5 out of 5 stars
First Edition
US$ 30.03
US$ 39.76 shipping
Ships from United Kingdom to U.S.A.Quantity: 1 available
Add to basketHard Cover. Condition: Good. No Jacket. First Edition. From an academic library with the usual stamps etc. This item is heavy and will attract postal surcharges. A00023980.
-
Japanese Monarchy, 1931-1991 : Ambassador Joseph Grew and the Making of the Symbol Emperor System
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
US$ 51.66
US$ 19.88 shipping
Ships from United Kingdom to U.S.A.Quantity: 10 available
Add to basketCondition: New.
-
Condition: As New. Unread book in perfect condition.
-
Condition: As New. Unread book in perfect condition.
-
Theories of Programming and Formal Methods: Essays Dedicated to Jifeng He on the Occasion of His 80th Birthday
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
US$ 62.36
US$ 15.88 shipping
Ships from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: New. In.
-
ZB 2003 : Formal Specification and Development in Z and B: Third International Conference of B and Z Users, Turku, Finland, June 4-6, 2003 Proceedings
Language: English
Published by Springer-Verlag, New York City, 2003
ISBN 10: 3540402535 ISBN 13: 9783540402534
Hardcover. Condition: Very Good. No Jacket. Hardcover 2003 library bound edition. Ex-library book with stamps and labels attached. Binding firm. Pages unmarked and clean. Laminated covers and text in very good to near fine condition. Series: Lecture Notes in Computer Science ;2651. [xiii, 545 p. : ill. ; 24 cm].
-
Engineering Trustworthy Software Systems (Paperback)
Language: English
Published by Springer Verlag, Singapore, Singapore, 2026
ISBN 10: 981958616X ISBN 13: 9789819586165
Paperback. Condition: new. Paperback. This book LNCS 16481 constitutes the refereed proceedings of the 7th International School on Engineering Trustworthy Software Systems, SETSS 2025, held in Beijing, China, in May 1723, 2025.The 7 full papers were carefully reviewed and selected from 8 submissions. The proceedings focuses on lectures given during SETSS covered an ample variety oftechniques to achieve this goal, from model checking to simulation testing, from the use of formal methods and contracts to model-based engineering. This book LNCS 16481 constitutes the refereed proceedings of the 7th International School on Engineering Trustworthy Software Systems, SETSS 2025, held in Beijing, China, in Shipping may be from multiple locations in the US or from the UK, depending on stock availability.
-
Condition: Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service.
