Distributed systems. Methods and tools for specification. An advanced course (Munich, April 3-12, 1984)

zbMath0578.68002MaRDI QIDQ1066659

No author found.

Publication date: 1985

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

zbMATH Keywords

verificationCourseprogramming languagesprotocolspecificationDistributed systemsDistributed SystemsMunich/Germany

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Research exposition (monographs, survey articles) pertaining to computer science (68-02) Theory of software (68N99)

This page was built for publication: Distributed systems. Methods and tools for specification. An advanced course (Munich, April 3-12, 1984)