Compiler Specification and Verification

EISBN:9783540387954
PISBN:9783540108863
出版社:Springer Berlin Heidelberg
出版类型:Monograph
出版时间:1981
版次:1981
作者:W. Polak
主题词:Computer Science,Programming Languages,Compilers,Interpreters
语种:英语
相关推荐

Compiler Specification and Verification

  • 作者:Wolfgang Polak
  • EISBN:9783540387954
  • 出版社:Springer Berlin Heidelberg
  • 出版时间:1981

Modular Compiler Verification

  • 作者:Markus Müller-Olm
  • EISBN:9783540695394
  • 出版社:Springer Berlin Heidelberg
  • 出版时间:1997

Modular Compiler Verification

  • 作者:Markus Müller-Olm
  • EISBN:9783540695394
  • 出版社:Springer Berlin Heidelberg
  • 出版时间:1997

Protocol Specification, Testing and Verification XV

  • 作者:Piotr Dembinski,Marek Sredniawa
  • EISBN:9780387348926
  • 出版社:Springer US
  • 出版时间:1996

Interactive Systems Design, Specification, and Verification

  • 作者:Philippe Palanque,Fabio Paternò
  • EISBN:9783540446750
  • 出版社:Springer Berlin Heidelberg
  • 出版时间:2001

Communication Protocol Specification and Verification

  • 作者:Richard Lai,Ajin Jirachiefpattana
  • EISBN:9781461555490
  • 出版社:Springer US
  • 出版时间:1998