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

B’98: Recent Advances in the Development and Use of the B Method
EISBN：9783540697695
PISBN：9783540644057
出版社：Springer Berlin Heidelberg
出版类型：Proceedings
出版时间：1998
作者：Didier Bert
主题词：Software Engineering,Logics and Meanings of Programs
语种：英语
所属数据库：SpringerLink电子图书
丛书题名：Lecture Notes in Computer Science
1浏览量
 馆际互借
 查看订购单位
原文链接
相关推荐
...

B'98: Recent Advances in the Development and Use of the B Method
  • 作者：Bert Didier
  • EISBN：9783540697695
  • 出版社：Springer Berlin Heidelberg
  • 出版时间：1998
...

The B Language and Method
  • 作者：Kevin Lano
  • EISBN：9781447114949
  • 出版社：Springer London
  • 出版时间：1996
...

The B Language and Method
  • 作者：Kevin Lano
  • EISBN：9781447114949
  • 出版社：Springer London
  • 出版时间：1996
...

Recent Advances in the Science and Technology of Zeolites and Related Materials Part B
  • 作者：E. van Steen,L.H. Callanan,M. Claeys
  • PISBN：9780444518262
  • 出版时间：Pre 2007
...

B 2007: Formal Specification and Development in B
  • 作者：Jacques Julliand,Olga Kouchnarenko
  • EISBN：9783540687610
  • 出版社：Springer Berlin Heidelberg
  • 出版时间：2006
...

Bäcklund Transformations, the Inverse Scattering Method, Solitons, and Their Applications
  • 作者：Robert M. Miura
  • EISBN：9783540382201
  • 出版社：Springer Berlin Heidelberg
  • 出版时间：1976