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

Modeling and Verification Using UML Statecharts
PISBN：9780750679497
出版时间：Pre 2007
作者：Doron Drusinsky
主题词：Computer Science 1995 - 2006
语种：英语
所属数据库：Elsevier电子图书
丛书题名：n/a
1浏览量
 馆际互借
 查看订购单位
原文链接
相关推荐
...

Automated Validation & Verification of UML/OCL Models Using Satisfiability Solvers
  • 作者：Nils Przigoda,Robert Wille,Judith Przigoda,Rolf Drechsler
  • EISBN：9783319728148
  • 出版社：Springer International Publishing
  • 出版时间：2018
...

Modeling with UML
  • 作者：Bernhard Rumpe
  • EISBN：9783319339337
  • 出版社：Springer International Publishing
  • 出版时间：2016
...

Topological UML Modeling
  • 作者：Osis,Janis
  • PISBN：9780128054765
  • 出版时间：2017
...

Agile Modeling with UML
  • 作者：Bernhard Rumpe
  • EISBN：9783319588629
  • 出版社：Springer International Publishing
  • 出版时间：2017
...

≪UML≫ 2000 — The Unified Modeling Language
  • 作者：Andy Evans,Stuart Kent,Bran Selic
  • EISBN：9783540400110
  • 出版社：Springer Berlin Heidelberg
  • 出版时间：2000
...

≪UML≫ 2002 — The Unified Modeling Language
  • 作者：Jean-Marc Jézéquel,Heinrich Hussmann,Stephen Cook
  • EISBN：9783540458005
  • 出版社：Springer Berlin Heidelberg
  • 出版时间：2002