Compartir
Software Specification Methods
Habrias, Henri ; Frappier, Marc (Autor)
·
Wiley-Iste
· Tapa Dura
Software Specification Methods - Habrias, Henri ; Frappier, Marc
Sin Stock
Te enviaremos un correo cuando el libro vuelva a estar disponible
Reseña del libro "Software Specification Methods"
this title provides a clear overview of the main methods of software specification, and has a practical focus that allows the reader to apply their knowledge to real-life situations. the following are just some of the techniques covered: uml, z, tla+, saz, b, omt, vhdl, estelle, sdl and lotos.