Principles of Program Analysis

EISBN:9783662038116
PISBN:9783540654100
出版社:Springer Berlin Heidelberg
出版类型:Graduate/advanced undergraduate textbook
出版时间:1999
版次:1999
作者:Flemming Nielson,Hanne R. Nielson,Chris Hankin
主题词:Computer Science,Logics and Meanings of Programs,Programming Languages,Compilers,Interpreters,Software Engineering
语种:英语
相关推荐

Tools and Methods of Program Analysis

  • 作者:Vladimir Itsykson,Andre Scedrov,Victor Zakharov
  • EISBN:9783319717340
  • 出版社:Springer International Publishing
  • 出版时间:2018

Program Analysis and Compilation, Theory and Practice

  • 作者:Thomas Reps,Mooly Sagiv,Jörg Bauer
  • EISBN:9783540713227
  • 出版社:Springer Berlin Heidelberg
  • 出版时间:2007

Tools and Methods of Program Analysis

  • 作者:Rostislav Yavorskiy,Ana Rosa Cavalli,Anna Kalenkova
  • EISBN:9783031504235
  • 出版社:Springer Nature
  • 出版时间:2024

Principles of Harmonic Analysis

  • 作者:Anton Deitmar,Siegfried Echterhoff
  • EISBN:9783319057927
  • 出版社:Springer International Publishing
  • 出版时间:2014

The Finite Element Analysis Program MSC Marc/Mentat

  • 作者:Andreas Öchsner,Marco Öchsner
  • EISBN:9789811008214
  • 出版社:Springer Singapore
  • 出版时间:2016