frappier marc (20 Ergebnisse)

Hardcover. Zustand: 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.

Hardcover. Zustand: 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.

Hardcover. Zustand: 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.

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

Rústica (Tapa blanda). Zustand: Bien. Zustand des Schutzumschlags: 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.

Rústica (Tapa blanda). Zustand: Bien. Zustand des Schutzumschlags: 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.

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

Paperback. Zustand: Brand New. 1st edition. 416 pages. 9.25x6.25x1.00 inches. In Stock.

Zustand: New. In.

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

Zustand: New. In.

Paperback. Zustand: Brand New. 282 pages. 9.25x6.00x0.75 inches. In Stock.

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

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

Taschenbuch. Zustand: 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. Zustand: Fair. 104p. French.

Zustand: 2. PHOTOS SUR DEMANDE.

[5789].

Sprache: Englisch OriginalKarton. Noch eingeschweißtes Exemplar!