Order Total (1 Item Items):
Shipping Destination:
John Hatcliff (35 results)
Skip to main search results
Search filters
Product Type
- All Product Types
- Books (35)
- Magazines & Periodicals (No further results match this refinement)
- Comics (No further results match this refinement)
- Sheet Music (No further results match this refinement)
- Art, Prints & Posters (No further results match this refinement)
- Photographs (No further results match this refinement)
- Maps (No further results match this refinement)
- Manuscripts & Paper Collectibles (No further results match this refinement)
Condition Learn more
- New (25)
- As New, Fine or Near Fine (8)
- Very Good or Good (2)
- Fair or Poor (No further results match this refinement)
- As Described (No further results match this refinement)
Binding
Collectible Attributes
- First Edition (No further results match this refinement)
- Signed (No further results match this refinement)
- Dust Jacket (No further results match this refinement)
- Seller-Supplied Images (19)
- Not Print on Demand (29)
Language (2)
Free Shipping
Seller Location
Seller Rating
-
Tools and Algorithms for the Construction and Analysis of Systems: 9th International Conference, TACAS 2003, Held as Part of the Joint European . (Lecture Notes in Computer Science, 2619)
Seller: Zubal-Books, Since 1961, Cleveland, OH, U.S.A.
Seller rating 5 out of 5 stars
Condition: New. 620 pp., Paperback, brand new! still in shrink wrap. - If you are reading this, this item is actually (physically) in our stock and ready for shipment once ordered. We are not bookjackers. Buyer is responsible for any additional duties, taxes, or fees required by recipient's country.
-
Formal Techniques for Distributed Systems: Joint 12th Ifip Wg 6.1 International Conference, Fmoods 2010 and 30th Ifip Wg 6.1 International C
Language: English
Published by Springer-Verlag Berlin and Heidelberg GmbH & Co. K, 2010
ISBN 10: 3642134637 ISBN 13: 9783642134630
£ 5.78 10% off£ 5.21
£ 17.74 shipping
Ships from France to U.S.A.Quantity: 1 available
Add to basketSoftcover. Condition: Très bon. Ancien livre de bibliothèque. Edition 2010. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Very good. Former library book. Edition 2010. Ammareal gives back up to 15% of this item's net price to charity organizations.
-
Paperback. Condition: Very Good. Ex-library paperback in very nice condition with the usual markings and attachments. Text block clean and unmarked. Tight binding.
-
Paperback. Condition: Very Good. Ex-library paperback in nice condition with the usual markings and attachments.
-
Condition: New. pp. 452.
-
Condition: New. pp. 452 49:B&W 6.14 x 9.21 in or 234 x 156 mm (Royal 8vo) Perfect Bound on White w/Gloss Lam.
-
Condition: New. pp. 452.
-
Formal Techniques for Distributed Systems (Paperback)
Language: English
Published by Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, Berlin, 2010
ISBN 10: 3642134637 ISBN 13: 9783642134630
Paperback. Condition: new. Paperback. In 2010 the internationalfederated conferenceson Distributed Computing Te- niques (DisCoTec) tookplacein Amsterdam,during June 7-9.It washosted and organized by the Centrum voor Wiskunde & Informatica. DisCoTec conferences jointly cover the complete spectrum of distributed computing subjects ranging from theoretical foundations to formal speci?- tion techniques to practical considerations. The 12th International Conference on Coordination Models and Languages (Coordination) focused on the design and implementation of models that allow compositional construction of lar- scale concurrent and distributed systems, including both practical and foun- tionalmodels,run-timesystems,andrelatedveri?cationandanalysistechniques. The 10th IFIP International Conference on Distributed Applications and Int- operable Systems in particular elicited contributions on architectures, models, technologies and platforms for large-scale and complex distributed applications and services that are related to the latest trends in bridging the physical/virtual worlds based on ?exible and versatile service architectures and platforms.The 12th Formal Methods for Open Object-Based Distributed Systems and 30th FormalTechniques for NetworkedandDistributed Systems together emphasized distributed computing models and formal speci?cation, testing and veri?cation methods. Constitutes the refereed proceedings of the 12th IFIP WG 6.1 International Conference on Formal Methods for Open Object-Based Distributed Systems, FMOODS 2010, and the 30th IFIP WG 6.1 Formal Techniques for Networked and Distributed Systems, FORTE 2010, held in Amsterdam, The Netherlands, in June 2010. Shipping may be from multiple locations in the US or from the UK, depending on stock availability.
-
Partial Evaluation: Practice and Theory: DIKU 1998 International Summer School, Copenhagen, Denmark, June 29 - July 10, 1998 (Lecture Notes in Computer Science, 1706)
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
£ 49.60
£ 11.98 shipping
Ships from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: New. In.
-
-
-
Partial Evaluation : Practice and Theory : Diku 1998 International Summer School Copenhagen, Denmark, June 29-July 10, 1998
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
Condition: New.
-
Formal Techniques for Distributed Systems: Joint 12th Ifip Wg 6.1 International Conference, Fmoods 2010 and 30th Ifip Wg 6.1 International Conference, Forte 2010, Amsterdam, the Netherlands, Ju
Language: English
Published by Springer-Verlag New York Inc, 2010
ISBN 10: 3642134637 ISBN 13: 9783642134630
Paperback. Condition: Brand New. 231 pages. 9.00x6.00x0.50 inches. In Stock.
-
Formal Techniques for Distributed Systems
Language: English
Published by Springer Berlin Heidelberg, 2010
ISBN 10: 3642134637 ISBN 13: 9783642134630
Condition: New. Invited Talk.- Formal Software Verification: How Close Are We?.- Formal UML Modeling.- Exploiting the Hierarchical Structure of Rule-Based Specifications for Decision Planning.- Reactive Semantics for Distributed UML Activities.- Components and Architecture.
-
Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - As the complexity of software increases, researchers and practicioners continue to seek better techniques for engineering the construction of evolution of software. Partialevaluation is an attractive technology for modern software construction since it provides automatic tools for software specialization and is based on rigorous semantic foundations. This book is based on a school held at DIKU Copenhagen, Denmark in summer 1998 during which leading researchers summarized the state of the art in partial evaluation. The lectures presented survey the foundations of partial evaluation in a clear and rigorous manner and practically introduce several existing partial evaluators with numerous examples. The second part of the book is devoted to more sophisticated theoretical aspects, advances systems and applications, and highlights open problems and challenges. The book is ideally suited for advanced courses and for self study.
-
Formal Techniques for Distributed Systems : Joint 12th IFIP WG 6.1 International Conference, FMOODS 2010 and 30th IFIP WG 6.1 International Conference, FORTE 2010, Amsterdam, The Netherlands, June 7-9, 2010, Proceedings
Language: English
Published by Springer-Verlag GmbH, 2010
ISBN 10: 3642134637 ISBN 13: 9783642134630
£ 9.78 10% off£ 8.81
£ 90.86 shipping
Ships from Germany to U.S.A.Quantity: 1 available
Add to basketCondition: Sehr gut. Zustand: Sehr gut | Sprache: Englisch | Produktart: Bücher | Keine Beschreibung verfügbar.
-
Tools and Algorithms for the Construction and Analysis of Systems: 9th International Conference, TACAS 2003, Held as Part of the Joint European ... (Lecture Notes in Computer Science, 2619)
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
£ 94.30
£ 11.98 shipping
Ships from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: New. In.
-
-
-
Condition: As New. Unread book in perfect condition.
-
Tools and Algorithms for the Construction and Analysis of Systems : 9th International Conference, Tacas 2003, Held As Part of the Joint European Conferences on Theory and Practice of Software, Etaps 2003, Warsaw
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
Condition: New.
-
Formal Techniques for Distributed Systems : Joint 12th IFIP WG 6.1 International Conference, FMOODS 2010 and 30th IFIP WG 6.1 International Conference, FORTE 2010, Amsterdam, The Netherlands, June 7-9, 2010, Proceedings
Language: English
Published by Springer, Berlin, Springer, 2010
ISBN 10: 3642134637 ISBN 13: 9783642134630
Taschenbuch. Condition: Neu. Neuware - In 2010 the internationalfederated conferenceson Distributed Computing Te- niques (DisCoTec) tookplacein Amsterdam,during June 7-9.It washosted and organized by the Centrum voor Wiskunde & Informatica. DisCoTec conferences jointly cover the complete spectrum of distributed computing subjects ranging from theoretical foundations to formal speci - tion techniques to practical considerations. The 12th International Conference on Coordination Models and Languages (Coordination) focused on the design and implementation of models that allow compositional construction of lar- scale concurrent and distributed systems, including both practical and foun- tionalmodels,run-timesystems,andrelatedveri cationandanalysistechniques. The 10th IFIP International Conference on Distributed Applications and Int- operable Systems in particular elicited contributions on architectures, models, technologies and platforms for large-scale and complex distributed applications and services that are related to the latest trends in bridging the physical/virtual worlds based on exible and versatile service architectures and platforms. The 12th Formal Methods for Open Object-Based Distributed Systems and 30th FormalTechniques for NetworkedandDistributed Systems together emphasized distributed computing models and formal speci cation, testing and veri cation methods.
-
Tools and Algorithms for the Construction and Analysis of Systems : 9th International Conference, Tacas 2003, Held As Part of the Joint European Conferences on Theory and Practice of Software, Etaps 2003, Warsaw
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
£ 107.90
£ 15 shipping
Ships from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: As New. Unread book in perfect condition.
-
Partial Evaluation : Practice and Theory : Diku 1998 International Summer School Copenhagen, Denmark, June 29-July 10, 1998
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
£ 109.99
£ 15 shipping
Ships from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: As New. Unread book in perfect condition.
-
Condition: As New. Unread book in perfect condition.
-
Paperback. Condition: Like New. LIKE NEW. SHIPS FROM MULTIPLE LOCATIONS. book.
-
Taschenbuch. Condition: Neu. Tools and Algorithms for the Construction and Analysis of Systems | 9th International Conference, TACAS 2003, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003, Warsaw, Poland, April 7-11, 2003, Proceedings | Hubert Garavel (u. a.) | Taschenbuch | Einband - flex.(Paperback) | Englisch | 2003 | Springer | EAN 9783540008989 | Verantwortliche Person für die EU: Springer-Verlag KG, Sachsenplatz 4-6, 1201 WIEN, ÖSTERREICH, productsafety[at]springernature[dot]com | Anbieter: preigu.
-
Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - ETAPS 2003 was the sixth instance of the European Joint Conferences on T- ory and Practice of Software. ETAPS is an annual federated conference that was establishedin1998bycombininganumberofexistingandnewconferences.This yearitcomprised veconferences(FOSSACS,FASE,ESOP,CC,TACAS),14- tellite workshops (AVIS, CMCS, COCV, FAMAS, Feyerabend, FICS, LDTA, RSKD, SC, TACoS, UniGra, USE, WITS and WOOD), eight invited lectures (not including those that are speci c to the satellite events), and several tu- rials. We received a record number of submissions to the ve conferences this year: over 500, making acceptance rates fall below 30% for every one of them. Congratulations to all the authors who made it to the nal program! I hope that all the other authors still found a way of participating in this exciting event and I hope you will continue submitting. A special event was held to honour the 65th birthday of Prof. Wlad Turski, one of the pioneers of our young science. The deaths of some of our fathers in thesummerof2002 Dahl,DijkstraandNygaard remindedusthatSoftware Science and Technology is, perhaps, no longer that young. Against this sobering background, it is a treat to celebrate one of our most prominent scientists and his lifetime of achievements. It gives me particular personal pleasure that we are able to do this for Wlad during my term as chairman of ETAPS.
-
hardcover. Condition: Like New. LIKE NEW. SHIPS FROM MULTIPLE LOCATIONS. book.
-
Partial Evaluation. Practice and Theory
Language: English
Published by Springer Berlin Heidelberg, 1999
ISBN 10: 3540667105 ISBN 13: 9783540667100
Kartoniert / Broschiert. Condition: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. As the complexity of software increases, researchers and practicioners continue to seek better techniques for engineering the construction of evolution of software. Partial evaluation is an attractive technology for modern software construction since it pro.
