登录
 机构网站
  1. 首页
  2. 电子图书
  3. 图书详情
...

Abstract State Machines - Theory and Applications
EISBN：9783540445180
PISBN：9783540679592
出版社：Springer Berlin Heidelberg
出版类型：Proceedings
出版时间：2000
版次：2000
作者：Yuri Gurevich,Philipp W. Kutter,Martin Odersky,Lothar Thiele
主题词：Computer Science,Logics and Meanings of Programs,Software Engineering,Programming and Operating Systems,Programming Languages,Compilers,Interpreters,Software Engineering,Mathematical Logic and Formal Languages,Database Management
语种：英语
所属数据库：SpringerLink电子图书(1815-2004)
丛书题名：Lecture Notes in Computer Science
1浏览量
 馆际互借
 查看订购单位
原文链接
相关推荐
...

Abstract State Machines - Theory and Applications
  • 作者：Yuri Gurevich,Philipp W. Kutter,Martin Odersky,Lothar Thiele
  • EISBN：9783540445180
  • 出版社：Springer Berlin Heidelberg
  • 出版时间：2000
...

Abstract State Machines
  • 作者：Egon Börger,Robert Stärk
  • EISBN：9783642182167
  • 出版社：Springer Berlin Heidelberg
  • 出版时间：2003
...

Abstract State Machines 2004. Advances in Theory and Practice
  • 作者：Wolf Zimmermann,Bernhard Thalheim
  • EISBN：9783540247739
  • 出版社：Springer Berlin Heidelberg
  • 出版时间：2004
...

Abstract State Machines
  • 作者：Egon Börger,Robert Stärk
  • EISBN：9783642182167
  • 出版社：Springer Berlin Heidelberg
  • 出版时间：2003
...

Abstract State Machines 2004. Advances in Theory and Practice
  • 作者：Wolf Zimmermann,Bernhard Thalheim
  • EISBN：9783540247739
  • 出版社：Springer Berlin Heidelberg
  • 出版时间：2004
...

Abstract State Machines 2003: Advances in Theory and Practice
  • 作者：Egon Börger,Angelo Gargantini,Elvinia Riccobene
  • EISBN：9783540364986
  • 出版社：Springer Berlin Heidelberg
  • 出版时间：2003