Order Total (1 Item Items):
Shipping Destination:
Rival Xavier (55 results)
Skip to main search results
Search filters
Product Type
- All Product Types
- Books (55)
- 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 (44)
- As New, Fine or Near Fine (8)
- Very Good or Good (3)
- 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 (27)
- Not Print on Demand (42)
Language (1)
Free Shipping
Seller Location
Seller Rating
-
Condition: good. Book shows general signs of use and handling. May have light wear on the cover or edges and minimal writing or highlighting. Binding remains tight, and pages are clean and readable.
-
-
hardcover. Condition: Very Good. A very good hardcover. No dust jacket. as issued. Some light rippling to some pages. Very light edgewear to baords. No markings.
-
Condition: Very Good. Most items will be dispatched the same or the next working day. A copy that has been read, but is in excellent condition. Pages are intact and not marred by notes or highlighting. The spine remains undamaged.
-
-
-
-
-
-
Introduction to Static Analysis (Hardcover)
Language: English
Published by MIT Press Ltd, Cambridge, Mass., 2020
ISBN 10: 0262043416 ISBN 13: 9780262043410
Hardcover. Condition: new. Hardcover. A self-contained introduction to abstract interpretation-based static analysis, an essential resource for students, developers, and users.Static program analysis, or static analysis, aims to discover semantic properties of programs without running them. It plays an important role in all phases of development, including verification of specifications and programs, the synthesis of optimized code, and the refactoring and maintenance of software applications. This book offers a self-contained introduction to static analysis, covering the basics of both theoretical foundations and practical considerations in the use of static analysis tools. By offering a quick and comprehensive introduction for nonspecialists, the book fills a notable gap in the literature, which until now has consisted largely of scientific articles on advanced topics.The text covers the mathematical foundations of static analysis, including semantics, semantic abstraction, and computation of program invariants; more advanced notions and techniques, including techniques for enhancing the cost-accuracy balance of analysis and abstractions for advanced programming features and answering a wide range of semantic questions; and techniques for implementing and using static analysis tools. It begins with background information and an intuitive and informal introduction to the main static analysis principles and techniques. It then formalizes the scientific foundations of program analysis techniques, considers practical aspects of implementation, and presents more advanced applications. The book can be used as a textbook in advanced undergraduate and graduate courses in static analysis and program verification, and as a reference for users, developers, and experts.A self-contained introduction to abstract interpretation-based static analysis, an essential resource for students, developers, and users.Static program analysis, or static analysis, aims to discover semantic properties of programs without running them. It plays an important role in all phases of development, including verification of specifications and programs, the synthesis of optimized code, and the refactoring and maintenance of software applications. This book offers a self-contained introduction to static analysis, covering the basics of both theoretical foundations and practical considerations in the use of static analysis tools. By offering a quick and comprehensive introduction for nonspecialists, the book fills a notable gap in the literature, which until now has consisted largely of scientific articles on advanced topics.The text covers the mathematical foundations of static analysis, including semantics, semantic abstraction, and computation of program invariants; more advanced notions and techniques, including techniques for enhancing the cost-accuracy balance of analysis and abstractions for advanced programming features and answering a wide range of semantic questions; and techniques for implementing and using static analysis tools. It begins with background information and an intuitive and informal introduction to the main static analysis principles and techniques. It then formalizes the scientific foundations of program analysis techniques, considers practical aspects of implementation, and presents more advanced applications. The book can be used as a textbook in advanced undergraduate and graduate courses in static analysis and program verification, and as a reference for users, developers, and experts. A self-contained introduction to abstract interpretationbased static analysis, an essential resource for students, developers, and users. Shipping may be from multiple locations in the US or from the UK, depending on stock availability.
-
Condition: As New. Unread book in perfect condition.
-
Verification, Model Checking, and Abstract Interpretation: 15th International Conference, VMCAI 2014, San Diego, CA, USA, January 19-21, 2014, ... Computer Science and General Issues)
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
US$ 68.42
US$ 16.14 shipping
Ships from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: New. In.
-
Static Analysis: 23rd International Symposium, SAS 2016, Edinburgh, UK, September 8-10, 2016, Proceedings (Programming and Software Engineering)
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
US$ 68.42
US$ 16.14 shipping
Ships from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: New. In.
-
US$ 66.52
US$ 20.87 shipping
Ships from United Kingdom to U.S.A.Quantity: 10 available
Add to basketPaperback. Condition: New.
-
US$ 66.60
US$ 20.87 shipping
Ships from United Kingdom to U.S.A.Quantity: 10 available
Add to basketPaperback. Condition: New.
-
-
Verification, Model Checking, and Abstract Interpretation : 15th International Conference, Vmcai 2014, San Diego, Ca, USA, January 19-21, 2014, Proceedings
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
US$ 68.40
US$ 20.21 shipping
Ships from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: New.
-
Static Analysis : 23rd International Symposium, SAS 2016, Edinburgh, Uk, September 8-10, 2016, Proceedings
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
US$ 68.40
US$ 20.21 shipping
Ships from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: New.
-
-
Condition: New. pp. 512.
-
Condition: New. pp. 521 1st ed. 2016 edition NO-PA16APR2015-KAP.
-
-
Introduction To Static Analysisan Abstract Interpretation Perspective
Language: English
Published by Mit Press, 2020
Hardcover. Condition: New. ISBN:9780262043410.
-
Hardback. Condition: New.
-
Introduction to Static Analysis : An Abstract Interpretation Perspective
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
US$ 88.21
US$ 20.21 shipping
Ships from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: New.
-
Static Analysis: 23rd International Symposium, SAS 2016, Edinburgh, Uk, September 8-10, 2016, Proceedings
Language: English
Published by Springer-Verlag New York Inc, 2016
ISBN 10: 3662534126 ISBN 13: 9783662534120
US$ 95.36
US$ 16.84 shipping
Ships from United Kingdom to U.S.A.Quantity: 2 available
Add to basketPaperback. Condition: Brand New. 524 pages. 9.30x6.20x1.18 inches. In Stock.
-
Hardcover. Condition: new. Excellent Condition.Excels in customer satisfaction, prompt replies, and quality checks.
-
Verification, Model Checking, and Abstract Interpretation
Language: English
Published by Springer Berlin Heidelberg, Springer Berlin Heidelberg Jan 2014, 2014
ISBN 10: 3642540120 ISBN 13: 9783642540127
Seller: buchversandmimpf2000, Emtmannsberg, BAYE, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: Neu. Neuware -This book constitutes the refereed proceedings of the 15th International Conference on Verification, Model Checking and Abstract Interpretation, VMCAI 2014, held in San Diego, CA, USA, in January 2013. The 25 revised full papers presented were carefully reviewed and selected from 64 submissions. The papers cover a wide range of topics including program verification, model checking, abstract interpretation and abstract domains, program synthesis, static analysis, type systems, deductive methods, program certification, debugging techniques, program transformation, optimization, hybrid and cyber-physical systems.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 512 pp. Englisch.
-
Verification, Model Checking, and Abstract Interpretation : 15th International Conference, VMCAI 2014, San Diego, CA, USA, January 19-21, 2014, Proceedings
Language: English
Published by Springer Berlin Heidelberg, 2014
ISBN 10: 3642540120 ISBN 13: 9783642540127
Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the refereed proceedings of the 15th International Conference on Verification, Model Checking and Abstract Interpretation, VMCAI 2014, held in San Diego, CA, USA, in January 2013. The 25 revised full papers presented were carefully reviewed and selected from 64 submissions. The papers cover a wide range of topics including program verification, model checking, abstract interpretation and abstract domains, program synthesis, static analysis, type systems, deductive methods, program certification, debugging techniques, program transformation, optimization, hybrid and cyber-physical systems.
-
Static Analysis : 23rd International Symposium, SAS 2016, Edinburgh, UK, September 8-10, 2016, Proceedings
Language: English
Published by Springer Berlin Heidelberg, 2016
ISBN 10: 3662534126 ISBN 13: 9783662534120
Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the refereed proceedings of the 23rd International Static Analysis Symposium, SAS 2016, held in Edinburgh, UK, in September 2016. The 21 papers presented in this volume were carefully reviewed and selected from 55 submissions. The contributions cover a variety of multi-disciplinary topics in abstract domains; abstract interpretation; abstract testing; bug detection; data flow analysis; model checking; new applications; program transformation; program verification; security analysis; theoretical frameworks; and type checking.
