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