Logics and Models of Concurrent Systems /

Bibliographic Details
Main Author: Apt, Krzysztof R.
Corporate Author: SpringerLink (Online service)
Format: eBook
Language:English
Published: Berlin, Heidelberg : Springer Berlin Heidelberg, 1985.
Series:NATO ASI series. Computer and systems sciences ; 13.
Subjects:
Online Access:Connect to the full text of this electronic book

Similar Items