登录
 机构网站
  1. 首页
  2. 馆藏纸本
  3. 图书详情
...

Automatic Verification methods for finite state systems : international workshop Grenoble France

出版社：Berlin ; New York : Springer-Verlag, c1990.
ISBN：0387521488
出版年：1990
作者：Sifakis,J.
资源类型：图书
细分类型：西文文献
2浏览量
 馆际互借
访问借阅管理系统
相关推荐
...

Hybrid and real-time systems : international workshop, HART''97, Grenoble, France, March 26-28, 1997
  • 作者：Maler,Oded
  • ISBN：354062600X
  • 出版社：Berlin ; New York : Springer, c1997.
  • 出版年：1997
...

Hybrid systems biology : 5th International Workshop, HSB 2016, Grenoble, France, October 20-21, 2016
  • 作者：HSB 2016
  • ISBN：9783319471501
  • 出版社：Cham : Springer, 2016.
  • 出版年：2016
...

Computer aided verification : 21st international conference, CAV 2009, Grenoble, France, June 26 - J
  • 作者：CAV 2009
  • ISBN：9783642026577
  • 出版社：Berlin ; New York : Springer, c2009.
  • 出版年：2009
...

Finite-state methods and natural language processing : 8th international workshop, FSMNLP 2009, Pret
  • 作者：FSMNLP 2009
  • ISBN：9783642146831
  • 出版社：Berlin ; New York : Springer, c2010.
  • 出版年：2010
...

Finite-state methods and natural language processing : 5th international workshop, FSMNLP 2005, Hels
  • 作者：FSMNLP 2005
  • ISBN：9783540354673
  • 出版社：Berlin ; New York : Springer, c2006.
  • 出版年：2006
...

Critical systems : formal methods and automated verification : joint 21st International Workshop on
  • 作者：FMICS 2016
  • ISBN：9783319459424
  • 出版社：Cham : Springer, 2016.
  • 出版年：2016