Henri Habrias – författare
Visar alla böcker från författaren Henri Habrias. Handla med fri frakt och snabb leverans.
5 produkter
Software Specification Methods
Av Marc Frappier, Henri Habrias
E-bok, 2010
2574 kr
Lägg i varukorg
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.
Software Specification Methods
Av Marc Frappier, Henri Habrias
E-bok, 2013
2574 kr
Lägg i varukorg
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.
Software Specification Methods
An Overview Using a Case Study
Av Henri Habrias, Marc Frappier
E-bok, 2012
1502 kr
Lägg i varukorg
Objectives of this Book This book is an introduction to a set of software specification methods. Its tar geted audience are readers who do not wish to read pages of definitions in order to understand the basics of a method. The same case study is used to introduce each method, following a …
Software Specification Methods
An Overview Using a Case Study
Av Marc Frappier, Henri Habrias
Häftad, 2000
1128 kr
Lägg i varukorg
Objectives of this Book This book is an introduction to a set of software specification methods. Its tar geted audience are readers who do not wish to read pages of definitions in order to understand the basics of a method. The same case study is used to introduce each method, following a …
Software Specification Methods
Av Henri Habrias, Marc Frappier
Inbunden, 2006
1718 kr
Tillfälligt slut
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.
