Зображення обкладинки

QR код

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
Формат:	Електронний ресурс eКнига
Мова:	Англійська
Опубліковано:	Washington, D.C. : IOS Press, 2010.
Серія:	NATO science for peace and security series. Information and communication security ; v. 25.
Предмети:	Programming languages (Electronic computers) Languages, Artificial. Computers > Reliability. Computer security. Electronic books.
Онлайн доступ:	An electronic book accessible through the World Wide Web; click to view
Теги:	Додати тег Немає тегів, Будьте першим, хто поставить тег для цього запису!

Схожі ресурси

Software system reliability and security
Опубліковано: (2007)

Programming systems and languages.
за авторством: Rosen, Saul
Опубліковано: (1967)

Java security
за авторством: Sethi, Harpreet
Опубліковано: (2002)

The art of Assembly language
за авторством: Hyde, Randall
Опубліковано: (2010)

The art of assembly language
за авторством: Hyde, Randall
Опубліковано: (2003)

Programming languages : an interpreter-based approach /
за авторством: Kamin, Samuel N.
Опубліковано: (1990)

Programming languages : principles and paradigms /
за авторством: Tucker, Allen
Опубліковано: (2002)

Programming languages : paradigm and practice /
за авторством: Appleby, Doris
Опубліковано: (1991)

Programming language pragmatics
за авторством: Scott, Michael Lee, 1959-
Опубліковано: (2006)

Concepts of programming languages /
за авторством: Sebesta, Robert W.
Опубліковано: (1993)

Concepts of programming languages /
за авторством: Sebesta, Robert W.
Опубліковано: (2004)

Types and programming languages
за авторством: 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)

Certifications of critical systems - the CECRIS experience /
Опубліковано: (2017)

Reliable JavaScript /
за авторством: Spencer, Lawrence D., та інші
Опубліковано: (2015)

Principles of programming languages : design, evaluation, and implementation /
за авторством: MacLennan, Bruce J.
Опубліковано: (1999)

Programming language landscape : syntax, semantics, and implementation /
за авторством: Marcotty, Michael, 1931-
Опубліковано: (1986)

Design concepts in programming languages
за авторством: Turbak, Franklyn Albin
Опубліковано: (2008)

Practical foundations for programming languages
за авторством: Harper, Robert
Опубліковано: (2013)

Mathematical aspects of logic programming semantics /
за авторством: Hitzler, Pascal, та інші
Опубліковано: (2011)

Reliability issues for DoD systems report of a workshop /
Опубліковано: (2002)

Programming language pragmatics (a companied by CD /
за авторством: Scott, Michael L.
Опубліковано: (2006)

Programming language pragmatics (a companied by CD /
за авторством: Scott, Michael L.
Опубліковано: (2000)

Getting started with SBT for Scala : equip yourself with a high-productivity work environment using SBT, a build tool for Scala /
за авторством: Saxena, Shiti
Опубліковано: (2013)

Software engineering (a lifecycle approach) /
за авторством: Mohapatra, Pratap K. J.
Опубліковано: (2010)

Tcl/Tk8.5 programming cookbook over 100 great recipes to effectively learn Tcl/Tk8.5 /
за авторством: Wheeler, Bert
Опубліковано: (2011)

Intermediate business programming with C++
за авторством: Voils, Don
Опубліковано: (2007)

Advanced business programming with C++ 2005
за авторством: Voils, Don
Опубліковано: (2007)

The elements of C++ style
за авторством: Misfeldt, Trevor, 1969-
Опубліковано: (2004)

Beginning c# game programming
за авторством: Penton, Ron
Опубліковано: (2005)

The Professional programmers guide to C
за авторством: McKay, Pat
Опубліковано: (1989)

The Standard ML basis library
Опубліковано: (2004)

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)

Professional Swift(Tm) /
за авторством: Dippery, Michael
Опубліковано: (2015)

Violent Python a cookbook for hackers, forensic analysts, penetration testers and security engineers /
за авторством: O'Connor, T. J.
Опубліковано: (2013)

Introduction to computer science ... /
за авторством: Hume, J.N.P
Опубліковано: (1990)

F# for quantitative finance /
за авторством: Astborg, Johan
Опубліковано: (2013)

Build your own framework with Visual FoxPro
за авторством: Chazotte, Ken
Опубліковано: (2004)

Programming with Microsoft Visual Basic 6.0 /
за авторством: Zak, Diane
Опубліковано: (2001)

CoffeeScript programming with jQuery, Rails, and Node.js
за авторством: Erasmus, Michael
Опубліковано: (2012)