Verification, Induction, Termination Analysis Festschrift for Christoph Walther on the Occasion of His 60th Birthday /

Detalles Bibliográficos
Clasificación:Libro Electrónico
Autor Corporativo: SpringerLink (Online service)
Otros Autores: Siegler, Simon (Editor ), Wasser, Nathan (Editor )
Formato: Electrónico eBook
Idioma:Inglés
Publicado: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2010.
Edición:1st ed. 2010.
Colección:Lecture Notes in Artificial Intelligence, 6463
Temas:
Software engineering.
Computer networks .
Computer science.
Artificial intelligence.
Machine theory.
Software Engineering.
Computer Communication Networks.
Computer Science Logic and Foundations of Programming.
Artificial Intelligence.
Formal Languages and Automata Theory.
Acceso en línea:Texto Completo
Descripción
Descripción Física:XI, 145 p. 30 illus. online resource.
ISBN:9783642171727
ISSN:2945-9141 ;

Ejemplares similares