Boca paul (47 Ergebnisse)
- Weitere Bilder
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
Verlag: Paris - 1946, 1946
- Softcover
Anbieter: Sylvain Paré, Montolieu, FrankreichSylvain Paré
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Gebraucht
EUR 8,00
EUR 15,20 VersandVersand von Frankreich nach USAAnzahl: 1 verfügbar
In den WarenkorbEditions 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.
- Weitere Bilder
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
Verlag: Paris - 1946, 1946
- Softcover
Anbieter: Sylvain Paré, Montolieu, FrankreichSylvain Paré
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Gebraucht
EUR 10,00
EUR 15,20 VersandVersand von Frankreich nach USAAnzahl: 1 verfügbar
In den WarenkorbEditions 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
Anbieter: Anybook.com, Lincoln, Vereinigtes KönigreichAnybook.com
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Gebraucht - Befriedigend
EUR 26,63
EUR 15,91 VersandVersand von Vereinigtes Königreich nach USAAnzahl: 1 verfügbar
Zustand: 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.
- Hardcover
Anbieter: Phatpocket Limited, Waltham Abbey, HERTS, Vereinigtes KönigreichPhatpocket Limited
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Gebraucht - Befriedigend
EUR 34,29
EUR 12,45 VersandVersand von Vereinigtes Königreich nach USAAnzahl: 1 verfügbar
Zustand: 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.
- Weitere Bilder
Perroquets et Perruches
LEGENDRE Marcel, aquarelles de Paul Barruel, dessins de G. Boca et Y. Bouisset
Verlag: Paris - 1962, 1962
- Hardcover
Anbieter: Sylvain Paré, Montolieu, FrankreichSylvain Paré
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Gebraucht
EUR 20,00
EUR 15,20 VersandVersand von Frankreich nach USAAnzahl: 1 verfügbar
In den WarenkorbEd. 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.
Verlag: N. Boubée et Cie, 1944
- Softcover
Anbieter: Culture Bis, Saint-Georges-sur-Cher, FrankreichCulture Bis
Verkäufer/-in kontaktierenVerkäufer/-in mit 2 SternenZustand: Gebraucht
EUR 12,00
EUR 33,00 VersandVersand von Frankreich nach USAAnzahl: 1 verfügbar
In den WarenkorbBroché. Bon exemplaire bien conservé. 12 planches en couleurs. 39pages.
- Softcover
Anbieter: Chiron Media, Wallingford, Vereinigtes KönigreichChiron Media
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 57,76
EUR 18,13 VersandVersand von Vereinigtes Königreich nach USAAnzahl: 10 verfügbar
Paperback. Zustand: New.
- Weitere Bilder
Formal Methods : State of the Art and New Directions
Boca, Paul (EDT); Bowen, Jonathan P. (EDT); Siddiqi, Jawed (EDT)
- Softcover
Anbieter: GreatBookPrices, Columbia, MD, USAGreatBookPrices
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Gebraucht - Wie neu
EUR 119,17
EUR 2,32 VersandVersand innerhalb von USAAnzahl: 1 verfügbar
Zustand: As New. Unread book in perfect condition.
- Softcover
- Internationale Ausgabe
Anbieter: UK BOOKS STORE, London, LONDO, Vereinigtes KönigreichUK BOOKS STORE
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenInternationale AusgabeZustand: Gebraucht
EUR 122,04
Versand nach gratisVersand von Vereinigtes Königreich nach USAAnzahl: 1 verfügbar
Zustand: 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 i…f 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.
- Weitere Bilder
- Softcover
Anbieter: preigu, Osnabrück, Deutschlandpreigu
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 50,40
EUR 70,00 VersandVersand von Deutschland nach USAAnzahl: 5 verfügbar
Taschenbuch. Zustand: 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 Heid…elberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
- Weitere Bilder
- Softcover
Anbieter: AHA-BUCH GmbH, Einbeck, DeutschlandAHA-BUCH GmbH
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 59,97
EUR 63,02 VersandVersand von Deutschland nach USAAnzahl: 1 verfügbar
Taschenbuch. Zustand: 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 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
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes KönigreichRia Christie Collections
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 116,77
EUR 14,02 VersandVersand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
Zustand: New. In.
- Hardcover
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes KönigreichRia Christie Collections
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 116,77
EUR 14,02 VersandVersand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
Zustand: New. In.
Formal Methods : State of the Art and New Directions
Boca, Paul P. (EDT); Bowen, Jonathan P. (EDT); Siddiqi, Jawed I (EDT)
- Hardcover
Anbieter: GreatBookPricesUK, Woodford Green, Vereinigtes KönigreichGreatBookPricesUK
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 116,76
EUR 17,55 VersandVersand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
Zustand: New.
- Weitere Bilder
- Hardcover
Anbieter: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, DeutschlandBuchWeltWeit Ludwig Meier e.K.
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 106,99
EUR 23,00 VersandVersand von Deutschland nach USAAnzahl: 1 verfügbar
Buch. Zustand: 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 contrib…utions 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.
Formal Methods : State of the Art and New Directions
Boca, Paul (EDT); Bowen, Jonathan P. (EDT); Siddiqi, Jawed (EDT)
- Softcover
Anbieter: GreatBookPricesUK, Woodford Green, Vereinigtes KönigreichGreatBookPricesUK
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 116,76
EUR 17,55 VersandVersand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
Zustand: New.
- Weitere Bilder
Formal Methods : State of the Art and New Directions
Boca, Paul P. (EDT); Bowen, Jonathan P. (EDT); Siddiqi, Jawed I (EDT)
- Hardcover
Anbieter: GreatBookPrices, Columbia, MD, USAGreatBookPrices
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 132,31
EUR 2,32 VersandVersand innerhalb von USAAnzahl: Mehr als 20 verfügbar
Zustand: New.
- Weitere Bilder
Formal Methods : State of the Art and New Directions
Boca, Paul (EDT); Bowen, Jonathan P. (EDT); Siddiqi, Jawed (EDT)
- Softcover
Anbieter: GreatBookPrices, Columbia, MD, USAGreatBookPrices
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 132,94
EUR 2,32 VersandVersand innerhalb von USAAnzahl: 1 verfügbar
Zustand: New.
- Weitere Bilder
Formal Methods : State of the Art and New Directions
Boca, Paul (EDT); Bowen, Jonathan P. (EDT); Siddiqi, Jawed (EDT)
- Softcover
Anbieter: GreatBookPricesUK, Woodford Green, Vereinigtes KönigreichGreatBookPricesUK
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Gebraucht - Wie neu
EUR 127,54
EUR 17,55 VersandVersand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
Zustand: As New. Unread book in perfect condition.
- Softcover
Anbieter: Buchpark, Trebbin, DeutschlandBuchpark
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Gebraucht - Sehr gut
EUR 37,10
EUR 105,00 VersandVersand von Deutschland nach USAAnzahl: 1 verfügbar
Zustand: 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 International… 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
Anbieter: Books Puddle, New York, NY, USABooks Puddle
Verkäufer/-in kontaktierenVerkäufer/-in mit 4 SternenZustand: Neu
EUR 147,46
EUR 3,51 VersandVersand innerhalb von USAAnzahl: 4 verfügbar
Zustand: New.
- Hardcover
Anbieter: Books Puddle, New York, NY, USABooks Puddle
Verkäufer/-in kontaktierenVerkäufer/-in mit 4 SternenZustand: Neu
EUR 149,00
EUR 3,51 VersandVersand innerhalb von USAAnzahl: 4 verfügbar
Zustand: New. pp. 300.
- Hardcover
Anbieter: Buchpark, Trebbin, DeutschlandBuchpark
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Gebraucht - Sehr gut
EUR 50,51
EUR 105,00 VersandVersand von Deutschland nach USAAnzahl: 1 verfügbar
Zustand: 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 depl…oyed 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.
- Weitere Bilder
- Softcover
Anbieter: preigu, Osnabrück, Deutschlandpreigu
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 95,25
EUR 70,00 VersandVersand von Deutschland nach USAAnzahl: 5 verfügbar
Taschenbuch. Zustand: 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.
- Weitere Bilder
- Hardcover
Anbieter: AHA-BUCH GmbH, Einbeck, DeutschlandAHA-BUCH GmbH
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 106,99
EUR 62,90 VersandVersand von Deutschland nach USAAnzahl: 2 verfügbar
Buch. Zustand: 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-sc…ale 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.
- Weitere Bilder
- Softcover
Anbieter: AHA-BUCH GmbH, Einbeck, DeutschlandAHA-BUCH GmbH
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 114,36
EUR 62,29 VersandVersand von Deutschland nach USAAnzahl: 1 verfügbar
Taschenbuch. Zustand: 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 indust…rial-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.
- Weitere Bilder
Formal Methods : State of the Art and New Directions
Boca, Paul P. (EDT); Bowen, Jonathan P. (EDT); Siddiqi, Jawed I (EDT)
- Hardcover
Anbieter: GreatBookPricesUK, Woodford Green, Vereinigtes KönigreichGreatBookPricesUK
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Gebraucht - Wie neu
EUR 192,83
EUR 17,55 VersandVersand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
Zustand: As New. Unread book in perfect condition.
- Hardcover
Anbieter: Mispah books, Redhill, SURRE, Vereinigtes KönigreichMispah books
Verkäufer/-in kontaktierenVerkäufer/-in mit 4 SternenZustand: Gebraucht - Wie neu
EUR 183,20
EUR 29,25 VersandVersand von Vereinigtes Königreich nach USAAnzahl: 1 verfügbar
Hardcover. Zustand: Like New. LIKE NEW. SHIPS FROM MULTIPLE LOCATIONS. book.
- Weitere Bilder
Formal Methods : State of the Art and New Directions
Boca, Paul P. (EDT); Bowen, Jonathan P. (EDT); Siddiqi, Jawed I (EDT)
- Hardcover
Anbieter: GreatBookPrices, Columbia, MD, USAGreatBookPrices
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Gebraucht - Wie neu
EUR 216,43
EUR 2,32 VersandVersand innerhalb von USAAnzahl: Mehr als 20 verfügbar
Zustand: As New. Unread book in perfect condition.
- Weitere Bilder
Verlag: Editions N. Boubée et Cie, 1946
- Softcover
Anbieter: Librairie Et Cætera - Sophie Rosière, Belin-Béliet, FrankreichLibrairie Et Cætera - Sophie Rosière
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Gebraucht
EUR 6,00
EUR 65,00 VersandVersand von Frankreich nach USAAnzahl: 1 verfügbar
In den WarenkorbCouverture 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.
