Produktart
Zustand
Einband
Weitere Eigenschaften
Gratisversand
Land des Verkäufers
Verkäuferbewertung
Verlag: Futuropolis, 2014
ISBN 10: 2754811168ISBN 13: 9782754811163
Anbieter: Ammareal, Morangis, Frankreich
Buch
Hardcover. Zustand: Très bon. Ancien livre de bibliothèque. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Very good. Former library book. Ammareal gives back up to 15% of this item's net price to charity organizations.
Verlag: Futuropolis, 2014
ISBN 10: 2754811168ISBN 13: 9782754811163
Anbieter: Ammareal, Morangis, Frankreich
Buch
Hardcover. Zustand: Très bon. Ancien livre de bibliothèque. Légères traces d'usure sur la couverture. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Very good. Former library book. Slight signs of wear on the cover. Ammareal gives back up to 15% of this item's net price to charity organizations.
Verlag: Futuropolis, 2014
ISBN 10: 2754811168ISBN 13: 9782754811163
Anbieter: Ammareal, Morangis, Frankreich
Buch
Hardcover. Zustand: Très bon. Ancien livre de bibliothèque. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Very good. Former library book. Ammareal gives back up to 15% of this item's net price to charity organizations.
Verlag: Springer, 2017
ISBN 10: 3319428985ISBN 13: 9783319428987
Anbieter: medimops, Berlin, Deutschland
Buch
Zustand: very good. Gut/Very good: Buch bzw. Schutzumschlag mit wenigen Gebrauchsspuren an Einband, Schutzumschlag oder Seiten. / Describes a book or dust jacket that does show some signs of wear on either the binding, dust jacket or pages.
Verlag: Springer International, Berlin, Germany, 1995
ISBN 10: 3540602992ISBN 13: 9783540602996
Anbieter: PsychoBabel & Skoob Books, Didcot, Oxfordshire, OXON, Vereinigtes Königreich
Buch
paperback. Zustand: Good. Zustand des Schutzumschlags: No Dust Jacket. Lecture Notes in Computer Science 976. Few superficial marks on covers and page block; light edge-wear; imprint from previous label on rear cover, and previous owner's name on label on front cover. Content is clear. Used.
Verlag: FUTUROPOLIS, 2014
ISBN 10: 2754811168ISBN 13: 9782754811163
Anbieter: Gallix, Gif sur Yvette, Frankreich
Buch
Zustand: Neuf.
Verlag: Springer-Verlag Berlin and Heidelberg GmbH & Co. K, 1987
ISBN 10: 3540183418ISBN 13: 9783540183419
Anbieter: Ammareal, Morangis, Frankreich
Buch
Softcover. Zustand: Très bon. Ancien livre de bibliothèque. Salissures sur la tranche. Edition 1987. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Very good. Former library book. Stains on the edge. Edition 1987. Ammareal gives back up to 15% of this item's net price to charity organizations.
Verlag: Springer, 2017
ISBN 10: 3319428985ISBN 13: 9783319428987
Anbieter: SpringBooks, Berlin, Deutschland
Buch Erstausgabe
Hardcover. Zustand: As New. 1. Auflage. Like new. Immediately dispatched from Germany.
Verlag: Springer Berlin Heidelberg, 2009
ISBN 10: 3642034284ISBN 13: 9783642034282
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Buch
Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the thoroughly refereed post-conference proceedings of the 19th International Workshop on Recent Trends in Algebraic Development Techniques, WADT 2008, held in Pisa, Italy, on June 13-16, 2008. The 18 revised full papers presented together with 3 invited talks were carefully reviewed and selected from 33 presentations at the workshop. The papers focus on the algebraic approaches to the specification and development of systems, and address topics such as formal methods for system development, specification languages and methods, systems and techniques for reasoning about specifications, specification development systems, methods and techniques for concurrent, distributed and mobile systems, and algebraic and co-algebraic foundations.
Verlag: Springer Berlin Heidelberg, 2007
ISBN 10: 3540753338ISBN 13: 9783540753339
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Buch
Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the thoroughly refereed post-proceedings of the Second Symposium on Trustworthy Global Computing, TGC 2006, held in Lucca, Italy, in November 2006. The 14 revised papers presented together with two keynote lectures were carefully reviewed and selected from 32 submissions. The book starts off with activity reviews of four FP6 programmes of the European Union: Aeolus, Mobius, Sensoria, and Catnets.
Verlag: Springer Berlin Heidelberg, 1987
ISBN 10: 3540183418ISBN 13: 9783540183419
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Buch
Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - The collection of papers published in this book was initially presented at the Workshop on Software Factories and Ada, held on Capri, May 26-30, 1986. The subject of the book is software development environments. Software development is treated from three viewpoints: methodologies, language issues and mechanisms. Of particular interest are the discussions of automation of the development process and the formalization of software development specifications. Several new methodologies are described, many of which are available on the commercial market. New is in particular the formalization of the design and development process. Interesting ideas are presented on planning the design process and on supporting project management by formal tools. The reader will find a variety of interesting methodologies and mechanisms that are operational. The book is suitable for readers interested in knowing in which direction programming environment research is moving.
Verlag: Springer International Publishing, 2017
ISBN 10: 3319428985ISBN 13: 9783319428987
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Buch
Buch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book presents in their basic form the most important models of computation, their basic programming paradigms, and their mathematical descriptions, both concrete and abstract. Each model is accompanied by relevant formal techniques for reasoning on it and for proving some properties. After preliminary chapters that introduce the notions of structure and meaning, semantic methods, inference rules, and logic programming, the authors arrange their chapters into parts on IMP, a simple imperative language; HOFL, a higher-order functional language; concurrent, nondeterministic and interactive models; and probabilistic/stochastic models.The authors have class-tested the book content over many years, and it will be valuable for graduate and advanced undergraduate students of theoretical computer science and distributed systems, and for researchers in this domain. Each chapter of the book concludes with a list of exercises addressing the key techniques introduced, solutions to selected exercises are offered at the end of the book.
Verlag: Springer International Publishing, 2018
ISBN 10: 3319826891ISBN 13: 9783319826899
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Buch
Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book presents in their basic form the most important models of computation, their basic programming paradigms, and their mathematical descriptions, both concrete and abstract. Each model is accompanied by relevant formal techniques for reasoning on it and for proving some properties. After preliminary chapters that introduce the notions of structure and meaning, semantic methods, inference rules, and logic programming, the authors arrange their chapters into parts on IMP, a simple imperative language; HOFL, a higher-order functional language; concurrent, nondeterministic and interactive models; and probabilistic/stochastic models.The authors have class-tested the book content over many years, and it will be valuable for graduate and advanced undergraduate students of theoretical computer science and distributed systems, and for researchers in this domain. Each chapter of the book concludes with a list of exercises addressing the key techniques introduced, solutions to selected exercises are offered at the end of the book.
Verlag: Springer Berlin Heidelberg, 2000
ISBN 10: 3540677151ISBN 13: 9783540677154
Anbieter: moluna, Greven, Deutschland
Buch
Zustand: New. This book constitutes the refereed proceedings of the 27th International Colloquium on Automata, Languages and Programming, ICALP 2000, held in Geneva, Switzerland in July 2000. The 69 revised full papers presented together with nine invited contributions w.