Formal Methods in Software and Systems Modeling Essays Dedicated to Hartmut Ehrig on the Occasion of His 60th Birthday /

By presenting state-of-the-art research results on various aspects of formal and visual modeling of software and systems, this book commemorates the 60th birthday of Hartmut Ehrig. The 24 invited reviewed papers are written by students and collaborators of Hartmut Ehrig who are established researche...

Descripción completa

Detalles Bibliográficos
Clasificación:Libro Electrónico
Autor Corporativo: SpringerLink (Online service)
Otros Autores: Kreowski, Hans-Jörg (Editor ), Montanari, Ugo (Editor ), Orejas, Fernando (Editor ), Rozenberg, Grzegorz (Editor ), Taentzer, Gabriele (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, 3393
Temas:
Machine theory.
Computer science.
Software engineering.
Computer science-Mathematics.
Discrete mathematics.
Compilers (Computer programs).
Formal Languages and Automata Theory.
Computer Science Logic and Foundations of Programming.
Software Engineering.
Discrete Mathematics in Computer Science.
Compilers and Interpreters.
Theory of Computation.
Acceso en línea:Texto Completo

Internet

Texto Completo

Items no disponibles

Detalle de Existencias desde

Ejemplares similares