Information flow : the logic of distributed systems

Bibliographic Information

Information flow : the logic of distributed systems

Jon Barwise, Jerry Seligman

(Cambridge tracts in theoretical computer science, 44)

Cambridge University Press, 1997

  • : hardback
  • : pbk

Search this Book/Journal
Note

Includes bibliography (p. 268-269), glossary of notation (p. 270-271), index of definitions (p. 272-273) and index of names (p. 274)

Includes exercises and answers to them

Related Books: 1-1 of 1
Details
Page Top