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

Computer Programming and Formal Systems
PISBN：9780444534002
出版时间：Pre 2007
作者：P. Braffort,D. Hirschberg
主题词：Mathematics pre-2007
语种：英语
所属数据库：Elsevier电子图书
丛书题名：Studies in Logic and the Foundations of Mathematics
2浏览量
 馆际互借
 查看订购单位
原文链接
相关推荐
...

Computer Programming and Formal Systems
  • 作者：P. Braffort,D. Hirschberg
  • PISBN：9780444533913
  • 出版时间：Pre 2007
...

Computer Programming and Computer Systems
  • 作者：Hassitt,Anthony
  • PISBN：9781483229584
  • 出版时间：Legacy
...

A Formal Model of Visualization in Computer Graphics Systems
  • 作者：Tamiya Onodera,Satoru Kawai
  • EISBN：9783540469797
  • 出版社：Springer Berlin Heidelberg
  • 出版时间：1990
...

Formal Methods for Trustworthy Computer Systems (FM89)
  • 作者：Dan Craigen,Karen Summerskill
  • EISBN：9781447135326
  • 出版社：Springer London
  • 出版时间：1990
...

Formal Techniques for Computer Systems and Business Processes
  • 作者：Mario Bravetti,Leïla Kloul,Gianluigi Zavattaro
  • EISBN：9783540319030
  • 出版社：Springer Berlin Heidelberg
  • 出版时间：2005
...

Formal Methods for Trustworthy Computer Systems (FM89)
  • 作者：Dan Craigen
  • EISBN：9781447135326
  • 出版社：Springer London
  • 出版时间：1990