Widok standardowy Widok MARC

BCS-FACS Workshop on Specification and Verification of Concurrent Systems (1988 ; Stirling). (Hasło imprezy/wydarzenia)

Liczba rekordów, w których użyto hasła: 1
Forma preferowana: BCS-FACS Workshop on Specification and Verification of Concurrent Systems (1988 ; Stirling).
Forma odrzucona:
  • British Computer Society-Federation of Asian Chemical Societies Workshop on Specification and Verification of Concurrent Systems.

Kp. Specification and verification of concurrent systems / C. Rattray (ed.). - London, 1990.

CIP LC

LCC