Vendeur : GuthrieBooks, Spring Branch, TX, Etats-Unis
EUR 42,51
Quantité disponible : 1 disponible(s)
Ajouter au panierPaperback. Etat : Very Good. Ex-library paperback in very nice condition with the usual markings and attachments. Except for library markings, interior clean and unmarked. Tight binding.
Vendeur : GreatBookPrices, Columbia, MD, Etats-Unis
EUR 54,87
Quantité disponible : 1 disponible(s)
Ajouter au panierEtat : New.
Vendeur : Lucky's Textbooks, Dallas, TX, Etats-Unis
EUR 53,67
Quantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : New.
Vendeur : Lucky's Textbooks, Dallas, TX, Etats-Unis
EUR 53,67
Quantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : New.
Vendeur : Ria Christie Collections, Uxbridge, Royaume-Uni
EUR 57,56
Quantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : New. In.
Vendeur : Ria Christie Collections, Uxbridge, Royaume-Uni
EUR 57,56
Quantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : New. In.
Vendeur : Chiron Media, Wallingford, Royaume-Uni
EUR 56,11
Quantité disponible : 10 disponible(s)
Ajouter au panierPaperback. Etat : New.
Vendeur : GreatBookPricesUK, Woodford Green, Royaume-Uni
EUR 57,55
Quantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : New.
Vendeur : Books Puddle, New York, NY, Etats-Unis
EUR 82,50
Quantité disponible : 4 disponible(s)
Ajouter au panierEtat : New. pp. 439.
Vendeur : Revaluation Books, Exeter, Royaume-Uni
EUR 81,78
Quantité disponible : 2 disponible(s)
Ajouter au panierPaperback. Etat : Brand New. 1st edition. 438 pages. German language. 9.25x6.25x0.75 inches. In Stock.
Edité par Springer-Verlag New York Inc (C), 2011
ISBN 10 : 364224484X ISBN 13 : 9783642244841
Langue: anglais
Vendeur : Revaluation Books, Exeter, Royaume-Uni
EUR 86,47
Quantité disponible : 2 disponible(s)
Ajouter au panierPaperback. Etat : Brand New. 2011 edition. 744 pages. 9.00x6.00x1.50 inches. In Stock.
Edité par Springer Berlin Heidelberg, 2005
ISBN 10 : 3540254358 ISBN 13 : 9783540254355
Langue: anglais
Vendeur : AHA-BUCH GmbH, Einbeck, Allemagne
EUR 53,49
Quantité disponible : 1 disponible(s)
Ajouter au panierTaschenbuch. Etat : Neu. Druck auf Anfrage Neuware - Printed after ordering - ETAPS 2005 was the eighth instance of the European Joint Conferences on Theory and Practice of Software. ETAPS is an annual federated conference that was established in 1998 by combining a number of existing and new conf- ences. This year it comprised ve conferences (CC, ESOP, FASE, FOSSACS, TACAS), 17 satellite workshops (AVIS, BYTECODE, CEES, CLASE, CMSB, COCV, FAC, FESCA, FINCO, GCW-DSE, GLPL, LDTA, QAPL, SC, SLAP, TGC, UITP), seven invited lectures (not including those that were speci c to the satellite events), and several tutorials. We received over 550 submissions to the ve conferences this year, giving acceptance rates below 30% for each one. Congratulations to all the authors who made it to the nal program! I hope that most of the other authors still found a way of participating in this exciting event and I hope you will continue submitting. The events that comprise ETAPS address various aspects of the system - velopment process, including speci cation, design, implementation, analysis and improvement. The languages, methodologies and tools which support these - tivities are all well within its scope. Di erent blends of theory and practice are represented, with an inclination towards theory with a practical motivation on the one hand and soundly based practice on the other. Many of the issues involved in software design apply to systems in general, including hardware s- tems,andtheemphasisonsoftwareisnotintendedtobeexclusive.
Edité par Springer International Publishing, 2016
ISBN 10 : 3319479571 ISBN 13 : 9783319479576
Langue: anglais
Vendeur : AHA-BUCH GmbH, Einbeck, Allemagne
EUR 53,49
Quantité disponible : 1 disponible(s)
Ajouter au panierTaschenbuch. Etat : Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the refereed proceedings of the 14th Asian Symposium on Programming Languages and Systems, APLAS 2016, held in Hanoi, Vietnam, in November 2016.The papers cover a variety of topics such as semantics, logics, and foundational theory; design of languages type systems, and foundational calculi; domain-specific languages; compilers, interpreters, and abstract machines; program derivation, synthesis and transformation; program analysis, verification, and model-checking; logic, constraint, probabilistic and quantum programming; software security; concurrency and parallelism; tools for programming and implementation.
Edité par Springer-Verlag New York Inc, 2016
ISBN 10 : 3319479571 ISBN 13 : 9783319479576
Langue: anglais
Vendeur : Revaluation Books, Exeter, Royaume-Uni
EUR 82,23
Quantité disponible : 2 disponible(s)
Ajouter au panierPaperback. Etat : Brand New. 484 pages. 9.25x6.10x1.09 inches. In Stock.
Vendeur : preigu, Osnabrück, Allemagne
EUR 50,95
Quantité disponible : 5 disponible(s)
Ajouter au panierTaschenbuch. Etat : Neu. Programming Languages and Systems | 14th European Symposium on Programming, ESOP 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005, Proceedings | Mooly Sagiv | Taschenbuch | Einband - flex.(Paperback) | Englisch | 2005 | Springer | EAN 9783540254355 | Verantwortliche Person für die EU: Springer-Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, productsafety[at]springernature[dot]com | Anbieter: preigu.
Edité par Springer International Publishing, 2016
ISBN 10 : 3319479571 ISBN 13 : 9783319479576
Langue: anglais
Vendeur : preigu, Osnabrück, Allemagne
EUR 50,95
Quantité disponible : 5 disponible(s)
Ajouter au panierTaschenbuch. Etat : Neu. Programming Languages and Systems | 14th Asian Symposium, APLAS 2016, Hanoi, Vietnam, November 21 - 23, 2016, Proceedings | Atsushi Igarashi | Taschenbuch | xvii | Englisch | 2016 | Springer International Publishing | EAN 9783319479576 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
Vendeur : Mispah books, Redhill, SURRE, Royaume-Uni
EUR 105,46
Quantité disponible : 1 disponible(s)
Ajouter au panierPaperback. Etat : Like New. Like New. book.
Vendeur : GreatBookPricesUK, Woodford Green, Royaume-Uni
EUR 161,69
Quantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : As New. Unread book in perfect condition.
Vendeur : Mispah books, Redhill, SURRE, Royaume-Uni
EUR 152,32
Quantité disponible : 1 disponible(s)
Ajouter au panierPaperback. Etat : Like New. Like New. book.
Vendeur : GreatBookPrices, Columbia, MD, Etats-Unis
EUR 183,26
Quantité disponible : 1 disponible(s)
Ajouter au panierEtat : As New. Unread book in perfect condition.
Vendeur : Majestic Books, Hounslow, Royaume-Uni
EUR 85,06
Quantité disponible : 4 disponible(s)
Ajouter au panierEtat : New. Print on Demand pp. 439.
Vendeur : Biblios, Frankfurt am main, HESSE, Allemagne
EUR 84,55
Quantité disponible : 4 disponible(s)
Ajouter au panierEtat : New. PRINT ON DEMAND pp. 439.