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

Formal Logical Methods for System Security and Correctness
EISBN：9781607503156
PISBN：9781586038434
出版社：IOS Press, Incorporated
出版时间：2008-03-27
版次：1
作者：Grumberg,O.;Nipkow,T.;Pfaller,C.
主题词：Computer Science/IT
语种：英语
所属数据库：ProQuest Ebook Central
丛书题名：NATO Science for Peace and Security Series: Information and Communication Security, v. 14
1浏览量
 馆际互借
 查看订购单位
原文链接
相关推荐
...

Formal Correctness of Security Protocols
  • 作者：Giampaolo Bella
  • EISBN：9783540681366
  • 出版社：Springer Berlin Heidelberg
  • 出版时间：2007
...

Logical Methods
  • 作者：John N. Crossley,Jeffrey B. Remmel,Richard Shore,Moss E. Sweedler
  • EISBN：9781461203254
  • 出版社：Birkhäuser Boston
  • 出版时间：1993
...

Logical Methods
  • 作者：John N. Crossley,Jeffrey B. Remmel,Richard A. Shore,Moss E. Sweedler
  • EISBN：9781461203254
  • 出版社：Birkhäuser Boston
  • 出版时间：1993
...

Formal Methods and Models for System Design
  • 作者：Rajesh Gupta,Paul Le Guernic,Sandeep Kumar Shukla,Jean-Pierre Talpin
  • EISBN：9781402080524
  • 出版社：Springer US
  • 出版时间：2004
...

Formal Methods for Distributed System Development
  • 作者：Tommaso Bolognesi,Diego Latella
  • EISBN：9780387355337
  • 出版社：Springer US
  • 出版时间：2000
...

Formal Methods and Models for System Design
  • 作者：Rajesh Gupta,Paul Le Guernic,Sandeep Kumar Shukla,Jean-Pierre Talpin
  • EISBN：9781402080524
  • 出版社：Springer US
  • 出版时间：2004