Languages: From Formal to Natural Essays Dedicated to Nissim Francez on the Occasion of His 65th Birthday /

This Festschrift volume, published in honor of Nissim Francez on the occasion of his 65th birthday, contains 15 papers, written by friends and colleagues, many of whom congregated at a celebratory symposium held on May 24-25, 2009, in Haifa, Israel. The theme of the symposium was Languages: From For...

Descripción completa

Detalles Bibliográficos
Clasificación:Libro Electrónico
Autor Corporativo: SpringerLink (Online service)
Otros Autores: Grumberg, Orna (Editor ), Kaminski, Michael (Editor ), Katz, Shmuel (Editor ), Wintner, Shuly (Editor )
Formato: Electrónico eBook
Idioma:Inglés
Publicado: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2009.
Edición:1st ed. 2009.
Colección:Programming and Software Engineering, 5533
Temas:
Machine theory.
Mathematical logic.
Computer science.
Computer arithmetic and logic units.
Formal Languages and Automata Theory.
Mathematical Logic and Foundations.
Computer Science Logic and Foundations of Programming.
Theory of Computation.
Arithmetic and Logic Structures.
Acceso en línea:Texto Completo

Internet

Texto Completo

Items no disponibles

Detalle de Existencias desde

Ejemplares similares