Groves lindsay (30 resultados)

Paperback. Condición: Very Good. Reprint; First Printing. Light reading and cover creases, light shelf wear. ; First printing of Penguin special sales edition with number 1, 2003. Nice tight copy, no names inside. Cover artwork by Leonie Shearing. Originally distributed with Practical Parenting magazine. ; 224 pages; The five authors met at antenatal classes in Berkhamsted. Each from different backgrounds, they became friends and decided to write about their shared experiences of first-time pregnancy to help others through the practical and emotional challenges. Mass Market PB.…

Hardcovers. Condición: Very Good. ------------Black cloth, 9" tall. 184 pages, with frontispiece and also 14 other illustrations----VERY GOOD CONDITION, with neat signature of former owner on flyleaf.

Condición: Fair. This is an ex-library book and may have the usual library/used-book markings inside. This book has hardback covers. With usual stamps and markings. In fair condition, suitable as a study copy. No dust jacket. Re-bound by library. Undated. Please note the Image in this listing is a stock photo and may not match the covers of the actual item,550grams, ISBN.…

Paperback. Condición: Fine.

Condición: New.

Condición: As New. Unread book in perfect condition.

Hardcover. Condición: Fair. 184 pages. working copy only worn but internally sound.

Condición: Good. This is an ex-library book and may have the usual library/used-book markings inside.This book has hardback covers. Clean from markings. 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,550grams, ISBN.

Condición: Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service.

Condición: 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.

Condición: New.

Condición: As New. Unread book in perfect condition.

Condición: Used. pp. 328 1st Edition.

Condición: Used. pp. 328.

Condición: New. pp. 486.

Condición: Used. pp. 328.

Taschenbuch. Condición: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the refereed proceedings of the 15th International Conference on Formal Engineering Methods, ICFEM 2013, held in Queenstown, New Zealand, in October/November 2013. The 28 revised full papers together with 2 keynote speeches presented were carefully reviewed and selected from 88 submissions. The topics covered are abstraction and refinement, formal specification and modeling, program analysis, software verification, formal methods for software safety, security, reliability and dependability, tool development, integration and experiments involving verified systems, formal methods used in certifying products under international standards, and formal model-based development and code generation.…

Taschenbuch. Condición: Neu. Formal Methods and Software Engineering | 15th International Conference on Formal EngineeringMethods, ICFEM 2013, Queenstown, New Zealand, October 29 - November 1, 2013, Proceedings | Lindsay Groves (u. a.) | Taschenbuch | xviii | Englisch | 2013 | Springer | EAN 9783642412011 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.…

Condición: Sehr gut. Zustand: Sehr gut | Seiten: 484 | Sprache: Englisch | Produktart: Bücher | This book constitutes the refereed proceedings of the 15th International Conference on Formal Engineering Methods, ICFEM 2013, held in Queenstown, New Zealand, in October/November 2013. The 28 revised full papers together with 2 keynote speeches presented were carefully reviewed and selected from 88 submissions. The topics covered are abstraction and refinement, formal specification and modeling, program analysis, software verification, formal methods for software safety, security, reliability and dependability, tool development, integration and experiments involving verified systems, formal methods used in certifying products under international standards, and formal model-based development and code generation.…

No date. Hutchinson & Co. Ltd. Hardback. Book - Good. Illustrated with b/w plates.

Hutchinson & Co. Hardback. Book - Good.

Hutchinson & Co. Hardback. Book - VG. DJ - Poor, chipped and worn.

No date. Hutchinson & Co. Ltd. Hardback. Book - Good. DJ - Fair.

Hardcover. Condición: Rubbed. Good. orig.cloth Rubbed. Good. 15pp photoplates 24x16cm, 184,(15) pp. Contents: The Peasant; The Black Death; King and Parliament; Wyclif; How the People Plotted; John Ball; Revolt; Trapped in the Tower; Negotiations; Smithfield; Work for the Hangman; John Ball Dies; The People Fight On; The Last Farewell. …

Condición: new. Questo è un articolo print on demand.

Taschenbuch. Condición: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes the refereed proceedings of the 15th International Conference on Formal Engineering Methods, ICFEM 2013, held in Queenstown, New Zealand, in October/November 2013. The 28 revised full papers together with 2 keynote speeches presented were carefully reviewed and selected from 88 submissions. The topics covered are abstraction and refinement, formal specification and modeling, program analysis, software verification, formal methods for software safety, security, reliability and dependability, tool development, integration and experiments involving verified systems, formal methods used in certifying products under international standards, and formal model-based development and code generation. 484 pp. Englisch.…

Condición: New. Print on Demand pp. 486 136 Illus.

Condición: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Fast-track-conference proceedings of ICFEM 2013This book constitutes the refereed proceedings of the 15th International Conference on Formal Engineering Methods, ICFEM 2013, held in Queenstown, New Zealand, in October/November 2013. The 28 revised full .…

Condición: New. PRINT ON DEMAND pp. 486.

Taschenbuch. Condición: Neu. This item is printed on demand - Print on Demand Titel. Neuware -This book constitutes the refereed proceedings of the 15th International Conference on Formal Engineering Methods, ICFEM 2013, held in Queenstown, New Zealand, in October/November 2013. The 28 revised full papers together with 2 keynote speeches presented were carefully reviewed and selected from 88 submissions. The topics covered are abstraction and refinement, formal specification and modeling, program analysis, software verification, formal methods for software safety, security, reliability and dependability, tool development, integration and experiments involving verified systems, formal methods used in certifying products under international standards, and formal model-based development and code generation.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 484 pp. Englisch.…