Formal Methods in Software and Systems Modeling
Kreowski, Hans-Jörg.
Formal Methods in Software and Systems Modeling Essays Dedicated to Hartmut Ehrig on the Occasion of His 60th Birthday / [electronic resource] : edited by Hans-Jörg Kreowski, Ugo Montanari, Fernando Orejas, Grzegorz Rozenberg, Gabriele Taentzer. - 1a ed. - Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2005. - v.: digital - Lecture Notes in Computer Science, 3393 0302-9743 ; .
9783540318477
Método formal (Informática)--Congresos
Software por computador--Congresos
Computador de sistemas --Diseño y construcción
QA76.9.F67
Formal Methods in Software and Systems Modeling Essays Dedicated to Hartmut Ehrig on the Occasion of His 60th Birthday / [electronic resource] : edited by Hans-Jörg Kreowski, Ugo Montanari, Fernando Orejas, Grzegorz Rozenberg, Gabriele Taentzer. - 1a ed. - Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2005. - v.: digital - Lecture Notes in Computer Science, 3393 0302-9743 ; .
9783540318477
Método formal (Informática)--Congresos
Software por computador--Congresos
Computador de sistemas --Diseño y construcción
QA76.9.F67