EUR 3,14
Quantità: 1 disponibili
Aggiungi al carrelloHardcover. Condizione: Très bon. Olivier Nadel; Vincent Desplanche (illustratore). 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.
EUR 3,14
Quantità: 1 disponibili
Aggiungi al carrelloHardcover. Condizione: Bon. Olivier Nadel; Vincent Desplanche (illustratore). 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.
EUR 3,14
Quantità: 1 disponibili
Aggiungi al carrelloHardcover. Condizione: Très bon. Olivier Nadel; Vincent Desplanche (illustratore). 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.
EUR 9,00
Quantità: 1 disponibili
Aggiungi al carrelloCondizione: As New. Olivier Nadel; Vincent Desplanche (illustratore). 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.
EUR 6,60
Quantità: 1 disponibili
Aggiungi al carrellobroché Couverture Illustrée. Condizione: État Moyen.
Data di pubblicazione: 1937
Da: Ammareal, Morangis, Francia
EUR 3,14
Quantità: 1 disponibili
Aggiungi al carrelloCondizione: 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.
Editore: LIBRAIRIE LAROUSSE, 1966
ISBN 10: 9200863353 ISBN 13: 9789200863356
Da: LIBRERIACB, Pamplona, NA, Spagna
EUR 7,49
Quantità: 1 disponibili
Aggiungi al carrelloRústica (Tapa blanda). Condizione: Bien. Condizione sovraccoperta: 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.
Editore: LIBRAIRIE LAROUSSE, 1937
ISBN 10: 9200826105 ISBN 13: 9789200826108
Da: LIBRERIACB, Pamplona, NA, Spagna
EUR 7,49
Quantità: 1 disponibili
Aggiungi al carrelloRústica (Tapa blanda). Condizione: Bien. Condizione sovraccoperta: 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.
Da: GreatBookPrices, Columbia, MD, U.S.A.
EUR 57,15
Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
Da: California Books, Miami, FL, U.S.A.
EUR 59,46
Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
Lingua: Inglese
Editore: Springer Verlag London, London, 2000
ISBN 10: 1852333537 ISBN 13: 9781852333539
Da: PsychoBabel & Skoob Books, Didcot, Regno Unito
EUR 46,40
Quantità: 1 disponibili
Aggiungi al carrelloPaperback. Condizione: 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.
Da: GreatBookPrices, Columbia, MD, U.S.A.
EUR 59,00
Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: As New. Unread book in perfect condition.
Da: GreatBookPricesUK, Woodford Green, Regno Unito
EUR 66,03
Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: As New. Unread book in perfect condition.
Da: GreatBookPricesUK, Woodford Green, Regno Unito
EUR 68,06
Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
Lingua: Inglese
Editore: Springer-Verlag New York Inc, 2010
ISBN 10: 3642118100 ISBN 13: 9783642118104
Da: Revaluation Books, Exeter, Regno Unito
EUR 80,00
Quantità: 2 disponibili
Aggiungi al carrelloPaperback. Condizione: Brand New. 1st edition. 416 pages. 9.25x6.25x1.00 inches. In Stock.
Da: Ria Christie Collections, Uxbridge, Regno Unito
EUR 103,52
Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New. In.
Da: Chiron Media, Wallingford, Regno Unito
EUR 101,81
Quantità: 10 disponibili
Aggiungi al carrelloPF. Condizione: New.
Lingua: Inglese
Editore: Springer, Springer Spektrum, 2010
ISBN 10: 3642118100 ISBN 13: 9783642118104
Da: AHA-BUCH GmbH, Einbeck, Germania
EUR 53,49
Quantità: 1 disponibili
Aggiungi al carrelloTaschenbuch. Condizione: 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.
Da: preigu, Osnabrück, Germania
EUR 50,25
Quantità: 5 disponibili
Aggiungi al carrelloTaschenbuch. Condizione: 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.
Da: Ria Christie Collections, Uxbridge, Regno Unito
EUR 114,38
Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New. In.
Da: Almacen de los Libros Olvidados, Barakaldo, BI, Spagna
EUR 77,00
Quantità: 1 disponibili
Aggiungi al carrellotapa blanda. Condizione: 2ª Mano - Bueno. Condizione sovraccoperta: 2ª Mano. Springer Verlag. 2000. Idioma: Inglés. sellos. Libro.
Da: Revaluation Books, Exeter, Regno Unito
EUR 134,44
Quantità: 2 disponibili
Aggiungi al carrelloPaperback. Condizione: Brand New. 282 pages. 9.25x6.00x0.75 inches. In Stock.
Da: Buchpark, Trebbin, Germania
EUR 40,67
Quantità: 1 disponibili
Aggiungi al carrelloCondizione: 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.
Da: Mispah books, Redhill, SURRE, Regno Unito
EUR 130,86
Quantità: 1 disponibili
Aggiungi al carrelloPaperback. Condizione: Like New. Like New. book.
EUR 95,70
Quantità: 5 disponibili
Aggiungi al carrelloTaschenbuch. Condizione: 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.
Lingua: Inglese
Editore: Springer London, Springer London, 2000
ISBN 10: 1852333537 ISBN 13: 9781852333539
Da: AHA-BUCH GmbH, Einbeck, Germania
EUR 114,36
Quantità: 1 disponibili
Aggiungi al carrelloTaschenbuch. Condizione: 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.
EUR 5,59
Quantità: 1 disponibili
Aggiungi al carrelloPaperback. Condizione: Fair. 104p. French.
EUR 7,50
Quantità: 1 disponibili
Aggiungi al carrelloCondizione: 2. PHOTOS SUR DEMANDE.
Editore: FANTASMAGORIE. Revue du film d'animation, n° 5, Grenoble, 1975. In-8, plaquette agrafée., 1975
EUR 20,00
Quantità: 1 disponibili
Aggiungi al carrello[5789].
Editore: Springer,, 2001
Da: Antiquariat Knacke, Berlin, Germania
EUR 90,00
Quantità: 1 disponibili
Aggiungi al carrelloSprache: Englisch OriginalKarton. Noch eingeschweißtes Exemplar!