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