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