Result: Specification and verification of concurrent systems

*Title*:

Specification and verification of concurrent systems / [BCS FACS Workshop on Specification and Verification of Concurrent Systems]. C. Rattray (ed.). Publ. in collab. with the British Computer Society

*Author/editor-in-chief*:

Rattray, Charles (Herausgeber)

*Corporate*:

British Computer Society. Specialist Group in Formal Aspects of Computing Science
Workshop on Specification and Verification of Concurrent Systems (1988 : Stirling)

*Publication*:

London : Springer, 1990

*Physical description scale*:

VIII, 612 Seiten : graphische Darst.

*Format*:

*book*

*Language*:

*ger*

*series_multipart*:

Workshops in Computing

*Notes*:

Literaturangaben

*RVK-Notation*:

*ST 150* *SS 1800*

*Subject Added Keywords*:

*ISBN*:

3540195815 ; 0387195815

*Result*: Specification and verification of concurrent systems

*Additional information*

*Additional functions*

Result: Specification and verification of concurrent systems

Additional information

Additional functions