Formal methods for concurrent systems
http://data.open.ac.uk/library/47468
is a Book

Outgoing links

Go to incoming links
Property Object
Publisher The Open University
Date 1990
Subject
URL Id=47468
Locator Id=47468
Type Book
Label Formal methods for concurrent systems
Title Formal methods for concurrent systems
Description Block 3, Unit 10 of M355 Topics in software engineering.

Incoming links

Go to outgoing links
Subject Property
Topics in Software Engineering Has courseware