Fields of Logic and Computation Essays Dedicated to Yuri Gurevich on the Occasion of His 70th Birthday /

Yuri Gurevich has played a major role in the discovery and development of - plications of mathematical logic to theoretical and practical computer science. His interests have spanned a broad spectrum of subjects, including decision p- cedures, the monadic theory of order, abstract state machines, fo...

Descripción completa

Detalles Bibliográficos
Clasificación:Libro Electrónico
Autor Corporativo: SpringerLink (Online service)
Otros Autores: Blass, Andreas (Editor ), Dershowitz, Nachum (Editor ), Reisig, Wolfgang (Editor )
Formato: Electrónico eBook
Idioma:Inglés
Publicado: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2010.
Edición:1st ed. 2010.
Colección:Programming and Software Engineering, 6300
Temas:
Computer programming.
Computer science.
Software engineering.
Machine theory.
Algorithms.
Computer networks .
Programming Techniques.
Computer Science Logic and Foundations of Programming.
Software Engineering.
Formal Languages and Automata Theory.
Computer Communication Networks.
Acceso en línea:Texto Completo

Internet

Texto Completo

Items no disponibles

Detalle de Existencias desde

Ejemplares similares