Kapak Resmi

QR Kod

Logics and languages for reliability and security

Kaydedildi:

Detaylı Bibliyografya
Kurumsal yazarlar:	Technische Universität München (Germany), TECHNION. Israel Institute of Technology (Israel), ebrary, Inc
Diğer Yazarlar:	Esparza, Javier, Spanfelner, Bernd, Grumberg, Orna
Materyal Türü:	Elektronik Ekitap
Dil:	İngilizce
Baskı/Yayın Bilgisi:	Washington, D.C. : IOS Press, 2010.
Seri Bilgileri:	NATO science for peace and security series. Information and communication security ; v. 25.
Konular:	Programming languages (Electronic computers) Languages, Artificial. Computers > Reliability. Computer security. Electronic books.
Online Erişim:	An electronic book accessible through the World Wide Web; click to view
Etiketler:	Etiketle Etiket eklenmemiş, İlk siz ekleyin!

Benzer Materyaller

Software system reliability and security
Baskı/Yayın Bilgisi: (2007)

Programming systems and languages.
Yazar:: Rosen, Saul
Baskı/Yayın Bilgisi: (1967)

Java security
Yazar:: Sethi, Harpreet
Baskı/Yayın Bilgisi: (2002)

The art of Assembly language
Yazar:: Hyde, Randall
Baskı/Yayın Bilgisi: (2010)

The art of assembly language
Yazar:: Hyde, Randall
Baskı/Yayın Bilgisi: (2003)

Programming languages : an interpreter-based approach /
Yazar:: Kamin, Samuel N.
Baskı/Yayın Bilgisi: (1990)

Programming languages : paradigm and practice /
Yazar:: Appleby, Doris
Baskı/Yayın Bilgisi: (1991)

Programming languages : principles and paradigms /
Yazar:: Tucker, Allen
Baskı/Yayın Bilgisi: (2002)

Programming language pragmatics
Yazar:: Scott, Michael Lee, 1959-
Baskı/Yayın Bilgisi: (2006)

Concepts of programming languages /
Yazar:: Sebesta, Robert W.
Baskı/Yayın Bilgisi: (1993)

Concepts of programming languages /
Yazar:: Sebesta, Robert W.
Baskı/Yayın Bilgisi: (2004)

Types and programming languages
Yazar:: Pierce, Benjamin C.
Baskı/Yayın Bilgisi: (2002)

Certifications of critical systems - the CECRIS experience /
Baskı/Yayın Bilgisi: (2017)

GlassFish security secure your GlassFish installation, web applications, EJB applications, application client module, and web services using Java EE and GlassFish security measures /
Yazar:: Kalali, Masoud
Baskı/Yayın Bilgisi: (2010)

Reliable JavaScript /
Yazar:: Spencer, Lawrence D., ve diğerleri
Baskı/Yayın Bilgisi: (2015)

Principles of programming languages : design, evaluation, and implementation /
Yazar:: MacLennan, Bruce J.
Baskı/Yayın Bilgisi: (1999)

Programming language landscape : syntax, semantics, and implementation /
Yazar:: Marcotty, Michael, 1931-
Baskı/Yayın Bilgisi: (1986)

Design concepts in programming languages
Yazar:: Turbak, Franklyn Albin
Baskı/Yayın Bilgisi: (2008)

Practical foundations for programming languages
Yazar:: Harper, Robert
Baskı/Yayın Bilgisi: (2013)

Reliability issues for DoD systems report of a workshop /
Baskı/Yayın Bilgisi: (2002)

Mathematical aspects of logic programming semantics /
Yazar:: Hitzler, Pascal, ve diğerleri
Baskı/Yayın Bilgisi: (2011)

Programming language pragmatics (a companied by CD /
Yazar:: Scott, Michael L.
Baskı/Yayın Bilgisi: (2006)

Programming language pragmatics (a companied by CD /
Yazar:: Scott, Michael L.
Baskı/Yayın Bilgisi: (2000)

Getting started with SBT for Scala : equip yourself with a high-productivity work environment using SBT, a build tool for Scala /
Yazar:: Saxena, Shiti
Baskı/Yayın Bilgisi: (2013)

Software engineering (a lifecycle approach) /
Yazar:: Mohapatra, Pratap K. J.
Baskı/Yayın Bilgisi: (2010)

Tcl/Tk8.5 programming cookbook over 100 great recipes to effectively learn Tcl/Tk8.5 /
Yazar:: Wheeler, Bert
Baskı/Yayın Bilgisi: (2011)

The Professional programmers guide to C
Yazar:: McKay, Pat
Baskı/Yayın Bilgisi: (1989)

The Standard ML basis library
Baskı/Yayın Bilgisi: (2004)

Intermediate business programming with C++
Yazar:: Voils, Don
Baskı/Yayın Bilgisi: (2007)

Advanced business programming with C++ 2005
Yazar:: Voils, Don
Baskı/Yayın Bilgisi: (2007)

Beginning c# game programming
Yazar:: Penton, Ron
Baskı/Yayın Bilgisi: (2005)

The elements of C++ style
Yazar:: Misfeldt, Trevor, 1969-
Baskı/Yayın Bilgisi: (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 /
Yazar:: Idris, Ivan
Baskı/Yayın Bilgisi: (2013)

Professional Swift(Tm) /
Yazar:: Dippery, Michael
Baskı/Yayın Bilgisi: (2015)

Violent Python a cookbook for hackers, forensic analysts, penetration testers and security engineers /
Yazar:: O'Connor, T. J.
Baskı/Yayın Bilgisi: (2013)

Introduction to computer science ... /
Yazar:: Hume, J.N.P
Baskı/Yayın Bilgisi: (1990)

F# for quantitative finance /
Yazar:: Astborg, Johan
Baskı/Yayın Bilgisi: (2013)

Programming with Microsoft Visual Basic 6.0 /
Yazar:: Zak, Diane
Baskı/Yayın Bilgisi: (2001)

Build your own framework with Visual FoxPro
Yazar:: Chazotte, Ken
Baskı/Yayın Bilgisi: (2004)

CoffeeScript programming with jQuery, Rails, and Node.js
Yazar:: Erasmus, Michael
Baskı/Yayın Bilgisi: (2012)