Specification and verification of concurrent systems
London [u.a.]: Springer, 1990
Konferenzschrift, Sammelwerk, Gedruckte Ressource
- VIII, 612 S. : graph. Darst.
Zugriff:
Ermittle Ausleihstatus...
Titel: |
Specification and verification of concurrent systems
|
---|---|
Verantwortlichkeitsangabe: | [papers pesented at the BCS-FACS Workshop on Specification and Verificationon Concurrent Systems held on 6 - 8 July 1988 at the University of Stirling, Scotland]. C. Rattray (Ed.) |
Autor/in / Beteiligte Person: | Rattray, Charles |
Körperschaft: | British Computer Society, Specialist Group in Formal Aspects of Computing Science ; Workshop on Specification and Verification of Concurrent Systems |
Verwandtes Werk: | |
Veröffentlichung: | London [u.a.]: Springer, 1990 |
Medientyp: | Konferenzschrift, Sammelwerk |
Datenträgertyp: | Gedruckte Ressource |
Umfang: | VIII, 612 S. : graph. Darst. |
ISBN: | 3540195815 : No price : CIP entry (Apr.); 0387195815 |
Schlagwort: |
|
Sonstiges: |
|