Types for proofs and programs : international workshop, Types 2003, Torino, Italy, April 30 - May 4, 2003, revised selected papers
Mentés helye:
| Testületi szerző(k): | |
|---|---|
| Közreműködő(k): | |
| Formátum: | könyv |
| Nyelv: | angol |
| Megjelenés: |
New York, NY : Springer-Verlag Berlin Heidelberg,
2004
|
| Sorozat: | Lecture notes in computer science ; 3085 |
| Tárgyszavak: | |
| Címkék: |
Új címke
A tételhez itt fűzhet saját címkét!
|
IK Kari Könyvtár
| Jelzet: | Leltári szám: | Gyűjtemény: | Státusz: |
|---|---|---|---|
| í 3283 | í 3283 | (INF) Informatikai szakgyűjtemény könyv | Lejárat: 2024.07.12. 14:00 Előjegyzés, kikérés |