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

VLISP A Verified Implementation of Scheme
EISBN：9781461523390
PISBN：9780792395669
出版社：Springer US
出版类型：Contributed volume
出版时间：1995
版次：1995
作者：Joshua D. Guttman,Mitchell Wand
主题词：Computer Science,Software Engineering,Programming and Operating Systems,Programming Languages,Compilers,Interpreters
语种：英语
所属数据库：SpringerLink电子图书(1815-2004)
1浏览量
 馆际互借
 查看订购单位
原文链接
相关推荐
...

VLISP A Verfied Implementation of Scheme
  • 作者：Joshua D. Guttman,Mitchell Wand
  • EISBN：9781461523390
  • 出版社：Springer US
  • 出版时间：1995
...

A Code Mapping Scheme for Dataflow Software Pipelining
  • 作者：Guang R. Gao
  • EISBN：9781461539889
  • 出版社：Springer US
  • 出版时间：1991
...

A Code Mapping Scheme for Dataflow Software Pipelining
  • 作者：Guang R. Gao
  • EISBN：9781461539889
  • 出版社：Springer US
  • 出版时间：1991
...

FM8501: A Verified Microprocessor
  • 作者：Warren A. Jr. Hunt
  • EISBN：9783540484011
  • 出版社：Springer Berlin Heidelberg
  • 出版时间：1994
...

FM8501: A Verified Microprocessor
  • 作者：Warren A. Hunt
  • EISBN：9783540484011
  • 出版社：Springer Berlin Heidelberg
  • 出版时间：1994
...

Linear Determinants with Applications to the Picard Scheme of a Family of Algebraic Curves
  • 作者：Birger Iversen
  • EISBN：9783540364399
  • 出版社：Springer Berlin Heidelberg
  • 出版时间：1970