José Luiz Fiadeiro – författare
Visar alla böcker från författaren José Luiz Fiadeiro. Handla med fri frakt och snabb leverans.
13 produkter
Recent Trends in Algebraic Development Techniques
24th IFIP WG 1.3 International Workshop, WADT 2018, Egham, UK, July 2–5, 2018, Revised Selected Papers
Av José Luiz Fiadeiro, Ionuț Țuțu
Häftad, 2019
567 kr
Lägg i varukorg
This book constitutes the thoroughly refereed post-conference proceedings of the 24th IFIP WG 1.3 International Workshop on Algebraic Development Techniques, WADT 2018, held in Egham, UK in July 2018. The 9 revised papers presented were carefully reviewed and selected from 13 submissions. The …
Recent Trends in Algebraic Development Techniques
24th IFIP WG 1.3 International Workshop, WADT 2018, Egham, UK, July 2–5, 2018, Revised Selected Papers
Av Ionut Tutu, Jose Luiz Fiadeiro
E-bok, 2019
739 kr
Lägg i varukorg
This book constitutes the thoroughly refereed post-conference proceedings of the 24th IFIP WG 1.3 International Workshop on Algebraic Development Techniques, WADT 2018, held in Egham, UK in July 2018. The 9 revised papers presented were carefully reviewed and selected from 13 submissions. The …
Formal Aspects of Component Software
10th International Symposium, FACS 2013, Nanchang, China, October 27-29, 2013, Revised Selected Papers
Av José Luiz Fiadeiro, Zhiming Liu m. fl.
Häftad, 2014
567 kr
Lägg i varukorg
This book constitutes the revised selected papers of the 10th International Symposium on Formal Aspects of Component Software, FACS 2013, held in Nanchang, China, in October 2013. The 19 full papers and three invited talks presented were carefully reviewed and selected from 51 submissions. The …
Formal Aspects of Component Software
10th International Symposium, FACS 2013, Nanchang, China, October 27-29, 2013, Revised Selected Papers
Av Jinyun Xue, Zhiming Liu m. fl.
E-bok, 2014
739 kr
Lägg i varukorg
This book constitutes the revised selected papers of the 10th International Symposium on Formal Aspects of Component Software, FACS 2013, held in Nanchang, China, in October 2013. The 19 full papers and three invited talks presented were carefully reviewed and selected from 51 submissions. The …
Categories for Software Engineering
Inbunden, 2004
567 kr
Lägg i varukorg
Why Another Book on Category Theory? In the past ten years, several books have been published on category t- ory either by computer scientists or having computer scientists as a target audience (e. g. [6, 12, 22, 89, 105], to which a precious collection of little gems [90] and the chapter cum book …
Recent Trends in Algebraic Development Techniques
17th International Workshop, WADT 2004, Barcelona, Spain, March 27-29, 2004, Revised Selected Papers
Av José Luiz Fiadeiro, Peter Mosses m. fl.
Häftad, 2005
567 kr
Lägg i varukorg
This volume contains selected papers from WADT 2004, the 17th International Workshop on Algebraic Development Techniques. Like its predecessors, WADT 2004 focussed on the algebraic approach to the speci?cation and development of systems, an area that was born around the algebraic speci?cation of …
Categories for Software Engineering
E-bok, 2005
755 kr
Lägg i varukorg
Why Another Book on Category Theory? In the past ten years, several books have been published on category t- ory either by computer scientists or having computer scientists as a target audience (e. g. [6, 12, 22, 89, 105], to which a precious collection of little gems [90] and the chapter cum book …
Recent Trends in Algebraic Development Techniques
17th International Workshop, WADT 2004, Barcelona, Spain, March 27-29, 2004, Revised Selected Papers
Av Fernando Orejas, Peter Mosses m. fl.
E-bok, 2005
739 kr
Lägg i varukorg
Business Process Management
4th International Conference, BPM 2006, Vienna, Austria, September 5-7, 2006, Proceedings
Av Schahram Dustdar, José Luiz Fiadeiro m. fl.
Häftad, 2006
1128 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 4th International Conference on Business Process Management, BPM 2006. The book presents 20 revised full papers, 5 industrial papers, and 15 short papers together with an invited paper and the abstract of an invited talk. The papers are …
Business Process Management
4th International Conference, BPM 2006, Vienna, Austria, September 5-7, 2006, Proceedings
Av Amit Sheth, Jose Luiz Fiadeiro m. fl.
E-bok, 2006
1502 kr
Lägg i varukorg
Recent Trends in Algebraic Development Techniques
18th International Workshop, WADT 2006, La Roche en Ardenne, Belgium, June 1-3, 2006, Revised Selected Papers
Av José Luiz Fiadeiro, Pierre-Yves Schobbens
Häftad, 2007
567 kr
Lägg i varukorg
This book constitutes the thoroughly refereed postproceedings of the 18th International Workshop on Algebraic Development Techniques, WADT 2006, held in La Roche en Ardenne, Belgium, June 2006. The 10 revised full papers focus on the algebraic approach to the specification and development of …
Recent Trends in Algebraic Development Techniques
18th International Workshop, WADT 2006, La Roche en Ardenne, Belgium, June 1-3, 2006, Revised Selected Papers
Av Pierre-Yves Schobbens, Jose Luiz Fiadeiro
E-bok, 2007
755 kr
Lägg i varukorg
Categories for Software Engineering
Häftad, 2010
567 kr
Lägg i varukorg
Why Another Book on Category Theory? In the past ten years, several books have been published on category t- ory either by computer scientists or having computer scientists as a target audience (e. g. [6, 12, 22, 89, 105], to which a precious collection of little gems [90] and the chapter cum book …
