Software Specification Methods: An Overview Using a Case Study - Rilegato

 
9781905209347: Software Specification Methods: An Overview Using a Case Study
Rilegato
ISBN 10: 1905209347 ISBN 13: 9781905209347
Casa editrice: Iste/Hermes Science Pub, 2006

Sinossi

This title provides a clear overview of the main methods, 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.

Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.

Informazioni sull?autore

Henri Habrias, University of Nantes, France

Marc Frappier, University of Sherbrooke, Canada

Dalla quarta di copertina

This title provides a clear overview of the main methods, 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.

Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.

Editore
Iste/Hermes Science Pub
Data di pubblicazione
2006
Lingua
Inglese
ISBN 10 
1905209347
ISBN 13 
9781905209347
Rilegatura
Copertina rigida
Numero di pagine
418
Redattore
Habrias Henri, Frappier Marc
Contatto del produttore
WROX
https://www.wiley.com/en-us

111 River Street
Hoboken
NJ
7030
U.S.A.
Persona responsabile
non disponibile