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

Abstraction, Refinement and Proof for Probabilistic Systems
EISBN：9780387270067
PISBN：9780387401157
出版社：Springer New York
出版类型：Monograph
出版时间：2005
作者：Annabelle McIver,Carroll Morgan
主题词：Programming Techniques,Logics and Meanings of Programs,Programming Languages,Compilers,Interpreters,Mathematical Logic and Formal Languages
语种：英语
所属数据库：SpringerLink电子图书
丛书题名：Texts and Monographs in Computer Science
1浏览量
 馆际互借
 查看订购单位
原文链接
相关推荐
...

Abstraction Refinement for Large Scale Model Checking
  • 作者：Chao Wang,Gary D. Hachtel,Fabio Somenzi
  • EISBN：9780387346007
  • 出版社：Springer US
  • 出版时间：2006
...

Abstraction in Artificial Intelligence and Complex Systems
  • 作者：Lorenza Saitta,Jean-Daniel Zucker
  • EISBN：9781461470526
  • 出版社：Springer New York
  • 出版时间：2013
...

Stepwise Refinement of Distributed Systems
  • 作者：Jaco W. de Bakker,Willem-Paul de Roever,Grzegorz Rozenberg
  • EISBN：9783540470359
  • 出版社：Springer Berlin Heidelberg
  • 出版时间：1990
...

Resolution Proof Systems
  • 作者：Z. Stachniak
  • EISBN：9789400916777
  • 出版社：Springer Netherlands
  • 出版时间：1996
...

Resolution Proof Systems
  • 作者：Zbigniew Stachniak
  • EISBN：9789400916777
  • 出版社：Springer Netherlands
  • 出版时间：1996
...

Proof Theory and Intuitionistic Systems
  • 作者：Bruno Scarpellini
  • EISBN：9783540368755
  • 出版社：Springer Berlin Heidelberg
  • 出版时间：1971