Applied semantics View on Open Library

Applied semantics

by Gilles Barthe

No reviews yet
First published: 2002 1 language ISBN: 3540440445
Description
"This book presents nine thoroughly reviewed and revised advanced lectures given at a graduate-level summer school in Caminha, Portugal, in September 2000"--Jacket.
Subjects
Semantics Programming languages (Electronic computers) Computer science Logic design

Reviews

Log in or sign up to write a review.

No reviews yet. Be the first!

More by Gilles Barthe

Formal Aspects of Security and Trust

Formal Aspects of Security and Trust

Engineering Secure Software and Systems

Engineering Secure Software and Systems

Programming Languages and Systems

Programming Languages 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 Semantics
The Devil's Dictionary

The Devil's Dictionary

Ambrose Bierce
Tractatus logico-philosophicus

Tractatus logico-philosophicus

Ludwig Wittgenstein
The meaning of meaning

The meaning of meaning

C. K. Ogden
Philosophische Untersuchungen

Philosophische Untersuchungen

Ludwig Wittgenstein
Zhonghua da dian

Zhonghua da dian

"Zhonghua da dian" gong zuo wei yuan hui
On the study of words

On the study of words

Richard Chenevix Trench