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