Vendeur : Universitätsbuchhandlung Herta Hold GmbH, Berlin, Allemagne
EUR 18
Quantité disponible : 1 disponible(s)
Ajouter au panierviii, 323 p. Hardcover. Versand aus Deutschland / We dispatch from Germany via Air Mail. Einband bestoßen, daher Mängelexemplar gestempelt, sonst sehr guter Zustand. Imperfect copy due to slightly bumped cover, apart from this in very good condition. Stamped. Sprache: Englisch.
Vendeur : GreatBookPrices, Columbia, MD, Etats-Unis
EUR 121,93
Quantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : As New. Unread book in perfect condition.
Vendeur : Ria Christie Collections, Uxbridge, Royaume-Uni
EUR 115,85
Quantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : New. In.
Vendeur : GreatBookPricesUK, Woodford Green, Royaume-Uni
EUR 115,84
Quantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : New.
Vendeur : GreatBookPrices, Columbia, MD, Etats-Unis
EUR 131,25
Quantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : New.
Vendeur : GreatBookPricesUK, Woodford Green, Royaume-Uni
EUR 129,12
Quantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : As New. Unread book in perfect condition.
Vendeur : Books Puddle, New York, NY, Etats-Unis
EUR 148,94
Quantité disponible : 4 disponible(s)
Ajouter au panierEtat : New. pp. 323 Softcover reprint of the original 1st ed. 2018 edition NO-PA16APR2015-KAP.
Vendeur : Books Puddle, New York, NY, Etats-Unis
EUR 149,74
Quantité disponible : 4 disponible(s)
Ajouter au panierEtat : New. 1st ed. 2018 edition NO-PA16APR2015-KAP.
Vendeur : preigu, Osnabrück, Allemagne
EUR 95,25
Quantité disponible : 5 disponible(s)
Ajouter au panierTaschenbuch. Etat : Neu. Principled Software Development | Essays Dedicated to Arnd Poetzsch-Heffter on the Occasion of his 60th Birthday | Peter Müller (u. a.) | Taschenbuch | viii | Englisch | 2018 | Springer | EAN 9783030074425 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
Langue: anglais
Edité par Springer International Publishing, Springer International Publishing, 2018
ISBN 10 : 3030074420 ISBN 13 : 9783030074425
Vendeur : AHA-BUCH GmbH, Einbeck, Allemagne
EUR 106,99
Quantité disponible : 1 disponible(s)
Ajouter au panierTaschenbuch. Etat : Neu. Druck auf Anfrage Neuware - Printed after ordering - This book presents a collection of research papers that address the challenge of how to develop software in a principled way that, in particular, enables reasoning. The individual papers approach this challenge from various perspectives including programming languages, program verification, and the systematic variation of software. Topics covered include programming abstractions for concurrent and distributed software, specification and verification techniques for imperative programs, and development techniques for software product lines. With this book the editors and authors wish to acknowledge - on the occasion of his 60th birthday - the work of Arnd Poetzsch-Heffter, who has made major contributions to software technology throughout his career. It features articles on Arnd's broad research interests including, among others, the implementation of programming languages, formal semantics, specification and verification of object-oriented and concurrent programs, programming language design, distributed systems, software modeling, and software product lines. All contributing authors are leading experts in programming languages and software engineering who have collaborated with Arnd in the course of his career. Overall, the book offers a collection of high-quality articles, presenting original research results, major case studies, and inspiring visions. Some of the work included here was presented at a symposium in honor of Arnd Poetzsch-Heffter, held in Kaiserslautern, Germany, in November 2018.
Langue: anglais
Edité par Springer International Publishing, 2018
ISBN 10 : 3319980467 ISBN 13 : 9783319980461
Vendeur : AHA-BUCH GmbH, Einbeck, Allemagne
EUR 106,99
Quantité disponible : 1 disponible(s)
Ajouter au panierBuch. Etat : Neu. Druck auf Anfrage Neuware - Printed after ordering - This book presents a collection of research papers that address the challenge of how to develop software in a principled way that, in particular, enables reasoning. The individual papers approach this challenge from various perspectives including programming languages, program verification, and the systematic variation of software. Topics covered include programming abstractions for concurrent and distributed software, specification and verification techniques for imperative programs, and development techniques for software product lines.With this book the editors and authors wish to acknowledge - on the occasion of his 60th birthday - the work of Arnd Poetzsch-Heffter, who has made major contributions to software technology throughout his career. It features articles on Arnd's broad research interests including, among others, the implementation of programming languages, formal semantics, specification and verification of object-oriented and concurrent programs, programming language design, distributed systems, software modeling, and software product lines. All contributing authors are leading experts in programming languages and software engineering who have collaborated with Arnd in the course of his career.Overall, the book offers a collection of high-quality articles, presenting original research results, major case studies, and inspiring visions. Some of the work included here was presented at a symposium in honor of Arnd Poetzsch-Heffter, held in Kaiserslautern, Germany, in November 2018.
Vendeur : Mispah books, Redhill, SURRE, Royaume-Uni
EUR 165,02
Quantité disponible : 1 disponible(s)
Ajouter au panierPaperback. Etat : New. NEW. SHIPS FROM MULTIPLE LOCATIONS. book.
Vendeur : Mispah books, Redhill, SURRE, Royaume-Uni
EUR 173,39
Quantité disponible : 1 disponible(s)
Ajouter au panierHardcover. Etat : New. New. book.
Vendeur : Majestic Books, Hounslow, Royaume-Uni
EUR 155,48
Quantité disponible : 4 disponible(s)
Ajouter au panierEtat : New. Print on Demand pp. 323.
Vendeur : Majestic Books, Hounslow, Royaume-Uni
EUR 156,48
Quantité disponible : 4 disponible(s)
Ajouter au panierEtat : New. Print on Demand.
Vendeur : Biblios, Frankfurt am main, HESSE, Allemagne
EUR 154,31
Quantité disponible : 4 disponible(s)
Ajouter au panierEtat : New. PRINT ON DEMAND.
Vendeur : Biblios, Frankfurt am main, HESSE, Allemagne
EUR 154,49
Quantité disponible : 4 disponible(s)
Ajouter au panierEtat : New. PRINT ON DEMAND pp. 323.