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

Design Methods for Reactive Systems: Yourdon, Statemate, and the UML
PISBN：9781558607552
出版时间：Pre 2007
作者：R. J. Wieringa
主题词：Computer Science 1995 - 2006
语种：英语
所属数据库：Elsevier电子图书
丛书题名：The Morgan Kaufmann Series in Software Engineering and Programming
1浏览量
 馆际互借
 查看订购单位
原文链接
相关推荐
...

UML-B Specification for Proven Embedded Systems Design
  • 作者：Jean Mermet
  • EISBN：9781402028670
  • 出版社：Springer US
  • 出版时间：2004
...

Advanced Systems Design with Java, UML and MDA
  • 作者：Kevin Lano
  • PISBN：9780750664967
  • 出版时间：Pre 2007
...

UML-B Specification for Proven Embedded Systems Design
  • 作者：Fredrik Bernin,Michael Butler,Dominique Cansell,Stefan Hallerstede,Klaus Kronlöf,Alexander Krupp,Thierry Lecomte,Michael Lundell,Ola Lundkvist,Michele Marchetti,Wolfgang Mueller,Ian Oliver,Denis Sabatier,Tim Schattkowsky,Colin Snook,Nikolaos S. Voros,Yann Zimmermann
  • EISBN：9781402028670
  • 出版社：Springer US
  • 出版时间：2004
...

UML for SOC Design
  • 作者：Grant Martin,Wolfgang Müller
  • EISBN：9780387257457
  • 出版社：Springer US
  • 出版时间：2005
...

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