Image de couverture de livre

QR Code

Logics and languages for reliability and security

Enregistré dans:

Détails bibliographiques
Collectivités auteurs:	Technische Universität München (Germany), TECHNION. Israel Institute of Technology (Israel), ebrary, Inc
Autres auteurs:	Esparza, Javier, Spanfelner, Bernd, Grumberg, Orna
Format:	Électronique eBook
Langue:	anglais
Publié:	Washington, D.C. : IOS Press, 2010.
Collection:	NATO science for peace and security series. Information and communication security ; v. 25.
Sujets:	Programming languages (Electronic computers) Languages, Artificial. Computers > Reliability. Computer security. Electronic books.
Accès en ligne:	An electronic book accessible through the World Wide Web; click to view
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

Software system reliability and security
Publié: (2007)

Programming systems and languages.
par: Rosen, Saul
Publié: (1967)

Java security
par: Sethi, Harpreet
Publié: (2002)

The art of Assembly language
par: Hyde, Randall
Publié: (2010)

The art of assembly language
par: Hyde, Randall
Publié: (2003)

Programming languages : an interpreter-based approach /
par: Kamin, Samuel N.
Publié: (1990)

Programming languages : paradigm and practice /
par: Appleby, Doris
Publié: (1991)

Programming languages : principles and paradigms /
par: Tucker, Allen
Publié: (2002)

Programming language pragmatics
par: Scott, Michael Lee, 1959-
Publié: (2006)

Concepts of programming languages /
par: Sebesta, Robert W.
Publié: (2004)

Concepts of programming languages /
par: Sebesta, Robert W.
Publié: (1993)

Types and programming languages
par: Pierce, Benjamin C.
Publié: (2002)

GlassFish security secure your GlassFish installation, web applications, EJB applications, application client module, and web services using Java EE and GlassFish security measures /
par: Kalali, Masoud
Publié: (2010)

Reliable JavaScript /
par: Spencer, Lawrence D., et autres
Publié: (2015)

Programming language landscape : syntax, semantics, and implementation /
par: Marcotty, Michael, 1931-
Publié: (1986)

Principles of programming languages : design, evaluation, and implementation /
par: MacLennan, Bruce J.
Publié: (1999)

Certifications of critical systems - the CECRIS experience /
Publié: (2017)

Design concepts in programming languages
par: Turbak, Franklyn Albin
Publié: (2008)

Practical foundations for programming languages
par: Harper, Robert
Publié: (2013)

Mathematical aspects of logic programming semantics /
par: Hitzler, Pascal, et autres
Publié: (2011)

Programming language pragmatics (a companied by CD /
par: Scott, Michael L.
Publié: (2006)

Programming language pragmatics (a companied by CD /
par: Scott, Michael L.
Publié: (2000)

Reliability issues for DoD systems report of a workshop /
Publié: (2002)

Getting started with SBT for Scala : equip yourself with a high-productivity work environment using SBT, a build tool for Scala /
par: Saxena, Shiti
Publié: (2013)

Software engineering (a lifecycle approach) /
par: Mohapatra, Pratap K. J.
Publié: (2010)

Tcl/Tk8.5 programming cookbook over 100 great recipes to effectively learn Tcl/Tk8.5 /
par: Wheeler, Bert
Publié: (2011)

The Standard ML basis library
Publié: (2004)

Intermediate business programming with C++
par: Voils, Don
Publié: (2007)

Advanced business programming with C++ 2005
par: Voils, Don
Publié: (2007)

The elements of C++ style
par: Misfeldt, Trevor, 1969-
Publié: (2004)

The Professional programmers guide to C
par: McKay, Pat
Publié: (1989)

Beginning c# game programming
par: Penton, Ron
Publié: (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 /
par: Idris, Ivan
Publié: (2013)

Professional Swift(Tm) /
par: Dippery, Michael
Publié: (2015)

Introduction to computer science ... /
par: Hume, J.N.P
Publié: (1990)

Violent Python a cookbook for hackers, forensic analysts, penetration testers and security engineers /
par: O'Connor, T. J.
Publié: (2013)

F# for quantitative finance /
par: Astborg, Johan
Publié: (2013)

Programming with Microsoft Visual Basic 6.0 /
par: Zak, Diane
Publié: (2001)

Build your own framework with Visual FoxPro
par: Chazotte, Ken
Publié: (2004)

CoffeeScript programming with jQuery, Rails, and Node.js
par: Erasmus, Michael
Publié: (2012)