Boca Paul (46 results)
- More images
Atlas des vertébrés N° 1, petit atlas des mammifères, fascicule I : monotrèmes, marsupiaux, édentés, rongeurs
RODE Paul, préface par M. Edouard Bourdelle, aquarelles par Mlle Germaine Boca
Published by Paris - 1946, 1946
- Softcover
Seller: Sylvain Paré, Montolieu, FranceSylvain Paré
Contact seller5-star sellerCondition: Used
US$ 9.37
US$ 17.28 shippingShips from France to U.S.A.Quantity: 1 available
Add to basketEditions N. Boubée & Cie, Paris - 1946, 1 fascicule broché de 13,50x18,50 cm, 84 pages et 12 planches hors-texte couverture très légèrement défraîchie, quelques annotations au crayon à papier - Pour les envois hors de France, la tafication «livre & brochure» pour les frais de port a disparue.Les frais de port annoncés correspond…ent à une moyenne. Ils seront calculés au plus juste en fonction du poids de votre article.
- More images
Atlas des vertébrés N° 1, petit atlas des mammifères, fascicule II : ongulés
RODE Paul, préface par M. Edouard Bourdelle, aquarelles par Mlle Germaine Boca
Published by Paris - 1946, 1946
- Softcover
Seller: Sylvain Paré, Montolieu, FranceSylvain Paré
Contact seller5-star sellerCondition: Used
US$ 11.71
US$ 17.28 shippingShips from France to U.S.A.Quantity: 1 available
Add to basketEditions N. Boubée & Cie, Paris - 1946, 1 fascicule broché de 13,50x18,50 cm, 78 pages et 12 planches hors-texte Bel état - Pour les envois hors de France, la tafication «livre & brochure» pour les frais de port a disparue.Les frais de port annoncés correspondent à une moyenne. Ils seront calculés au plus juste en fonction du po…ids de votre article.
- Hardcover
Seller: Anybook.com, Lincoln, United KingdomAnybook.com
Contact seller5-star sellerCondition: Used - Good
US$ 30.25
US$ 18.07 shippingShips from United Kingdom to U.S.A.Quantity: 1 available
Condition: 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.
- More images
Perroquets et Perruches
LEGENDRE Marcel, aquarelles de Paul Barruel, dessins de G. Boca et Y. Bouisset
Published by Paris - 1962, 1962
- Hardcover
Seller: Sylvain Paré, Montolieu, FranceSylvain Paré
Contact seller5-star sellerCondition: Used
US$ 23.42
US$ 17.28 shippingShips from France to U.S.A.Quantity: 1 available
Add to basketEd. Boubée, Paris - 1962, in-8, reliure cartonnée illustrée, 179 pages Bel état - Pour les envois hors de France, la tafication «livre & brochure» pour les frais de port a disparue.Les frais de port annoncés correspondent à une moyenne. Ils seront calculés au plus juste en fonction du poids de votre article.
Published by N. Boubée et Cie, 1944
- Softcover
Seller: Culture Bis, Saint-Georges-sur-Cher, FranceCulture Bis
Contact seller2-star sellerCondition: Used
US$ 14.05
US$ 37.52 shippingShips from France to U.S.A.Quantity: 1 available
Add to basketBroché. Bon exemplaire bien conservé. 12 planches en couleurs. 39pages.
- Softcover
Seller: Ria Christie Collections, Uxbridge, United KingdomRia Christie Collections
Contact seller5-star sellerCondition: New
US$ 69.53
US$ 15.92 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Condition: New. In.
- Softcover
Seller: Chiron Media, Wallingford, United KingdomChiron Media
Contact seller5-star sellerCondition: New
US$ 65.60
US$ 20.59 shippingShips from United Kingdom to U.S.A.Quantity: 10 available
Paperback. Condition: New.
- More images
Formal Methods : State of the Art and New Directions
Boca, Paul (EDT); Bowen, Jonathan P. (EDT); Siddiqi, Jawed (EDT)
- Softcover
Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contact seller5-star sellerCondition: Used - As new
US$ 131.63
US$ 2.64 shippingShips within U.S.A.Quantity: 1 available
Condition: As New. Unread book in perfect condition.
- Softcover
- International Edition
Seller: UK BOOKS STORE, London, LONDO, United KingdomUK BOOKS STORE
Contact seller5-star sellerInternational EditionCondition: Used
US$ 134.81
Free ShippingShips from United Kingdom to U.S.A.Quantity: 1 available
Condition: New Books. Brand New! Fast Delivery This is an International Edition and ship within 24-48 hours. Deliver by FedEx and Dhl, & Aramex, UPS, & USPS and we do accept APO and PO BOX Addresses. Order can be delivered worldwide within 6-10 days and we do have flat rate for up to 2LB. Extra shipping charges will be requested… if the Book weight is more than 5 LB. This Item May be shipped from India, United states & United Kingdom. Depending on your location and availability.
- More images
- Softcover
Seller: preigu, Osnabrück, Germanypreigu
Contact seller5-star sellerCondition: New
US$ 59.02
US$ 79.58 shippingShips from Germany to U.S.A.Quantity: 5 available
Taschenbuch. Condition: Neu. Abstract State Machines, B and Z | First International Conference, ABZ 2008, London, UK, September 16-18, 2008. Proceedings | Egon Börger (u. a.) | Taschenbuch | xii | Englisch | 2008 | Springer | EAN 9783540876021 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 He…idelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
- More images
- Softcover
Seller: AHA-BUCH GmbH, Einbeck, GermanyAHA-BUCH GmbH
Contact seller5-star sellerCondition: New
US$ 70.23
US$ 71.65 shippingShips from Germany to U.S.A.Quantity: 1 available
Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the refereed proceedings of the First International Conference of Abstract State Machines, B and Z, ABZ 2008, held in London, UK, in September 2008. The conference simultaneously incorporated the 15th International ASM Worksho…p, the 17th International Conference of Z Users and the 8th International Conference on the B Method. The 44 revised full papers presented together with 4 invited contributions were carefully reviewed and selected from numerous submissions. The conference fosters the cross-fertilization of three rigorous methods for the design and analysis of hardware and software systems - both in academia and industry - namely Abstract State Machines, B, and Z. Covering a wide range of research spanning from theoretical and methodological foundations to tool support and practical applications, the contributions are organized in topical sections on abstract state machines, B papers, Z papers, ABZ short papers, and the papers of the Verified Software Repository Network (VSR-net) workshop.
- Hardcover
Seller: Ria Christie Collections, Uxbridge, United KingdomRia Christie Collections
Contact seller5-star sellerCondition: New
US$ 132.62
US$ 15.92 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$ 132.62
US$ 15.92 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Condition: New. In.
- More images
Formal Methods : State of the Art and New Directions
Boca, Paul (EDT); Bowen, Jonathan P. (EDT); Siddiqi, Jawed (EDT)
- Softcover
Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contact seller5-star sellerCondition: New
US$ 146.26
US$ 2.64 shippingShips within U.S.A.Quantity: 1 available
Condition: New.
- More images
- Hardcover
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, GermanyBuchWeltWeit Ludwig Meier e.K.
Contact seller5-star sellerCondition: New
US$ 125.29
US$ 26.15 shippingShips from Germany to U.S.A.Quantity: 1 available
Buch. Condition: Neu. Neuware -The last decade has witnessed a modest but sustained increase in researching and applying formal methods. A number of well cited success stories are now available and provide strong evidence that formal methods can be effective and deployed in industrial-scale applications.Through fundamental contr…ibutions from leading researchers, this book provides further evidence of the use of formal methods in the areas of requirements, design, modelling and implementation, verification and validation. The self-contained chapters are views from experts in these areas, providing readers with rich background information and a diverse breadth of specialist material.This authoritative collection of views provides a snapshot of the field and will be of considerable interest to researchers and professionals seeking a perspective on fundamental underpinnings of formal methods and current hot topics in the field.The website fmsand.info is a useful resource, providing material associated with the book and links to further related information. 273 pp. Englisch.
- More images
Formal Methods : State of the Art and New Directions
Boca, Paul P. (EDT); Bowen, Jonathan P. (EDT); Siddiqi, Jawed I (EDT)
- Hardcover
Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contact seller5-star sellerCondition: New
US$ 146.59
US$ 2.64 shippingShips within U.S.A.Quantity: Over 20 available
Condition: New.
Formal Methods : State of the Art and New Directions
Boca, Paul P. (EDT); Bowen, Jonathan P. (EDT); Siddiqi, Jawed I (EDT)
- Hardcover
Seller: GreatBookPricesUK, Woodford Green, United KingdomGreatBookPricesUK
Contact seller5-star sellerCondition: New
US$ 132.61
US$ 19.93 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Condition: New.
Formal Methods : State of the Art and New Directions
Boca, Paul (EDT); Bowen, Jonathan P. (EDT); Siddiqi, Jawed (EDT)
- Softcover
Seller: GreatBookPricesUK, Woodford Green, United KingdomGreatBookPricesUK
Contact seller5-star sellerCondition: New
US$ 132.61
US$ 19.93 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Condition: New.
- More images
Formal Methods : State of the Art and New Directions
Boca, Paul (EDT); Bowen, Jonathan P. (EDT); Siddiqi, Jawed (EDT)
- Softcover
Seller: GreatBookPricesUK, Woodford Green, United KingdomGreatBookPricesUK
Contact seller5-star sellerCondition: Used - As new
US$ 145.20
US$ 19.93 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Condition: As New. Unread book in perfect condition.
- Softcover
Seller: Buchpark, Trebbin, GermanyBuchpark
Contact seller5-star sellerCondition: Used - Fine
US$ 43.44
US$ 119.38 shippingShips from Germany to U.S.A.Quantity: 1 available
Condition: Sehr gut. Zustand: Sehr gut | Seiten: 400 | Sprache: Englisch | Produktart: Bücher | This book constitutes the refereed proceedings of the First International Conference of Abstract State Machines, B and Z, ABZ 2008, held in London, UK, in September 2008. The conference simultaneously incorporated the 15th Internation…al ASM Workshop, the 17th International Conference of Z Users and the 8th International Conference on the B Method. The 44 revised full papers presented together with 4 invited contributions were carefully reviewed and selected from numerous submissions. The conference fosters the cross-fertilization of three rigorous methods for the design and analysis of hardware and software systems - both in academia and industry - namely Abstract State Machines, B, and Z. Covering a wide range of research spanning from theoretical and methodological foundations to tool support and practical applications, the contributions are organized in topical sections on abstract state machines, B papers, Z papers, ABZ short papers, and the papers of the Verified Software Repository Network (VSR-net) workshop.
- Softcover
Seller: Books Puddle, New York, NY, U.S.A.Books Puddle
Contact seller4-star sellerCondition: New
US$ 162.87
US$ 3.99 shippingShips within U.S.A.Quantity: 4 available
Condition: New.
- Hardcover
Seller: Books Puddle, New York, NY, U.S.A.Books Puddle
Contact seller4-star sellerCondition: New
US$ 164.58
US$ 3.99 shippingShips within U.S.A.Quantity: 4 available
Condition: New. pp. 300.
- Hardcover
Seller: Buchpark, Trebbin, GermanyBuchpark
Contact seller5-star sellerCondition: Used - Fine
US$ 59.15
US$ 119.38 shippingShips from Germany to U.S.A.Quantity: 1 available
Condition: Sehr gut. Zustand: Sehr gut | Seiten: 300 | Sprache: Englisch | Produktart: Bücher | The last decade has witnessed a modest but sustained increase in researching and applying formal methods. A number of well cited success stories are now available and provide strong evidence that formal methods can be effective and de…ployed in industrial-scale applications.Through fundamental contributions from leading researchers, this book provides further evidence of the use of formal methods in the areas of requirements, design, modelling and implementation, verification and validation. The self-contained chapters are views from experts in these areas, providing readers with rich background information and a diverse breadth of specialist material.This authoritative collection of views provides a snapshot of the field and will be of considerable interest to researchers and professionals seeking a perspective on fundamental underpinnings of formal methods and current hot topics in the field.The website [LINK ENTFERNT] is a useful resource, providing material associated with the book and links to further related information.
- More images
- Softcover
Seller: preigu, Osnabrück, Germanypreigu
Contact seller5-star sellerCondition: New
US$ 111.54
US$ 79.58 shippingShips from Germany to U.S.A.Quantity: 5 available
Taschenbuch. Condition: Neu. Formal Methods: State of the Art and New Directions | Paul Boca (u. a.) | Taschenbuch | xxv | Englisch | 2014 | Springer | EAN 9781447157458 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
- More images
- Hardcover
Seller: AHA-BUCH GmbH, Einbeck, GermanyAHA-BUCH GmbH
Contact seller5-star sellerCondition: New
US$ 125.29
US$ 71.51 shippingShips from Germany to U.S.A.Quantity: 2 available
Buch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - The last decade has witnessed a modest but sustained increase in researching and applying formal methods. A number of well cited success stories are now available and provide strong evidence that formal methods can be effective and deployed in industrial-…scale applications.Through fundamental contributions from leading researchers, this book provides further evidence of the use of formal methods in the areas of requirements, design, modelling and implementation, verification and validation. The self-contained chapters are views from experts in these areas, providing readers with rich background information and a diverse breadth of specialist material.This authoritative collection of views provides a snapshot of the field and will be of considerable interest to researchers and professionals seeking a perspective on fundamental underpinnings of formal methods and current hot topics in the field.The website fmsand.info is a useful resource, providing material associated with the book and links to further related information.
- More images
- Softcover
Seller: AHA-BUCH GmbH, Einbeck, GermanyAHA-BUCH GmbH
Contact seller5-star sellerCondition: New
US$ 133.92
US$ 70.82 shippingShips from Germany to U.S.A.Quantity: 1 available
Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - The last decade has witnessed a modest but sustained increase in researching and applying formal methods. A number of well cited success stories are now available and provide strong evidence that formal methods can be effective and deployed in indu…strial-scale applications.Through fundamental contributions from leading researchers, this book provides further evidence of the use of formal methods in the areas of requirements, design, modelling and implementation, verification and validation. The self-contained chapters are views from experts in these areas, providing readers with rich background information and a diverse breadth of specialist material.This authoritative collection of views provides a snapshot of the field and will be of considerable interest to researchers and professionals seeking a perspective on fundamental underpinnings of formal methods and current hot topics in the field.The website fmsand.info is a useful resource, providing material associated with the book and links to further related information.
- More images
Formal Methods : State of the Art and New Directions
Boca, Paul P. (EDT); Bowen, Jonathan P. (EDT); Siddiqi, Jawed I (EDT)
- Hardcover
Seller: GreatBookPricesUK, Woodford Green, United KingdomGreatBookPricesUK
Contact seller5-star sellerCondition: Used - As new
US$ 219.00
US$ 19.93 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Condition: As New. Unread book in perfect condition.
- Hardcover
Seller: Mispah books, Redhill, SURRE, United KingdomMispah books
Contact seller4-star sellerCondition: Used - As new
US$ 208.07
US$ 33.22 shippingShips from United Kingdom to U.S.A.Quantity: 1 available
Hardcover. Condition: Like New. LIKE NEW. SHIPS FROM MULTIPLE LOCATIONS. book.
- More images
Formal Methods : State of the Art and New Directions
Boca, Paul P. (EDT); Bowen, Jonathan P. (EDT); Siddiqi, Jawed I (EDT)
- Hardcover
Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contact seller5-star sellerCondition: Used - As new
US$ 239.24
US$ 2.64 shippingShips within U.S.A.Quantity: Over 20 available
Condition: As New. Unread book in perfect condition.
- More images
Published by Editions N. Boubée et Cie, 1946
- Softcover
Seller: Librairie Et Cætera - Sophie Rosière, Belin-Béliet, FranceLibrairie Et Cætera - Sophie Rosière
Contact seller5-star sellerCondition: Used
US$ 7.03
US$ 73.90 shippingShips from France to U.S.A.Quantity: 1 available
Add to basketCouverture souple. Livre en français. Préface de E. Bourdelle. Aquarelles de Germaine Boca. Broché. 78 pages + 12 pages de planches. Légèrement défraîchi. Biologie. Aquarelles de Germaine Boca. (illustrator). Livre.
