Logics and languages for reliability and security /

Logics and languages for reliability and security /

Includes index

Bibliographic Details
Main Authors:	Esparza, Javier, Spanfelner, Bernd, Grumberg, Orna
Format:
Language:	eng
Published:	Washington, D.C. : IOS Press, 2010
Subjects:	Programming languages (Electronic computers) Languages, Artificial Computers

Similar Items

Enhancement of natural language processing approach for automated generation of object constraint language /
by: Samin Salemi, 1985-, author, et al.
Published: (2015)

Enhancement of natural language processing approach for automated generation of object constraint language /
by: Samin Salemi, 1985-, author
Published: (2015)

P-Prolog : a parallel logic programming language /
by: 223115 Yang, Rong
Published: (1987)

ACM transactions on programming languages and systems
by: Association for Computing Machinery (United States)
Published: (1879)

Programming language foundations /
by: 568521 Stump, Aaron
Published: (2014)

Logics of specification languages /
by: Bjorner, D. (Dines), 1937-, et al.
Published: (2008)

Natural language understanding /
by: Allen, James, 1960-
Published: (1987)

Introduction to the theory of programming languages /
by: Meyer, Bertrand, 1950-
Published: (1990)

Programming language syntax and semantics /
by: Watt, David A. (David Anthony), et al.
Published: (1990)

An introduction to computer languages
by: 179948 Heaps, H.

The GASP IV simulation language /
by: 287947 Pritsker, A. Alan B.
Published: (1974)

Scripting in Java : languages, frameworks, and patterns /
by: 258241 Bosanac, Dejan
Published: (2008)

Foundations of logic programming /
by: 269625 Lloyd, J. W. (John Wylie), 1947-
Published: (1987)

Assembly language programming for the Apple II /
by: 406279 Mottola, Robert
Published: (1982)

Information technology : programming languages : MUMPS
by: 8096 British Standards Institution, et al.

Information technology : programming languages - FORTRAN
by: 8096 British Standards Institution, et al.

CCITT high level language (CHILL)
by: 8096 British Standards Institution, et al.

On automatic composition of stereotypic documents in foreign languages /
by: 288571 Saito, Hiroaki, et al.

Introduction to programming languages /
by: 588594 Bansal, Arvind Kumar
Published: (2014)

Introduction to computer science using the turing programming language /
by: 217982 Holt, Richard C., et al.
Published: (1984)

Software : Programming languages
by: Open University. Algorithmic Approach to Computing Course Team
Published: (1973)

Apple II assembly language /
by: 170586 De Jong, Marvin L.
Published: (1982)

Concepts of programming languages /
by: 282148 Elson, Mark
Published: (1973)

Programming and languages [kasetvideo]
Published: ([19-)

Programming and languages [filem]
Published: ([n.d)

Programming language fundamentals by example /
by: 264986 Stevenson, D. E.
Published: (2007)

Understanding Z : a specification language and its formal semantics /
by: 201842 Spivey, J. M.
Published: (1988)

Mathematical aspects of logic programming semantics /
by: Hitzler, Pascal 409791, et al.
Published: (c201)

Computer languages
Published: (1975)

Programming languages /
by: 265335 Tucker, Allen B.
Published: (1977)

Programming languages /
by: Genuys, F.
Published: (1968)

Computer languages /
Published: (1986)

Programming languages /
by: 265335 Tucker, Allen B.
Published: (1985)

Command languages : proceedings of the IFIP Working Conference on Command Languages /
by: Unger, Claus
Published: (1975)

A visual language for knowledge acquisition, display and animation by domain experts and novices / [mikrofilem]
by: 459082 Mahling, Dirk Ernst

Programming language pragmatics /
by: Scott, Michael Lee, 1959-
Published: (2006)

Concepts of programming languages /
by: 173569 Sebesta, Robert W.
Published: (2005)

Programming languages and methodologies /
by: 372461 Schalkoff, Robert J.
Published: (2007)

Essentials of programming languages /
by: 375829 Friedman, Daniel P., et al.
Published: (2008)

Programming language pragmatics /
by: 196446 Scott, Michael L.
Published: (2009)