Logics and languages for reliability and security / [edited by] Javier Esparza, Bernd Spanfelner, Orna Grumberg.
Saved in:
Superior document: | NATO science for peace and security series. D, Information and communication security ; v. 25 |
---|---|
: | |
TeilnehmendeR: | |
Year of Publication: | 2010 |
Language: | English |
Series: | NATO science for peace and security series. Information and communication security ;
v. 25. |
Online Access: | |
Physical Description: | ix, 325 p. :; ill. |
Notes: | Includes indexes. |
Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Similar Items
-
Software system reliability and security / edited by Manfred Broy, Johannes Grunbauer and Tony Hoare.
Published: (c2007.) -
Security, privacy and reliability in computer communications and networks / / Kewei Sha, Aaron Striegel and Min Song, editors.
Published: ([2017]) -
Conditional and preferential logics : proof methods and theorem proving / / Gian Luca Pozzato.
by: Pozzato, Gian Luca.
Published: (c2010.) -
Artificial neural network for software reliability prediction / / by Manjubala Bisi and Neeraj Kumar Goyal.
by: Bisi, Manjubala,
Published: (2017.) -
Reliability assurance of big data in the cloud : : cost-effective replication-based storage / / Yun Yang, Dong Yuan, Wenhao Li ; Todd Green, acquiring editor ; Mark Rogers, designer.
by: Yang, Yun,
Published: (2015.)