Seller: Phatpocket Limited, Waltham Abbey, HERTS, United Kingdom
Condition: Good. Your purchase helps support Sri Lankan Children's Charity 'The Rainbow Centre'. Ex-library, so some stamps and wear, and may have sticker on cover, but in good overall condition. Our donations to The Rainbow Centre have helped provide an education and a safe haven to hundreds of children who live in appalling conditions.
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
£ 50.36
Convert currencyQuantity: Over 20 available
Add to basketCondition: New.
Seller: Chiron Media, Wallingford, United Kingdom
Paperback. Condition: New.
Seller: Ria Christie Collections, Uxbridge, United Kingdom
£ 50.82
Convert currencyQuantity: Over 20 available
Add to basketCondition: New. In.
Seller: Ria Christie Collections, Uxbridge, United Kingdom
£ 50.82
Convert currencyQuantity: Over 20 available
Add to basketCondition: New. In.
Published by Springer Berlin Heidelberg, 2005
ISBN 10: 3540254358 ISBN 13: 9783540254355
Language: English
Seller: AHA-BUCH GmbH, Einbeck, Germany
£ 46.30
Convert currencyQuantity: 1 available
Add to basketTaschenbuch. Condition: 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.
Published by Springer International Publishing, 2016
ISBN 10: 3319479571 ISBN 13: 9783319479576
Language: English
Seller: AHA-BUCH GmbH, Einbeck, Germany
£ 46.30
Convert currencyQuantity: 1 available
Add to basketTaschenbuch. Condition: 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.
Seller: GreatBookPrices, Columbia, MD, U.S.A.
£ 46.70
Convert currencyQuantity: Over 20 available
Add to basketCondition: New.
Seller: California Books, Miami, FL, U.S.A.
£ 56.34
Convert currencyQuantity: Over 20 available
Add to basketCondition: New.
Seller: Revaluation Books, Exeter, United Kingdom
Paperback. Condition: Brand New. 1st edition. 438 pages. German language. 9.25x6.25x0.75 inches. In Stock.
Published by Springer-Verlag New York Inc, 2016
ISBN 10: 3319479571 ISBN 13: 9783319479576
Language: English
Seller: Revaluation Books, Exeter, United Kingdom
Paperback. Condition: Brand New. 484 pages. 9.25x6.10x1.09 inches. In Stock.
Published by Springer-Verlag New York Inc (C), 2011
ISBN 10: 364224484X ISBN 13: 9783642244841
Language: English
Seller: Revaluation Books, Exeter, United Kingdom
Paperback. Condition: Brand New. 2011 edition. 744 pages. 9.00x6.00x1.50 inches. In Stock.
Seller: Books Puddle, New York, NY, U.S.A.
£ 74.41
Convert currencyQuantity: 4 available
Add to basketCondition: New. pp. 439.
Seller: GuthrieBooks, Spring Branch, TX, U.S.A.
£ 36.20
Convert currencyQuantity: 1 available
Add to basketPaperback. Condition: 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.
Seller: Mispah books, Redhill, SURRE, United Kingdom
Paperback. Condition: Like New. Like New. book.
Seller: Lucky's Textbooks, Dallas, TX, U.S.A.
£ 45.68
Convert currencyQuantity: Over 20 available
Add to basketCondition: New.
Seller: Lucky's Textbooks, Dallas, TX, U.S.A.
£ 45.68
Convert currencyQuantity: Over 20 available
Add to basketCondition: New.
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
£ 133.99
Convert currencyQuantity: Over 20 available
Add to basketCondition: As New. Unread book in perfect condition.
Seller: Mispah books, Redhill, SURRE, United Kingdom
Paperback. Condition: Like New. Like New. book.
Seller: GreatBookPrices, Columbia, MD, U.S.A.
£ 157.56
Convert currencyQuantity: Over 20 available
Add to basketCondition: As New. Unread book in perfect condition.
Seller: Majestic Books, Hounslow, United Kingdom
Condition: New. Print on Demand pp. 439.
Seller: Biblios, Frankfurt am main, HESSE, Germany
£ 78.46
Convert currencyQuantity: 4 available
Add to basketCondition: New. PRINT ON DEMAND pp. 439.