Applied Semantics

View on Open Library

Applied Semantics

by Gilles Barthe , Peter Dybjer , Luis Pinto , João Saraiva

No reviews yet

First published: 2003 1 language ISBN: 9783540456995

Reviews

Log in or sign up to write a review.

No reviews yet. Be the first!

More by Gilles Barthe

Foundations of Probabilistic Programming

Foundations of Probabilistic Programming

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

Construction and Analysis of Safe, Secur...

L'enfance spirituelle

L'enfance spirituelle

Formal Aspects of Security and Trust

Formal Aspects of Security and Trust

Trustworthy Global Computing

Trustworthy Global Computing

Software Engineering and Formal Methods

Software Engineering and Formal Methods