Applied semantics

By Gilles Barthe

"This book presents nine thoroughly reviewed and revised advanced lectures given at a graduate-level summer school in Caminha, Portugal, in September 2000"--Jacket.

Published

2002

Format

Pages

536

Language

English

ISBN

3540440445

More from Gilles Barthe

Foundations of Probabilistic Programming

Construction and Analysis of Safe, Secure, and Interoperable Smart Devices

Trustworthy Global Computing

Applied Semantics

Software Engineering and Formal Methods

Verification, Model Checking, and Abstract Interpretation

cover of Formal Aspects of Security and Trust

cover of Engineering Secure Software and Systems

cover of Programming Languages and Systems

The BiblioNest. Curate your collection, your way.

Explore Library About