Bild 1 von 1
Galerie
Bild 1 von 1
Ähnlichen Artikel verkaufen?
Einführung in die statische Analyse: Eine abstrakte Interpretation
US $99,81
Ca.CHF 79,64
Artikelzustand:
Neu
Neues, ungelesenes, ungebrauchtes Buch in makellosem Zustand ohne fehlende oder beschädigte Seiten. Genauere Einzelheiten entnehmen Sie bitte dem Angebot des Verkäufers.
- Sofort-KaufenEinführung in die statische Analyse: Eine abstrakte Interpretationsperspektive des Rivalen
Oops! Looks like we're having trouble connecting to our server.
Refresh your browser window to try again.
Versand:
Kostenlos Standard Shipping.
Standort: Sparks, Nevada, USA
Lieferung:
Lieferung zwischen Fr, 18. Jul und Do, 24. Jul nach 94104 bei heutigem Zahlungseingang
Rücknahme:
30 Tage Rückgabe. Käufer zahlt Rückversand. Wenn Sie ein eBay-Versandetikett verwenden, werden die Kosten dafür von Ihrer Rückerstattung abgezogen.
Zahlungen:
Sicher einkaufen
Der Verkäufer ist für dieses Angebot verantwortlich.
eBay-Artikelnr.:402084928583
Artikelmerkmale
- Artikelzustand
- Book Title
- Introduction to Static Analysis: An Abstract Interpretation Persp
- Publication Date
- 2020-02-11
- Pages
- 320
- ISBN
- 9780262043410
Über dieses Produkt
Product Identifiers
Publisher
MIT Press
ISBN-10
0262043416
ISBN-13
9780262043410
eBay Product ID (ePID)
21038269256
Product Key Features
Number of Pages
320 Pages
Language
English
Publication Name
Introduction to Static Analysis : an Abstract Interpretation Perspective
Subject
Software Development & Engineering / Quality Assurance & Testing, Mathematical & Statistical Software, Mechanics / Statics, Computer Science
Publication Year
2020
Type
Textbook
Subject Area
Computers, Science
Format
Hardcover
Dimensions
Item Height
0.8 in
Item Weight
24.4 Oz
Item Length
9.3 in
Item Width
7.3 in
Additional Product Features
Intended Audience
Trade
LCCN
2019-010151
Dewey Edition
23
Illustrated
Yes
Dewey Decimal
620.1/03
Synopsis
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.
LC Classification Number
TA351.R58 2020
Artikelbeschreibung des Verkäufers
Info zu diesem Verkäufer
AlibrisBooks
98,6% positive Bewertungen•1.9 Mio. Artikel verkauft
Angemeldet als gewerblicher Verkäufer
Verkäuferbewertungen (511'436)
- i***l (750)- Bewertung vom Käufer.Letzter MonatBestätigter Kaufgreat
- i***r (736)- Bewertung vom Käufer.Letzter MonatBestätigter KaufFast ship, good packing, good value, very readable
- n***i (580)- Bewertung vom Käufer.Letzter MonatBestätigter KaufGreat seller!!!
AlibrisBooks
98,6% positive Bewertungen•1.9 Mio. Artikel verkauft
Angemeldet als gewerblicher Verkäufer
Verkäuferbewertungen (511'436)
- i***l (750)- Bewertung vom Käufer.Letzter MonatBestätigter Kaufgreat
- i***r (736)- Bewertung vom Käufer.Letzter MonatBestätigter KaufFast ship, good packing, good value, very readable
- n***i (580)- Bewertung vom Käufer.Letzter MonatBestätigter KaufGreat seller!!!