ZB 2005: Formal Specification and Development in Z and B 4th International Conference of B and Z Users, Guildford, UK, April 13-15, 2005, Proceedings /

Detalles Bibliográficos
Clasificación:Libro Electrónico
Autor Corporativo: SpringerLink (Online service)
Otros Autores: Treharne, Helen (Editor ), King, Steve (Editor ), Henson, Martin (Editor ), Schneider, Steve (Editor )
Formato: Electrónico eBook
Idioma:Inglés
Publicado: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2005.
Edición:1st ed. 2005.
Colección:Programming and Software Engineering, 3455
Temas:
Computer science.
Software engineering.
Machine theory.
Theory of Computation.
Software Engineering.
Computer Science Logic and Foundations of Programming.
Formal Languages and Automata Theory.
Acceso en línea:Texto Completo
Descripción
Descripción Física:XVI, 496 p. online resource.
ISBN:9783540320074
ISSN:2945-9168 ;

Ejemplares similares