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

25 years of model checking : history achievements perspectives
出版社：Berlin : Springer, c2008.
ISBN：9783540698494
出版年：2008
作者：Grumberg,Orna
资源类型：图书
细分类型：西文文献
1浏览量
 馆际互借
访问借阅管理系统
相关推荐
...

Model checking
  • 作者：Clarke,Edmund M.
  • ISBN：0262032708
  • 出版社：Cambridge, Ma. : MIT Press, 1999.
  • 出版年：1999
...

Principles of model checking
  • 作者：Baier,Christel.
  • ISBN：9780262026499
  • 出版社：Cambridge, Mass. : The MIT Press, c2008.
  • 出版年：2008
...

Handbook of model checking
  • 作者：Clarke,Edmund M.,
  • ISBN：9783319105741
  • 出版社：Cham, Switzerland : Springer, 2018.
  • 出版年：2018
...

Model checking software : 25th International Symposium, SPIN 2018, Malaga, Spain, June 20-22, 2018 :
  • 作者：International SPIN Workshop
  • ISBN：9783319941103
  • 出版社：Cham, Switzerland : Springer, 2018.
  • 出版年：2018
...

Land reform in Italy : achievements and perspectives
  • 作者：Barbero,Giuseppe.
  • 出版社：Rome : Food and Agriculture Organization of the United Nations, 1961.
  • 出版年：1961
...

A History of the Royal College of General Practitioners : the first 25 years
  • 作者：Fry,John,
  • ISBN：0852004958
  • 出版社：Lancaster [Lancashire] ; Boston : MTP Press, 1983.
  • 出版年：1983