topmenu
Wyniki wyszukiwania:
wyszukanych pozycji: 6
 |
Recent Trends in Algebraic Development Techniques: 19th International Workshop, WADT 2008, Pisa, Italy, June 13-16, 2008, Revised Selected Papers
ISBN: 9783642034282 / Angielski / Miękka / 2009 / 352 str. Termin realizacji zamówienia: ok. 22 dni roboczych. This volume contains selected papers from WADT 2008, the 19th International WorkshoponAlgebraicDevelopmentTechniques. Afterhavingjoinedforceswith CMCS for CALCO 2007 in Bergen, WADT took place in 2008 as an individual workshop and in its traditional format. Like its predecessors, WADT 2008 focussed on the algebraic approach to the speci?cation and development of systems, which encompasses many aspects of formal design. Originally born around formal methods for reasoning about abstract data types, WADT now covers new speci?cation frameworks and p- gramming paradigms (such as object-oriented,...
This volume contains selected papers from WADT 2008, the 19th International WorkshoponAlgebraicDevelopmentTechniques. Afterhavingjoinedforceswith CMCS...
|
cena:
200,77 |
 |
Graph Transformation: First International Conference, Icgt 2002, Barcelona, Spain, October 7-12, 2002, Proceedings
ISBN: 9783540443100 / Angielski / Miękka / 2002 / 466 str. Termin realizacji zamówienia: ok. 22 dni roboczych. ICGT 2002 was the ?rst International Conference on Graph Transformation following a series of six international workshops on graph grammars with - plications in computer science, held in Bad Honnef (1978), Osnabruc ] k (1982), Warrenton (1986), Bremen (1990), Williamsburg (1994), and Paderborn (1998). ICGT 2002 was held in Barcelona (Spain), October 7-12, 2002 under the a- pices of the European Association of Theoretical Computer Science (EATCS), the European Association of Software Science and Technology (EASST), and the IFIP Working Group 1.3, Foundations of Systems Speci?cation. The scope...
ICGT 2002 was the ?rst International Conference on Graph Transformation following a series of six international workshops on graph grammars with - pli...
|
cena:
200,77 |
 |
I Signori del Caos - Volume 1: I Prigionieri della Nebbia
ISBN: 9798345381670 / Włoski / Miękka / 2025 / 216 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych. |
cena:
100,65 |
| |
I Signori del Caos - Regolamento Avanzato
ISBN: 9798304867962 / Włoski / Miękka / 2025 / 306 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych. |
cena:
96,47 |
 |
Algebra and Coalgebra in Computer Science: 4th International Conference, CALCO 2011, Winchester, UK, August 30 - September 2, 2011, Proceedings
ISBN: 9783642229435 / Angielski / Miękka / 2011 / 420 str. Termin realizacji zamówienia: ok. 22 dni roboczych. This book constitutes the refereed proceedings of the 4th International Conference on Algebra and Coalgebra in Computer Science, CALCO 2011, held in Winchester, UK, in August/September 2011. The 21 full papers presented together with 4 invited talks were carefully reviewed and selected from 41 submissions. The papers report results of theoretical work on the mathematics of algebras and coalgebras, the way these results can support methods and techniques for software development, as well as experience with the transfer of the resulting technologies into industrial practice. They cover topics...
This book constitutes the refereed proceedings of the 4th International Conference on Algebra and Coalgebra in Computer Science, CALCO 2011, held in W...
|
cena:
200,77 |
 |
Graph Transformations: Third International Conference, ICGT 2006, Rio Grande do Norte, Brazil, September 17-23, 2006, Proceedings
ISBN: 9783540388708 / Angielski / Miękka / 2006 / 473 str. Termin realizacji zamówienia: ok. 22 dni roboczych. ICGT 2006 was the 3rd International Conference on Graph Transformation, following the previous two in Barcelona (2002) and Rome (2004), and a series of six international workshops between 1978 and 1998. ICGT 2006 was held in Natal (Rio Grande do Norte, Brazil) on September 17-23, 2006, co-located with the Brazilian Symposium on Formal Methods (SBMF 2006), under the auspices of the BrazilianComputer Society (SBC), the EuropeanAssociation of Software Science and Technology (EASST), the European Association for Theoretical Computer Science (EATCS) and the IFIP WG 1.3 on Foundations of Systems...
ICGT 2006 was the 3rd International Conference on Graph Transformation, following the previous two in Barcelona (2002) and Rome (2004), and a series o...
|
cena:
200,77 |
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
