• Campus Access
  • About MPG.eBooks
Skip to content
Search Tips
  • Home>
  • The Analysis of Concurrent Sys...
  • Description
Language
  • Advanced
Cover Image
Read Now

The Analysis of Concurrent Systems Cambridge, September 12-16, 1983. Proceedings

Bibliographic Details
Other Authors: Denvir, B.T. (Editor), Harwood, W.T. (Editor), Jackson, M.I. (Editor), Wray, M.J. (Editor)
Format: eBook
Language:English
Published: Berlin, Heidelberg Springer Berlin Heidelberg 1985, 1985
Edition:1st ed. 1985
Series:Lecture Notes in Computer Science
Subjects:
Computer Systems
Computer Science Logic And Foundations Of Programming
Computer Science
Computer System Implementation
Online Access:
https://doi.org/10.1007/3-540-16047-7?nosfx=y
Collection: Springer Book Archives -2004 - Collection details see MPG.ReNa
    • Export to EndNoteWeb
    • Export to EndNote
    • Export to MARC
    • Export to BibTeX
  • Description
  • Table of Contents
  • Staff View
Description
Physical Description:XII, 404 p online resource
ISBN:9783540397311

Similar Items

  • Logic for Concurrency and Synchronisation
    Published: (2003)
  • CONCUR 2001 - Concurrency Theory : 12th International Conference, Aalborg, Denmark, August 20-25, 2001 Proceedings
    Published: (2001)
  • CONCUR 2007 - Concurrency Theory : 18th International Conference, CONCUR 2007, Lisbon, Portugal, September 3-8, 2007, Proceedings
    Published: (2007)
  • CONCUR 2005 - Concurrency Theory : 16th International Conference, CONCUR 2005, San Francisco, CA, USA, August 23-26, 2005, Proceedings
    Published: (2005)
  • CSL '87 : 1st Workshop on Computer Science Logic, Karlsruhe, FRG, October 12-16, 1987. Proceedings
    Published: (1988)
Logo Max Planck Digital Library
  • Advanced Search
  • Recently Uploaded
  • Search History
  • Disclaimer
  • Privacy Policy
  • Cookie Settings
  • Contact
Loading...