Static Analysis of Software: The Abstract Interpretation

PISBN:9781118602867
出版社:John Wiley & Sons, Inc
出版时间:2018
作者:Boulanger
主题词:Computer Science & Information Technology
语种:英语
所属数据库:Wiley电子图书
相关推荐

Formal Analysis by Abstract Interpretation

  • 作者:Benjamin Aziz
  • EISBN:9783030911539
  • 出版社:Springer Nature
  • 出版时间:2022

Static Analysis

  • 作者:Francesco Ranzato
  • EISBN:9783319667065
  • 出版社:Springer International Publishing
  • 出版时间:2017

Static Analysis

  • 作者:Radhia Cousot,David A. Schmidt
  • EISBN:9783540706748
  • 出版社:Springer Berlin Heidelberg
  • 出版时间:1996

Static Analysis

  • 作者:Patrick Cousot
  • EISBN:9783540477648
  • 出版社:Springer Berlin Heidelberg
  • 出版时间:2001

Static Analysis

  • 作者:Chris Hankin,Igor Siveroni
  • EISBN:9783540319719
  • 出版社:Springer Berlin Heidelberg
  • 出版时间:2005

Static Analysis

  • 作者:Manuel Hermenegildo,German Puebla
  • EISBN:9783540457893
  • 出版社:Springer Berlin Heidelberg
  • 出版时间:2002