Logics and languages for reliability and security
Saved in:
| Corporate Authors: | , , |
|---|---|
| Other Authors: | , , |
| Format: | Electronic eBook |
| Language: | English |
| Published: |
Washington, D.C. :
IOS Press,
2010.
|
| Series: | NATO science for peace and security series. Information and communication security ;
v. 25. |
| Subjects: | |
| Online Access: | An electronic book accessible through the World Wide Web; click to view |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Similar Items
Software system reliability and security
Published: (2007)
Published: (2007)
Programming systems and languages.
by: Rosen, Saul
Published: (1967)
by: Rosen, Saul
Published: (1967)
Java security
by: Sethi, Harpreet
Published: (2002)
by: Sethi, Harpreet
Published: (2002)
The art of Assembly language
by: Hyde, Randall
Published: (2010)
by: Hyde, Randall
Published: (2010)
The art of assembly language
by: Hyde, Randall
Published: (2003)
by: Hyde, Randall
Published: (2003)
Programming languages : an interpreter-based approach /
by: Kamin, Samuel N.
Published: (1990)
by: Kamin, Samuel N.
Published: (1990)
Programming languages : principles and paradigms /
by: Tucker, Allen
Published: (2002)
by: Tucker, Allen
Published: (2002)
Programming languages : paradigm and practice /
by: Appleby, Doris
Published: (1991)
by: Appleby, Doris
Published: (1991)
Programming language pragmatics
by: Scott, Michael Lee, 1959-
Published: (2006)
by: Scott, Michael Lee, 1959-
Published: (2006)
Concepts of programming languages /
by: Sebesta, Robert W.
Published: (2004)
by: Sebesta, Robert W.
Published: (2004)
Concepts of programming languages /
by: Sebesta, Robert W.
Published: (1993)
by: Sebesta, Robert W.
Published: (1993)
Types and programming languages
by: Pierce, Benjamin C.
Published: (2002)
by: Pierce, Benjamin C.
Published: (2002)
GlassFish security secure your GlassFish installation, web applications, EJB applications, application client module, and web services using Java EE and GlassFish security measures /
by: Kalali, Masoud
Published: (2010)
by: Kalali, Masoud
Published: (2010)
Reliable JavaScript /
by: Spencer, Lawrence D., et al.
Published: (2015)
by: Spencer, Lawrence D., et al.
Published: (2015)
Certifications of critical systems - the CECRIS experience /
Published: (2017)
Published: (2017)
Principles of programming languages : design, evaluation, and implementation /
by: MacLennan, Bruce J.
Published: (1999)
by: MacLennan, Bruce J.
Published: (1999)
Programming language landscape : syntax, semantics, and implementation /
by: Marcotty, Michael, 1931-
Published: (1986)
by: Marcotty, Michael, 1931-
Published: (1986)
Design concepts in programming languages
by: Turbak, Franklyn Albin
Published: (2008)
by: Turbak, Franklyn Albin
Published: (2008)
Practical foundations for programming languages
by: Harper, Robert
Published: (2013)
by: Harper, Robert
Published: (2013)
Mathematical aspects of logic programming semantics /
by: Hitzler, Pascal, et al.
Published: (2011)
by: Hitzler, Pascal, et al.
Published: (2011)
Reliability issues for DoD systems report of a workshop /
Published: (2002)
Published: (2002)
Programming language pragmatics (a companied by CD /
by: Scott, Michael L.
Published: (2000)
by: Scott, Michael L.
Published: (2000)
Programming language pragmatics (a companied by CD /
by: Scott, Michael L.
Published: (2006)
by: Scott, Michael L.
Published: (2006)
Getting started with SBT for Scala : equip yourself with a high-productivity work environment using SBT, a build tool for Scala /
by: Saxena, Shiti
Published: (2013)
by: Saxena, Shiti
Published: (2013)
Software engineering (a lifecycle approach) /
by: Mohapatra, Pratap K. J.
Published: (2010)
by: Mohapatra, Pratap K. J.
Published: (2010)
Tcl/Tk8.5 programming cookbook over 100 great recipes to effectively learn Tcl/Tk8.5 /
by: Wheeler, Bert
Published: (2011)
by: Wheeler, Bert
Published: (2011)
Beginning c# game programming
by: Penton, Ron
Published: (2005)
by: Penton, Ron
Published: (2005)
The Professional programmers guide to C
by: McKay, Pat
Published: (1989)
by: McKay, Pat
Published: (1989)
The elements of C++ style
by: Misfeldt, Trevor, 1969-
Published: (2004)
by: Misfeldt, Trevor, 1969-
Published: (2004)
The Standard ML basis library
Published: (2004)
Published: (2004)
Intermediate business programming with C++
by: Voils, Don
Published: (2007)
by: Voils, Don
Published: (2007)
Advanced business programming with C++ 2005
by: Voils, Don
Published: (2007)
by: Voils, Don
Published: (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 /
by: Idris, Ivan
Published: (2013)
by: Idris, Ivan
Published: (2013)
Professional Swift(Tm) /
by: Dippery, Michael
Published: (2015)
by: Dippery, Michael
Published: (2015)
Violent Python a cookbook for hackers, forensic analysts, penetration testers and security engineers /
by: O'Connor, T. J.
Published: (2013)
by: O'Connor, T. J.
Published: (2013)
Introduction to computer science ... /
by: Hume, J.N.P
Published: (1990)
by: Hume, J.N.P
Published: (1990)
F# for quantitative finance /
by: Astborg, Johan
Published: (2013)
by: Astborg, Johan
Published: (2013)
Programming with Microsoft Visual Basic 6.0 /
by: Zak, Diane
Published: (2001)
by: Zak, Diane
Published: (2001)
Build your own framework with Visual FoxPro
by: Chazotte, Ken
Published: (2004)
by: Chazotte, Ken
Published: (2004)
CoffeeScript programming with jQuery, Rails, and Node.js
by: Erasmus, Michael
Published: (2012)
by: Erasmus, Michael
Published: (2012)