Wyniki wyszukiwania:
wyszukanych pozycji: 9
 |
Fundamental Approaches to Software Engineering: 11th International Conference, Fase 2008, Held as Part of the Joint European Conferences on Theory and
ISBN: 9783540787426 / Angielski / Miękka / 2008 / 434 str. Termin realizacji zamówienia: ok. 22 dni roboczych (Dostawa w 2026 r.) ETAPS2008wasthe11thinstanceoftheEuropeanJointConferencesonTheory and Practice of Software. ETAPS is an annual federated conference that was established in 1998 by combining a number of existing and new conferences. This yearit comprised?ve conferences (CC, ESOP, FASE, FOSSACS, TACAS), 22satelliteworkshops(ACCAT, AVIS, Bytecode, CMCS, COCV, DCC, FESCA, FIT, FORMED, GaLoP, GT-VMT, LDTA, MBT, MOMPES, PDMC, QAPL, RV, SafeCert, SC, SLA++P, WGT, andWRLA), ninetutorials, andseveninvited lectures (excluding those that were speci?c to the satellite events). The ?ve main conferences received 571...
ETAPS2008wasthe11thinstanceoftheEuropeanJointConferencesonTheory and Practice of Software. ETAPS is an annual federated conference that was establishe...
|
cena:
200,77 |
 |
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. 22 dni roboczych (Dostawa w 2026 r.) 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:
200,77 |
 |
Recent Trends in Algebraic Development Techniques: 13th International Workshop, WADT'98 Lisbon, Portugal, April 2-4, 1998 Selected Papers
ISBN: 9783540662464 / Angielski / Miękka / 1999 / 346 str. Termin realizacji zamówienia: ok. 22 dni roboczych (Dostawa w 2026 r.) The European conference situationin the general area of software science has longbeen considered unsatisfactory. A fairlylarge number of small and medi- sized conferences and workshops take place on an irregular basis, competing for high-quality contributions and for enough attendees to make them ?nancially viable. Discussions aiming at a consolidation have been underway since at least 1992, with concrete planning beginning in summer 1994 and culminating in a public meeting at TAPSOFT'95 in Aarhus. On the basis of a broad consensus, it was decided to establish a single annual federated spring...
The European conference situationin the general area of software science has longbeen considered unsatisfactory. A fairlylarge number of small and med...
|
cena:
200,77 |
 |
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. 22 dni roboczych (Dostawa w 2026 r.) 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:
200,77 |
 |
Categories for Software Engineering
ISBN: 9783642058882 / Angielski / Miękka / 2010 / 250 str. Termin realizacji zamówienia: ok. 22 dni roboczych (Dostawa w 2026 r.) 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:
200,77 |
 |
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. 22 dni roboczych (Dostawa w 2026 r.) |
cena:
200,77 |
 |
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. 22 dni roboczych (Dostawa w 2026 r.) 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:
200,77 |
 |
Categories for Software Engineering
ISBN: 9783540209096 / Angielski / Twarda / 2004 / 250 str. Termin realizacji zamówienia: ok. 22 dni roboczych (Dostawa w 2026 r.) 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:
200,77 |
 |
Algebra and Coalgebra in Computer Science: First International Conference, CALCO 2005, Swansea, UK, September 3-6, 2005, Proceedings
ISBN: 9783540286202 / Angielski / Miękka / 2005 / 457 str. Termin realizacji zamówienia: ok. 22 dni roboczych (Dostawa w 2026 r.) This book constitutes the refereed proceedings of the First International Conference on Algebra and Coalgebra in Computer Science, CALCO 2005, held in Swansea, UK in September 2005. The biennial conference was created by joining the International Workshop on Coalgebraic Methods in Computer Science (CMCS) and the Workshop on Algebraic Development Techniques (WADT). It addresses two basic areas of application for algebras and coalgebras - as mathematical objects as well as their application in computer science. The 25 revised full papers presented together with 3 invited papers were... This book constitutes the refereed proceedings of the First International Conference on Algebra and Coalgebra in Computer Science, CALCO 2005, held... |
cena:
200,77 |
Czytaj nas na:
KrainaKsiazek.PL - Księgarnia Internetowa
