Introduction to Static Analysis

An Abstract Interpretation Perspective

by Xavier Rival and Kwangkeun Yi

Hardcover

$75.00

Hardcover

ISBN: 9780262043410

Pub date: February 11, 2020

Publisher: The MIT Press

320 pp., 7 x 9 in, 105 b&w illus.

eBook

$74.99

eBook

ISBN: 9780262356657

Pub date: February 11, 2020

Publisher: The MIT Press

320 pp., 7 x 9 in, 105 b&w illus.

eTextbook rental

4 Months: $37.50
12 Months: $52.50

eTextbook

ISBN: 9780262043410

Pub date: February 11, 2020

Publisher: The MIT Press

320 pp., 7 x 9 in, 105 b&w illus.

eTextbook

320 pp., 7 x 9 in, 105 b&w illus.

  • Hardcover
  • 9780262043410
  • Published: February 2020
  • Publisher: The MIT Press

$75.00

  • eBook
  • 9780262356657
  • Published: February 2020
  • Publisher: The MIT Press

$74.99