US$ 3.75
Quantity: 1 available
Add to basketHardcover. Condition: Très bon. Olivier Nadel; Vincent Desplanche (illustrator). Edition 2010. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Very good. Edition 2010. Ammareal gives back up to 15% of this item's net price to charity organizations.
US$ 3.75
Quantity: 1 available
Add to basketHardcover. Condition: Bon. Olivier Nadel; Vincent Desplanche (illustrator). Ancien livre de bibliothèque avec équipements. Edition 2010. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Good. Former library book. Edition 2010. Ammareal gives back up to 15% of this item's net price to charity organizations.
US$ 3.75
Quantity: 1 available
Add to basketHardcover. Condition: Très bon. Olivier Nadel; Vincent Desplanche (illustrator). Edition 2010. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Very good. Edition 2010. Ammareal gives back up to 15% of this item's net price to charity organizations.
Condition: As New. Olivier Nadel; Vincent Desplanche (illustrator). Comme neuf etat remarquable. 23x29x1cm. 2010. cartonné avec illustration. 31 pages. le prix de l'expédition en France comprends un sticker suivi France offert par la librairie Intégrité des textes ni surlignés ni commentaires en marges Livre d'occasion. As New.
broché Couverture Illustrée. Condition: État Moyen.
Publication Date: 1937
Seller: Ammareal, Morangis, France
US$ 3.75
Quantity: 1 available
Add to basketCondition: Bon. Ancien livre de bibliothèque. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Good. Former library book. Ammareal gives back up to 15% of this item's net price to charity organizations.
Published by LIBRAIRIE LAROUSSE, 1966
ISBN 10: 9200863353 ISBN 13: 9789200863356
Seller: LIBRERIACB, Pamplona, NA, Spain
Rústica (Tapa blanda). Condition: Bien. Dust Jacket Condition: Sin cubierta. Materia: Literatura. Tipo de artículo: Libro. ISBN: Sin ISBN. Idioma: Francés. Ciudad: París. Características físicas: Marcas en el canto inferior y firma borrosa en la última página. Interior en buen estado. Estado: Bien. Ubicación: Arriba9-130. Le roman de Renard. Extraits, editado por Jean Frappier y Marc Boyon, recoge una selección representativa del célebre ciclo medieval de relatos protagonizados por el astuto zorro Renard. Esta obra es fundamental en el estudio de la literatura satírica y animalística del medievo europeo, ofreciendo una ventana privilegiada a la mentalidad popular, la crítica social y las estructuras narrativas del Antiguo Régimen. Ideal para filólogos, medievalistas y estudiosos de la literatura comparada. LIBRO.
Published by LIBRAIRIE LAROUSSE, 1937
ISBN 10: 9200826105 ISBN 13: 9789200826108
Seller: LIBRERIACB, Pamplona, NA, Spain
Rústica (Tapa blanda). Condition: Bien. Dust Jacket Condition: Sin cubierta. Materia: Poesía francesa. Características físicas: Avec une noticie bliograhique, une notice historique et littéraire, des notes explicatives, des Jugements un Questionnaire et des Sujets de devoirs. Nombre y fecha borroso en la anteportada. Ubicación: R17B2-118. LIBRO.
Condition: New.
Language: English
Published by Springer Verlag London, London, 2000
ISBN 10: 1852333537 ISBN 13: 9781852333539
Seller: PsychoBabel & Skoob Books, Didcot, United Kingdom
US$ 53.46
Quantity: 1 available
Add to basketPaperback. Condition: Very Good. Paperback in very good condition. Covers are a little scuffed. Edges, corners and spine ends are slightly bumped and rubbed. Binding is sound and pages are clear. LW. Used.
Condition: As New. Unread book in perfect condition.
Seller: BargainBookStores, Grand Rapids, MI, U.S.A.
Paperback or Softback. Condition: New. Abstract State Machines, Alloy, B and Z. Book.
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
US$ 77.75
Quantity: Over 20 available
Add to basketCondition: As New. Unread book in perfect condition.
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
US$ 78.99
Quantity: Over 20 available
Add to basketCondition: New.
Language: English
Published by Springer-Verlag New York Inc, 2010
ISBN 10: 3642118100 ISBN 13: 9783642118104
Seller: Revaluation Books, Exeter, United Kingdom
US$ 94.20
Quantity: 2 available
Add to basketPaperback. Condition: Brand New. 1st edition. 416 pages. 9.25x6.25x1.00 inches. In Stock.
Seller: Ria Christie Collections, Uxbridge, United Kingdom
US$ 119.29
Quantity: Over 20 available
Add to basketCondition: New. In.
Seller: Chiron Media, Wallingford, United Kingdom
US$ 117.32
Quantity: 10 available
Add to basketPF. Condition: New.
Language: English
Published by Springer, Springer Spektrum, 2010
ISBN 10: 3642118100 ISBN 13: 9783642118104
Seller: AHA-BUCH GmbH, Einbeck, Germany
Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - ABZ 2010 was held in the beautiful natural setting of Orford in the Eastern Townships of Qu ebec,during February22 25,2010,midwaythroughthe Ca- dian winter and the 21st Winter Olympics, bringing participants from all over the world to brave this rigorous climate. ABZcoversrecentadvancesinfourequallyrigorousmethodsforsoftwareand hardware development: Abstract State Machines (ASM), Alloy, B and Z. They shareacommonconceptualframework,centeredaroundthe notionsofstateand operation,andpromotemathematicalprecisioninthemodeling,veri cation,and construction of highly dependable systems. These methods have continuously matured over the past decade, reaching a stage where they have been successfully integrated into industrial practice in various areas like trains, automobiles, aerospace, smart cards, virtual machines, and business processes. Their development is in uenced by both research and practice, which mutually nurture each other. ABZ has both a long and a short history. With the aim of stimulating cro- fertilization between these four methods, it has merged their individual conf- ence and workshopseries which started in 1986 for Z, 1994 for ASM, 1996 for B, and 2006 for Alloy. The rst ABZ conference was held in London in 2008; ABZ 2010 is the second edition. The conference remains organized as four separate Program Committees.
Taschenbuch. Condition: Neu. Abstract State Machines, Alloy, B and Z | Second International Conference, ABZ 2010, Orford, QC, Canada, February 22-25, 2010, Proceedings | Marc Frappier (u. a.) | Taschenbuch | xiv | Englisch | 2010 | Springer | EAN 9783642118104 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
Seller: Ria Christie Collections, Uxbridge, United Kingdom
US$ 131.80
Quantity: Over 20 available
Add to basketCondition: New. In.
Condition: Sehr gut. Zustand: Sehr gut | Seiten: 432 | Sprache: Englisch | Produktart: Bücher | ABZ 2010 was held in the beautiful natural setting of Orford in the Eastern Townships of Qü ebec,during February22¿25,2010,midwaythroughthe Ca- dian winter and the 21st Winter Olympics, bringing participants from all over the world to brave this rigorous climate. ABZcoversrecentadvancesinfourequallyrigorousmethodsforsoftwareand hardware development: Abstract State Machines (ASM), Alloy, B and Z. They shareacommonconceptualframework,centeredaroundthe notionsofstateand operation,andpromotemathematicalprecisioninthemodeling,veri?cation,and construction of highly dependable systems. These methods have continuously matured over the past decade, reaching a stage where they have been successfully integrated into industrial practice in various areas like trains, automobiles, aerospace, smart cards, virtual machines, and business processes. Their development is in?uenced by both research and practice, which mutually nurture each other. ABZ has both a long and a short history. With the aim of stimulating cro- fertilization between these four methods, it has merged their individual conf- ence and workshopseries which started in 1986 for Z, 1994 for ASM, 1996 for B, and 2006 for Alloy. The ?rst ABZ conference was held in London in 2008; ABZ 2010 is the second edition. The conference remains organized as four separate Program Committees.
Seller: Almacen de los Libros Olvidados, Barakaldo, BI, Spain
tapa blanda. Condition: 2ª Mano - Bueno. Dust Jacket Condition: 2ª Mano. Springer Verlag. 2000. Idioma: Inglés. sellos. Libro.
Seller: Revaluation Books, Exeter, United Kingdom
US$ 154.92
Quantity: 2 available
Add to basketPaperback. Condition: Brand New. 282 pages. 9.25x6.00x0.75 inches. In Stock.
Seller: Mispah books, Redhill, SURRE, United Kingdom
US$ 150.79
Quantity: 1 available
Add to basketPaperback. Condition: Like New. Like New. book.
Taschenbuch. Condition: Neu. Software Specification Methods | An Overview Using a Case Study | Henri Habrias (u. a.) | Taschenbuch | xxiv | Englisch | 2000 | Springer London | EAN 9781852333539 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
Language: English
Published by Springer London, Springer London, 2000
ISBN 10: 1852333537 ISBN 13: 9781852333539
Seller: AHA-BUCH GmbH, Einbeck, Germany
Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - Objectives of this Book This book is an introduction to a set of software specification methods. Its tar geted audience are readers who do not wish to read pages of definitions in order to understand the basics of a method. The same case study is used to introduce each method, following a rigorously uniform presentation format. Special care has been devoted to ensure that specifications do not deviate from the case study text. As much as the method allows, what is specified is what appears in the case study text. The benefits are two-fold. First, the reader can easily switch from one method to another, using his knowledge of the case study as a leverage to understand a new method. Second, it becomes easier to compare methods, because the same behavior is specified in each case. Each method presentation follows the same pattern. The concepts are pro gressively introduced when they are needed. To illustrate the specification pro cess, questions that the specifier should raise during the analysis of the case study are stated. Answers are provided as if they were given by an imaginary client. The question/answer process guides the derivation of the specification. Interestingly, the questions raised depend on the method, which is illustrative of the differences between them.
Paperback. Condition: Fair. 104p. French.
Seller: Hubert Colau, LA BAZOCHE GOUET, France
Condition: 2. PHOTOS SUR DEMANDE.