Information flow : the logic of distributed systems

Bibliographic Details
Main Author: Barwise, Jon (-)
Other Authors: Seligman, Jerry
Format: Book
Language:Inglés
Published: Cambridge : Cambridge University Press 1997.
Series:Cambridge tracts in theoretical computer science ; 44
Description
Physical Description:273 p. ; 24 cm
ISBN:9780521583862