topmenu
Wyniki wyszukiwania:
wyszukanych pozycji: 6
 |
Formal Aspects of Component Software: 10th International Symposium, Facs 2013, Nanchang, China, October 27-29, 2013, Revised Selected Papers
ISBN: 9783319076010 / Angielski / Miękka / 2014 / 385 str. Termin realizacji zamówienia: ok. 20 dni roboczych. 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 papers are concerned with how formal methods can be used to make component-based development fit for the new architectures of today and the systems that are now pervading the socio-economic worlds.
This book constitutes the revised selected papers of the 10th International Symposium on Formal Aspects of Component Software, FACS 2013, held in Nanc...
|
cena:
192,30 zł |
 |
Recent Trends in Algebraic Development Techniques: 18th International Workshop, WADT 2006 La Roche En Ardenne, Belgium, June 1-3, 2006 Revised Selecte
ISBN: 9783540719977 / Angielski / Miękka / 2007 / 174 str. Termin realizacji zamówienia: ok. 20 dni roboczych. 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 systems and address topics such as formal methods for system development, specification languages and methods, and distributed and mobile systems. This book constitutes the thoroughly refereed postproceedings of the 18th International Workshop on Algebraic Development Techniques, WADT 2006, he... |
cena:
192,30 zł |
 |
Categories for Software Engineering
ISBN: 9783642058882 / Angielski / Miękka / 2010 / 250 str. Termin realizacji zamówienia: ok. 20 dni roboczych. 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 91] should be added). Isn't the working computer scientist spoilt with choice? Although each of the above mentioned books presents an approach of its own, there is one aspect in common in their view of computer science: the analogy between arrows (morphisms) and (classes of) computations. This...
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 havi...
|
cena:
192,30 zł |
 |
Recent Trends in Algebraic Development Techniques: 24th Ifip Wg 1.3 International Workshop, Wadt 2018, Egham, Uk, July 2-5, 2018, Revised Selected Pap
ISBN: 9783030232191 / Angielski / Miękka / 2019 / 175 str. Termin realizacji zamówienia: ok. 20 dni roboczych. |
cena:
192,30 zł |
 |
Categories for Software Engineering
ISBN: 9783540209096 / Angielski / Twarda / 2004 / 250 str. Termin realizacji zamówienia: ok. 20 dni roboczych. 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 91] should be added). Isn't the working computer scientist spoilt with choice? Although each of the above mentioned books presents an approach of its own, there is one aspect in common in their view of computer science: the analogy between arrows (morphisms) and (classes of) computations. This...
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 havi...
|
cena:
192,30 zł |
 |
Recent Trends in Algebraic Development Techniques: 17th International Workshop, WADT 2004, Barcelona, Spain, March 27-29, 2004, Revised Selected Papers
ISBN: 9783540253273 / Angielski / Miękka / 2005 / 280 str. Termin realizacji zamówienia: ok. 20 dni roboczych. 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 abstract data types and encompasses today the formal design of software systems, new speci?cation frameworks and a wide range of application areas. WADT 2004 took place at the Technical University of Catalonia (UPC), Barcelona, Spain, on 27 29 March 2004, and was organized by Fernando Orejas and Jordi...
This volume contains selected papers from WADT 2004, the 17th International Workshop on Algebraic Development Techniques. Like its predecessors, WADT ...
|
cena:
192,30 zł |
Czytaj nas na:
Zobacz: Księgarnia Czeska | Wydawnictwo Książkowe Klimaty | Mapa strony | Lista autorów
KrainaKsiazek.PL - Księgarnia Internetowa
KrainaKsiazek.PL - Księgarnia Internetowa
