Linear time, branching time and partial order in logics and models for concurrency: school/workshop, noordwijkerhout, the netherlands, may 30 - june 3, 1988
Auteur :
Bakker, J. W. de
ISBN :
9783540510802
Date de publication :
30 mars 1989
Dimensions :
23,4 x 15,6 x 3,6 cm
Poids :
1003 g
Format :
Trade paperback (US)
Langue :
Anglais
Pays d'origine :
Allemagne