Verification: Theory and Practice : Essays Dedicated to Zohar Manna on the Occasion of His 64th Birthday /
Gardado en:
| Autor Principal: | |
|---|---|
| Formato: | Libro |
| Idioma: | inglés |
| Publicado: |
Berlín, Alemania :
Springer,
2003, c2003
|
| Series: | (Lecture Notes in Computer Science)
|
| Acceso en liña: | Ver documento en línea |
| Etiquetas: |
Sen Etiquetas, Sexa o primeiro en etiquetar este rexistro!
|
Títulos similares: 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 /