Programming Languages and Systems

View on Open Library

Programming Languages and Systems

by Gilles Barthe

No reviews yet

First published: 2011 1 language ISBN: 9783642197178

Subjects

Logic design Computer networks Software engineering Computer science Artificial intelligence Computer programming Programming languages (electronic computers) Programming Languages, Compilers, Interpreters Programming Techniques Logics and Meanings of Programs

Reviews

Log in or sign up to write a review.

No reviews yet. Be the first!

More by Gilles Barthe

Applied semantics

Applied semantics

Formal Aspects of Security and Trust

Formal Aspects of Security and Trust

Engineering Secure Software and Systems

Engineering Secure Software and Systems

Formal Methods for Open Object-Based Distributed Systems

Formal Methods for Open Object-Based Dis...

Engineering Secure Software And Systems 4th International Symposium Essos 2012 Eindhoven The Netherlands February 1617 2012 Proceedings

Engineering Secure Software And Systems ...

Formal Aspects Of Security And Trust 8th International Workshop Fast 2011 Leuven Belgium September 1214 2011 Revised Selected Papers

Formal Aspects Of Security And Trust 8th...

You Might Also Like

More in Logic design

Kokuritsu Kokkai Toshokan shozō Meijiki kankō tosho maikuro-ban shūsei

Kokuritsu Kokkai Toshokan shozō Meijiki ...

Kokuritsu Kokkai Toshokan (Japan)

The Logic of Scientific Discovery

The Logic of Scientific Discovery

Karl Popper

Digital Design

John F. Wakerly

Evaluation of Novel Approaches to Software Engineering

Evaluation of Novel Approaches to Softwa...

Leszek A. Maciaszek

Information and Communication Technologies in Education, Research, and Industrial Applications

Information and Communication Technologi...

Vadim Ermolayev

How computers work

How computers work

Ron White