Linear time, branching time and partial order in logics and models for concurrency
Bakker, J.W. de et al (editors)
ISBN
-
Uitgever
Springer 1989 sewed
Taal
Maak uw keuze
Categorie
science,mathematics
Meer info
713 pp. Lecture Notes in Computer Science nr 354 (code Sc-51)
Extra informatie
-
Heeft u vragen over het boek? Hier kunt u een vraag stellen.