wyszukanych pozycji: 4
Graph Transformation, Specifications, and Nets: In Memory of Hartmut Ehrig
ISBN: 9783319753959 / Angielski / Miękka / 2018 / 333 str. Termin realizacji zamówienia: ok. 20 dni roboczych. This volume pays tribute to the scientific achievements of Hartmut Ehrig, who passed away in March 2016.The contributions represent a selection from a symposium, held in October 2016 at TU Berlin, commemorating Hartmut' s life and work as well as other invited papers in the areas he was active in.
This volume pays tribute to the scientific achievements of Hartmut Ehrig, who passed away in March 2016.The contributions represent a selection from a...
|
|
cena:
196,31 zł |
Graph Transformation for Software Engineers: With Applications to Model-Based Development and Domain-Specific Language Engineering
ISBN: 9783030439156 / Angielski / Twarda / 2020 / 309 str. Termin realizacji zamówienia: ok. 20 dni roboczych. This book is an introduction to graph transformation as a foundation to model-based software engineering at the level of both individual systems and domain-specific modelling languages. The first part of the book presents the fundamentals in a precise, yet largely informal way.
This book is an introduction to graph transformation as a foundation to model-based software engineering at the level of both individual systems and d...
|
|
cena:
353,39 zł |
Graph Transformation for Software Engineers: With Applications to Model-Based Development and Domain-Specific Language Engineering
ISBN: 9783030439187 / Angielski / Miękka / 2021 / 309 str. Termin realizacji zamówienia: ok. 20 dni roboczych. |
|
cena:
255,21 zł |
Algebra and Coalgebra in Computer Science: 5th International Conference, CALCO 2013, Warsaw, Poland, September 3-6, 2013, Proceedings
ISBN: 9783642402050 / Angielski / Miękka / 2013 / 359 str. Termin realizacji zamówienia: ok. 20 dni roboczych. This book constitutes the refereed proceedings of the 5th International Conference on Algebra and Coalgebra in Computer Science, CALCO 2013, held in Warsaw, Poland, in September 2013. The 18 full papers presented together with 4 invited talks were carefully reviewed and selected from 33 submissions. The papers cover topics in the fields of abstract models and logics, specialized models and calculi, algebraic and coalgebraic semantics, system specification and verification, as well as corecursion in programming languages, and algebra and coalgebra in quantum computing. The book also includes 6...
This book constitutes the refereed proceedings of the 5th International Conference on Algebra and Coalgebra in Computer Science, CALCO 2013, held in W...
|
|
cena:
196,31 zł |