Verification: Theory and Practice : Essays Dedicated to Zohar Manna on the Occasion of His 64th Birthday /
Uloženo v:
| Hlavní autor: | |
|---|---|
| Médium: | Kniha |
| Jazyk: | angličtina |
| Vydáno: |
Berlín, Alemania :
Springer,
2003, c2003
|
| Edice: | (Lecture Notes in Computer Science)
|
| On-line přístup: | Ver documento en línea |
| Tagy: |
Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!
|
Podobné jednotky: Verification: Theory and Practice :
- Language, Culture, Computation : Computing, Theory and Technology : Essays Dedicated to Yaacov Choueka on the Occasion of His 75th Birthday, Part I /
- Language, Culture, Computation : Computational Linguistics and Linguistics : Essays Dedicated to Yaacov Choueka on the Occasion of His 75th Birthday, Part III /
- Language, Culture, Computation : Computing of the Humanities, Law, and Narratives : Essays Dedicated to Yaacov Choueka on the Occasion of His 75th Birthday, Part II /
- Fields of Logic and Computation : Essays Dedicated to Yuri Gurevich on the Occasion of His 70th Birthday /
- Pillars of Computer Science : Essays Dedicated to Boris (Boaz) Trakhtenbrot on the Occasion of His 85th Birthday /
- Program Analysis and Compilation, Theory and Practice : Essays Dedicated to Reinhard Wilhelm on the Occasion of His 60th Birthday /