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

Communicating Sequential Processes. The First 25 Years
EISBN：9783540322658
PISBN：9783540258131
出版社：Springer Berlin Heidelberg
出版类型：Proceedings
出版时间：2005
作者：Ali E. Abdallah,Cliff B. Jones,Jeff W. Sanders
主题词：Logics and Meanings of Programs,Programming Languages,Compilers,Interpreters,Software Engineering,Programming Techniques
语种：英语
所属数据库：SpringerLink电子图书
丛书题名：Lecture Notes in Computer Science
1浏览量
 馆际互借
 查看订购单位
原文链接
相关推荐
...

Dye Lasers: 25 Years
  • 作者：Michael Stuke
  • EISBN：9783540466055
  • 出版社：Springer Berlin Heidelberg
  • 出版时间：1992
...

Algebra of Communicating Processes
  • 作者：Alban Ponse,Christiaan Verhoef,Sebastiaan F.M.van Vlijmen
  • EISBN：9781447121206
  • 出版社：Springer London
  • 出版时间：1995
...

25 Years of Model Checking
  • 作者：Orna Grumberg,Helmut Veith
  • EISBN：9783540698500
  • 出版社：Springer Berlin Heidelberg
  • 出版时间：2008
...

Algebra of Communicating Processes
  • 作者：A. Ponse,C. Verhoef,S. F. M. Vlijmen
  • EISBN：9781447121206
  • 出版社：Springer London
  • 出版时间：1995
...

The EuroQol Group after 25 years
  • 作者：Richard Brooks
  • EISBN：9789400751583
  • 出版社：Springer Netherlands
  • 出版时间：2013
...

Dye Lasers: 25 Years
  • 作者：Michael Stuke
  • EISBN：9783540466055
  • 出版社：Springer Berlin Heidelberg
  • 出版时间：1992