Linear Time, Branching Time, and Partial Order in Logics and Models for Concurrency: School/Workshop, Noordwijkerhout, the Netherlands May 30-June 3, (Lecture Notes in Computer Science, 354) - Softcover

De Roever, W. P.; De Bakker, J. W.; School/Workshop On Linear Time, Branching Time, And Partial Order In Logics And Models For Concurrency (1988 : Noordwijkerhout, Netherlands)

 
9780387510804: Linear Time, Branching Time, and Partial Order in Logics and Models for Concurrency: School/Workshop, Noordwijkerhout, the Netherlands May 30-June 3, (Lecture Notes in Computer Science, 354)

Inhaltsangabe

1989 713 Seiten Taschenbuch Springer-Verlag,

Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.

Weitere beliebte Ausgaben desselben Titels

9783540510802: Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency: School/Workshop, Noordwijkerhout, The Netherlands, May 30 - June ... Notes in Computer Science, 354, Band 354)

Vorgestellte Ausgabe

ISBN 10:  354051080X ISBN 13:  9783540510802
Verlag: Springer, 2008
Softcover