wyszukanych pozycji: 3
Foundational and Practical Aspects of Resource Analysis: 4th International Workshop, Fopara 2015, London, Uk, April 11, 2015. Revised Selected Papers
ISBN: 9783319465586 / Angielski / Miękka / 2016 / 127 str. Termin realizacji zamówienia: ok. 20 dni roboczych (dostawa w 2025) This book constitutes the proceedings of the 4th International Workshop on Foundational and Practical Aspects of Resource Analysis, FOPARA 2015, held in London, UK, in April 2015. The 6 papers presented in this volume were carefully reviewed and selected from 7 submissions.
This book constitutes the proceedings of the 4th International Workshop on Foundational and Practical Aspects of Resource Analysis, FOPARA 2015, held ...
|
|
cena:
191,85 zł |
Foundational and Practical Aspects of Resource Analysis: First International Workshop, FOPARA 2009, Eindhoven, the Netherlands, November 6, 2010, Revi
ISBN: 9783642153303 / Angielski / Miękka / 2010 / 170 str. Termin realizacji zamówienia: ok. 20 dni roboczych (dostawa w 2025) The First International Workshop on FOundational and Practical Aspects of Resource Analysis (FOPARA) was initiated to serve as a forum for presenting originalresearchresultsthatarerelevanttothe analysisofresource(time, space) consumption by computer programs. FOPARA aimed to bring together the - searchers working on foundational issues with the researchers focusing more on practical results. Therefore, both theoretical and practical contributions were encouraged.The contributions coveredthe following topics: resourceanalysisfor embedded systems, logical and machine-independent...
The First International Workshop on FOundational and Practical Aspects of Resource Analysis (FOPARA) was initiated to serve as a forum for presenting ...
|
|
cena:
191,85 zł |
Interactive Theorem Proving: Second International Conference, ITP 2011, Berg En Dal, the Netherlands, August 22-25, 2011, Proceedings
ISBN: 9783642228629 / Angielski / Miękka / 2011 / 383 str. Termin realizacji zamówienia: ok. 20 dni roboczych (dostawa w 2025) This book constitutes the refereed proceedings of the Second International Conference on Interactive Theorem proving, ITP 2011, held in Berg en Dal, The Netherlands, in August 2011.
The 25 revised full papers presented were carefully reviewed and selected from 50 submissions. Among the topics covered are counterexample generation, verification, validation, term rewriting, theorem proving, computability theory, translations from one formalism to another, and cooperation between tools. Several verification case studies were presented, with applications to computational geometry,... This book constitutes the refereed proceedings of the Second International Conference on Interactive Theorem proving, ITP 2011, held in Berg en Dal, T...
|
|
cena:
191,85 zł |