Linear Time, Branching Time, and Partial Order in Logics and Models for Concurrency: School/Workshop, Noordwijkerhout, the Netherlands May 30-June 3, - Brossura

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,
Brossura
ISBN 10: 038751080X ISBN 13: 9780387510804
Casa editrice: Springer Verlag, 1989

Sinossi

Book by Krishnamurti TN Bedi HS Hardiker V

Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.

Editore
Springer Verlag
Data di pubblicazione
1989
Lingua
Inglese
ISBN 10 
038751080X
ISBN 13 
9780387510804
Rilegatura
Copertina flessibile
Numero di pagine
713
Redattore
Bakker J. W. De, Rozenberg Grzegorz, Roever W. P. De
Contatto del produttore
non disponibile
Persona responsabile
CMN Printpool Inh. Mathis Neumann
https://www.also.com/ec/cms5/en_6000/6000/index.jsp

Friedrich-Karl-Str. 9
Hamburg
Germania

Altre edizioni note dello stesso titolo

9783540510802: Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency: School/Workshop, Noordwijkerhout, The Netherlands, May 30 - June 3, 1988: 354

Edizione in evidenza

ISBN 10:  354051080X ISBN 13:  9783540510802
Casa editrice: Springer, 2008
Brossura