High-level system modeling : specification languages / ed. Jean-Michel Bergé, Oz Levia, Jacques Rouillard
High-level system modeling : specification languages / ed. Jean-Michel Bergé, Oz Levia, Jacques Rouillard
. - Boston : Kluwer Academic Publishers, cop. 1995
. - XVI, 162 p. : il. 25 cm
. - (Current issues in electronic modeling))
0-7923-9632-4 (Encadernado)
621.382