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