Formal Methods and Hybrid Real-Time Systems Essays in Honour of Dines Bjorner and Zhou Chaochen on the Occasion of Their 70th Birthdays /

Detalles Bibliográficos
Clasificación:Libro Electrónico
Autor Corporativo: SpringerLink (Online service)
Otros Autores: Jones, Cliff B. (Editor ), Liu, Zhiming (Editor ), Woodcock, Jim (Editor )
Formato: Electrónico eBook
Idioma:Inglés
Publicado: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2007.
Edición:1st ed. 2007.
Colección:Theoretical Computer Science and General Issues, 4700
Temas:
Software engineering.
Computer science.
Computer engineering.
Computer networks .
Machine theory.
Software Engineering.
Computer Science Logic and Foundations of Programming.
Computer Engineering and Networks.
Formal Languages and Automata Theory.
Acceso en línea:Texto Completo

Internet

Texto Completo

Items no disponibles

Detalle de Existencias desde

Ejemplares similares