Logics and languages for reliability and security
Saved in:
| 企业作者: | , , |
|---|---|
| 其他作者: | , , |
| 格式: | 电子 电子书 |
| 语言: | 英语 |
| 出版: |
Washington, D.C. :
IOS Press,
2010.
|
| 丛编: | NATO science for peace and security series. Information and communication security ;
v. 25. |
| 主题: | |
| 在线阅读: | An electronic book accessible through the World Wide Web; click to view |
| 标签: |
添加标签
没有标签, 成为第一个标记此记录!
|
相似书籍
Software system reliability and security
出版: (2007)
出版: (2007)
Programming systems and languages.
由: Rosen, Saul
出版: (1967)
由: Rosen, Saul
出版: (1967)
Java security
由: Sethi, Harpreet
出版: (2002)
由: Sethi, Harpreet
出版: (2002)
The art of Assembly language
由: Hyde, Randall
出版: (2010)
由: Hyde, Randall
出版: (2010)
The art of assembly language
由: Hyde, Randall
出版: (2003)
由: Hyde, Randall
出版: (2003)
Programming languages : an interpreter-based approach /
由: Kamin, Samuel N.
出版: (1990)
由: Kamin, Samuel N.
出版: (1990)
Programming languages : principles and paradigms /
由: Tucker, Allen
出版: (2002)
由: Tucker, Allen
出版: (2002)
Programming languages : paradigm and practice /
由: Appleby, Doris
出版: (1991)
由: Appleby, Doris
出版: (1991)
Programming language pragmatics
由: Scott, Michael Lee, 1959-
出版: (2006)
由: Scott, Michael Lee, 1959-
出版: (2006)
Concepts of programming languages /
由: Sebesta, Robert W.
出版: (2004)
由: Sebesta, Robert W.
出版: (2004)
Concepts of programming languages /
由: Sebesta, Robert W.
出版: (1993)
由: Sebesta, Robert W.
出版: (1993)
Types and programming languages
由: Pierce, Benjamin C.
出版: (2002)
由: Pierce, Benjamin C.
出版: (2002)
GlassFish security secure your GlassFish installation, web applications, EJB applications, application client module, and web services using Java EE and GlassFish security measures /
由: Kalali, Masoud
出版: (2010)
由: Kalali, Masoud
出版: (2010)
Reliable JavaScript /
由: Spencer, Lawrence D., et al.
出版: (2015)
由: Spencer, Lawrence D., et al.
出版: (2015)
Certifications of critical systems - the CECRIS experience /
出版: (2017)
出版: (2017)
Principles of programming languages : design, evaluation, and implementation /
由: MacLennan, Bruce J.
出版: (1999)
由: MacLennan, Bruce J.
出版: (1999)
Programming language landscape : syntax, semantics, and implementation /
由: Marcotty, Michael, 1931-
出版: (1986)
由: Marcotty, Michael, 1931-
出版: (1986)
Design concepts in programming languages
由: Turbak, Franklyn Albin
出版: (2008)
由: Turbak, Franklyn Albin
出版: (2008)
Practical foundations for programming languages
由: Harper, Robert
出版: (2013)
由: Harper, Robert
出版: (2013)
Mathematical aspects of logic programming semantics /
由: Hitzler, Pascal, et al.
出版: (2011)
由: Hitzler, Pascal, et al.
出版: (2011)
Reliability issues for DoD systems report of a workshop /
出版: (2002)
出版: (2002)
Programming language pragmatics (a companied by CD /
由: Scott, Michael L.
出版: (2000)
由: Scott, Michael L.
出版: (2000)
Programming language pragmatics (a companied by CD /
由: Scott, Michael L.
出版: (2006)
由: Scott, Michael L.
出版: (2006)
Getting started with SBT for Scala : equip yourself with a high-productivity work environment using SBT, a build tool for Scala /
由: Saxena, Shiti
出版: (2013)
由: Saxena, Shiti
出版: (2013)
Software engineering (a lifecycle approach) /
由: Mohapatra, Pratap K. J.
出版: (2010)
由: Mohapatra, Pratap K. J.
出版: (2010)
Tcl/Tk8.5 programming cookbook over 100 great recipes to effectively learn Tcl/Tk8.5 /
由: Wheeler, Bert
出版: (2011)
由: Wheeler, Bert
出版: (2011)
Beginning c# game programming
由: Penton, Ron
出版: (2005)
由: Penton, Ron
出版: (2005)
The Professional programmers guide to C
由: McKay, Pat
出版: (1989)
由: McKay, Pat
出版: (1989)
The elements of C++ style
由: Misfeldt, Trevor, 1969-
出版: (2004)
由: Misfeldt, Trevor, 1969-
出版: (2004)
The Standard ML basis library
出版: (2004)
出版: (2004)
Intermediate business programming with C++
由: Voils, Don
出版: (2007)
由: Voils, Don
出版: (2007)
Advanced business programming with C++ 2005
由: Voils, Don
出版: (2007)
由: Voils, Don
出版: (2007)
NumPy beginner's guide an action-packed guide for the easy-to-use, high performance, Python based free open source NumPy mathematical library using real-world examples /
由: Idris, Ivan
出版: (2013)
由: Idris, Ivan
出版: (2013)
Professional Swift(Tm) /
由: Dippery, Michael
出版: (2015)
由: Dippery, Michael
出版: (2015)
Violent Python a cookbook for hackers, forensic analysts, penetration testers and security engineers /
由: O'Connor, T. J.
出版: (2013)
由: O'Connor, T. J.
出版: (2013)
Introduction to computer science ... /
由: Hume, J.N.P
出版: (1990)
由: Hume, J.N.P
出版: (1990)