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

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

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

  • 作者:Hanne Riis Nielson,Gilberto Filé
  • EISBN:9783540740612
  • 出版社:Springer Berlin Heidelberg
  • 出版时间:2007

Static Analysis

  • 作者:Radhia Cousot
  • EISBN:9783540448983
  • 出版社:Springer Berlin Heidelberg
  • 出版时间:2003