Marc Frappier – författare
Visar alla böcker från författaren Marc Frappier. Handla med fri frakt och snabb leverans.
7 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 …
Abstract State Machines, Alloy, B and Z
Second International Conference, ABZ 2010, Orford, QC, Canada, February 22-25, 2010, Proceedings
Av Marc Frappier, Uwe Glässer m. fl.
Häftad, 2010
567 kr
Lägg i varukorg
ABZ 2010 was held in the beautiful natural setting of Orford in the Eastern Townships of Qu' ebec,during February22-25,2010,midwaythroughthe Ca- dian winter and the 21st Winter Olympics, bringing participants from all over the world to brave this rigorous climate. …
Abstract State Machines, Alloy, B and Z
Second International Conference, ABZ 2010, Orford, QC, Canada, February 22-25, 2010, Proceedings
Av Steve Reeves, Regine Laleau m. fl.
E-bok, 2010
755 kr
Lägg i varukorg
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.
