Condition: Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service.
Condition: New. Brand New Original US Edition. Customer service! Satisfaction Guaranteed.
Seller: GreatBookPrices, Columbia, MD, U.S.A.
Condition: New.
Condition: As New. Unread book in perfect condition.
Seller: GreatBookPrices, Columbia, MD, U.S.A.
Condition: As New. Unread book in perfect condition.
Seller: GreatBookPrices, Columbia, MD, U.S.A.
Condition: As New. Unread book in perfect condition.
Seller: Ria Christie Collections, Uxbridge, United Kingdom
US$ 70.24
Quantity: Over 20 available
Add to basketCondition: New. In.
Seller: Ria Christie Collections, Uxbridge, United Kingdom
US$ 70.24
Quantity: Over 20 available
Add to basketCondition: New. In.
Seller: Ria Christie Collections, Uxbridge, United Kingdom
US$ 70.24
Quantity: Over 20 available
Add to basketCondition: New. In.
Seller: Chiron Media, Wallingford, United Kingdom
US$ 66.54
Quantity: 10 available
Add to basketPF. Condition: New.
Seller: Chiron Media, Wallingford, United Kingdom
US$ 66.75
Quantity: 10 available
Add to basketPF. Condition: New.
Seller: GreatBookPrices, Columbia, MD, U.S.A.
Condition: New.
Language: English
Published by Springer Berlin Heidelberg, 2008
ISBN 10: 3540359044 ISBN 13: 9783540359043
Seller: Studibuch, Stuttgart, Germany
paperback. Condition: Befriedigend. 756 Seiten; 9783540359043.4 Gewicht in Gramm: 2.
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
US$ 70.20
Quantity: Over 20 available
Add to basketCondition: New.
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
US$ 70.23
Quantity: Over 20 available
Add to basketCondition: New.
Condition: New.
Seller: Books Puddle, New York, NY, U.S.A.
Condition: New. pp. 540.
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
US$ 77.74
Quantity: Over 20 available
Add to basketCondition: As New. Unread book in perfect condition.
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
US$ 77.87
Quantity: Over 20 available
Add to basketCondition: As New. Unread book in perfect condition.
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
US$ 78.29
Quantity: Over 20 available
Add to basketCondition: As New. Unread book in perfect condition.
Seller: Majestic Books, Hounslow, United Kingdom
Condition: New. pp. 540 49:B&W 6.14 x 9.21 in or 234 x 156 mm (Royal 8vo) Perfect Bound on White w/Gloss Lam.
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
US$ 79.72
Quantity: Over 20 available
Add to basketCondition: New.
Seller: Biblios, Frankfurt am main, HESSE, Germany
Condition: New. pp. 540.
Language: English
Published by Springer-Verlag New York Inc, 2010
ISBN 10: 3642152392 ISBN 13: 9783642152399
Seller: Revaluation Books, Exeter, United Kingdom
US$ 95.55
Quantity: 2 available
Add to basketHardcover. Condition: Brand New. 385 pages. 9.25x6.25x1.00 inches. In Stock.
Language: English
Published by Springer-Verlag New York Inc, 2012
ISBN 10: 3642300642 ISBN 13: 9783642300646
Seller: Revaluation Books, Exeter, United Kingdom
US$ 114.40
Quantity: 2 available
Add to basketPaperback. Condition: Brand New. 2012 edition. 241 pages. 9.00x6.00x0.50 inches. In Stock.
kart., Broschiert. Condition: Sehr gut. 838 S. Einbd. leicht berieben, ansonsten sehr gut erhalten. ISBN: 9783642325885 Sprache: Englisch Gewicht in Gramm: 1280.
Language: English
Published by Springer Berlin Heidelberg, 2012
ISBN 10: 3642300642 ISBN 13: 9783642300646
Seller: AHA-BUCH GmbH, Einbeck, Germany
Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the refereed proceedings of the 6th International Symposium on Trustworthy Global Computing, TGC 2011, held in Aachen, Germany, in June 2011. The 14 revised full papers presented were carefully reviewed and selected from 25 submissions. The papers are organized in topical sections on modeling formalisms for concurrent systems; model checking and quantitative extensions thereof; semantics and analysis of modern programming languages; probabilistic models for concurrency; and testing and run-time verification.
Seller: Ria Christie Collections, Uxbridge, United Kingdom
US$ 124.04
Quantity: Over 20 available
Add to basketCondition: New. In.
Language: English
Published by Springer Berlin Heidelberg, 2014
ISBN 10: 3642423116 ISBN 13: 9783642423116
Seller: AHA-BUCH GmbH, Einbeck, Germany
Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - Thisvolumecontainstheinvitedandregularpaperspresentedat TCS 2010,the 6thIFIP International Conference on Theoretical Computer Science, organised by IFIP Tech- cal Committee 1 (Foundations of Computer Science) and IFIP WG 2.2 (Formal - scriptions of Programming Concepts) in association with SIGACT and EATCS. TCS 2010 was part of the World Computer Congress held in Brisbane, Australia, during September 20 23, 2010 ( ). TCS 2010 is composed of two main areas: (A) Algorithms, Complexity and Models of Computation, and (B) Logic, Semantics, Speci cation and Veri cation. The selection process led to the acceptance of 23 papers out of 39 submissions, eachofwhichwasreviewedbythreeProgrammeCommitteemembers.TheProgramme Committee discussion was held electronically using Easychair. The invited speakers at TCS 2010 are: Rob van Glabbeek (NICTA, Australia) Bart Jacobs (Nijmegen, The Netherlands) Catuscia Palamidessi (INRIA and LIX, Paris, France) Sabina Rossi (Venice, Italy) James Harland (Australia) and Barry Jay (Australia) acted as TCS 2010 Chairs. We take this occasion to thank the members of the Programme Committees and the external reviewers for the professional and timely work; the conference Chairs for their support; the invited speakers for their scholarly contribution; and of course the authors for submitting their work to TCS 2010.
Language: English
Published by Springer Berlin Heidelberg, 2005
ISBN 10: 3540253882 ISBN 13: 9783540253884
Seller: AHA-BUCH GmbH, Einbeck, Germany
Taschenbuch. 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 est- lished in 1998 by combining a number of existing and new conferences. This year it comprised ve conferences (CC, ESOP, FASE, FOSSACS, TACAS), 17 satellite wo- shops (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 - ceived 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 devel- ment process, including speci cation, design, implementation, analysis and impro- ment. The languages, methodologies and tools which support these activities 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 systems, and the emphasis on software is not intended to be exclusive.