Advertisement

Distributed Systems

Methods and Tools for Specification An Advanced Course

  • Editors
  • M. Paul
  • H. J. Siegert
  • M. W. Alford
  • J. P. Ansart
  • G. Hommel
  • L. Lamport
  • B. Liskov
  • G. P. Mullery
  • F. B. Schneider
Book

Part of the Lecture Notes in Computer Science book series (LNCS, volume 190)

About this book

Keywords

Systems distributed systems form graph language model system tool verification

Bibliographic information

  • DOI https://doi.org/10.1007/3-540-15216-4
  • Copyright Information Springer-Verlag Berlin Heidelberg 1985
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-15216-3
  • Online ISBN 978-3-540-39363-4
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site
Industry Sectors
Pharma
Materials & Steel
Automotive
Biotechnology
Finance, Business & Banking
Electronics
IT & Software
Telecommunications
Consumer Packaged Goods
Energy, Utilities & Environment
Aerospace
Oil, Gas & Geosciences
Engineering