Linear time, branching time, and partial order in logics and models for concurrency : School/Workshop, Noordwijkerhout, The Netherlands, May 30-June 3, 1988

Mentés helye:
Bibliográfiai részletek
Testületi szerző:
Közreműködő(k):
Formátum: könyv
Nyelv:angol
Megjelenés: Berlin [etc.] : Springer, 1989
Sorozat:Lecture notes in computer science ; 354
Tárgyszavak:
Címkék: Új címke
A tételhez itt fűzhet saját címkét!

IK Kari Könyvtár

Holdings details from IK Kari Könyvtár
Jelzet: Leltári szám: Gyűjtemény: Státusz:
8064 8064 (INF) Informatikai szakgyűjtemény könyv Lejárat: 2024.07.12. 08:30  Előjegyzés, kikérés