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

A Practical Theory of Reactive Systems
EISBN：9783540273486
PISBN：9783540233428
出版社：Springer Berlin Heidelberg
出版类型：Graduate/advanced undergraduate textbook
出版时间：2005
作者：Reino Kurki-Suonio
主题词：Logics and Meanings of Programs,Software Engineering
语种：英语
所属数据库：SpringerLink电子图书
丛书题名：Texts in Theoretical Computer Science. An EATCS Series
1浏览量
 馆际互借
 查看订购单位
原文链接
相关推荐
...

Reactive Power Compensation - A Practical Guide
  • 作者：Hofmann
  • PISBN：9781119967286
  • 出版社：John Wiley & Sons, Inc
  • 出版时间：2012
...

A Practical Theory of Programming
  • 作者：Eric C.R. Hehner
  • EISBN：9781441985965
  • 出版社：Springer New York
  • 出版时间：1993
...

A Practical Theory of Programming
  • 作者：Eric C. R. Hehner
  • EISBN：9781441985965
  • 出版社：Springer New York
  • 出版时间：1993
...

A Practical Course on Operating Systems
  • 作者：Colin J. Theaker,Graham R. Brookes
  • EISBN：9781349171385
  • 出版社：Macmillan Education UK
  • 出版时间：1983
...

Reactive Extrusion Systems
  • 作者：Janssen,Leon P. B. M.
  • EISBN：9780203014172
  • 出版社：Taylor & Francis Group
  • 出版时间：2004-01-08
...

Verification of Reactive Systems
  • 作者：Klaus Schneider
  • EISBN：9783662107782
  • 出版社：Springer Berlin Heidelberg
  • 出版时间：2004