groves lindsay (29 risultati)

Paperback. Condizione: 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. Condizione: 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.

Condizione: 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. Year of publication not stated Please note the Image in this listing is a stock photo and may not match the covers of the actual item,500grams, ISBN:

Condizione: 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:

Condizione: New. pp. 328.

Condizione: New. pp. 328 1st Edition.

Condizione: New. pp. 328.

Paperback. Condizione: Fine.

Hardcover. Condizione: Fair. 184 pages. working copy only worn but internally sound.

Soft Cover. Condizione: Good. 320pp. Illustrated. Text clean and bright, binding tight, scuffing/shelf wear to covers and edges. Proceedings of FMP '97, Wellington, NZ. Consists of 32 papers presented at the conference, pertaining to discrete mathematics and theoretical computer science. The focus is on mathematically-based techniques for design and development of computer systems, especially formal and rigorous methods for developing executable programs from abstract specifications, tool support for formal software development, and practical experience with formal methods. Topics also include software specification and verification, hardware specification and verification, and specification and development of real-time and concurrent systems.

Condizione: New.

Condizione: As New. Unread book in perfect condition.

Condizione: 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:

Condizione: New. In.

Paperback. Condizione: New.

Condizione: New.

Condizione: As New. Unread book in perfect condition.

Taschenbuch. Condizione: 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. Condizione: 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.

Condizione: 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.

Condizione: 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.

Condizione: new. Questo è un articolo print on demand.

Taschenbuch. Condizione: 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.

Condizione: 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 .

Taschenbuch. Condizione: 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 GmbH, Tiergartenstr. 17, 69121 Heidelberg 484 pp. Englisch.