Peter Csaba Olveczky – författare
Visar alla böcker från författaren Peter Csaba Olveczky. Handla med fri frakt och snabb leverans.
13 produkter
Designing Reliable Distributed Systems
A Formal Methods Approach Based on Executable Modeling in Maude
E-bok, 2018
1007 kr
Lägg i varukorg
This classroom-tested textbook provides an accessible introduction to the design, formal modeling, and analysis of distributed computer systems. The book uses Maude, a rewriting logic-based language and simulation and model checking tool, which offers a simple and intuitive modeling formalism that …
Formal Aspects of Component Software
15th International Conference, FACS 2018, Pohang, South Korea, October 10–12, 2018, Proceedings
Av Peter Csaba Olveczky, Kyungmin Bae
E-bok, 2018
739 kr
Lägg i varukorg
This book constitutes the refereed proceedings from the 15th International Conference on Formal Aspects of Component Software, FACS 2018, held in Pohang, South Korea, in October 2018. The 14 full papers presented together with an invited abstract and an invited paper were carefully reviewed and …
Formal Techniques for Safety-Critical Systems
6th International Workshop, FTSCS 2018, Gold Coast, Australia, November 16, 2018, Revised Selected Papers
Av Peter Csaba Olveczky, Cyrille Artho
E-bok, 2019
755 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 6th International Workshop on Formal Techniques for Safety-Critical Systems, FTSCS 2018, held in Gold Coast, Australia in November 2018. The 10 revised full papers presented together with an abstract of an invited talk were carefully reviewed …
Software Engineering and Formal Methods
17th International Conference, SEFM 2019, Oslo, Norway, September 18–20, 2019, Proceedings
Av Gwen Salaun, Peter Csaba Olveczky
E-bok, 2019
755 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 17th International Conference on Software Engineering and Formal Methods, SEFM 2019, held in Oslo, Norway, in September 2019. The 27 full papers presented were carefully reviewed and selected from 89 submissions. The papers cover a large variety …
Theoretical Aspects of Computing - ICTAC 2021
18th International Colloquium, Virtual Event, Nur-Sultan, Kazakhstan, September 8–10, 2021, Proceedings
Av Peter Csaba Olveczky, Antonio Cerone
E-bok, 2021
1091 kr
Lägg i varukorg
This book constitutes the proceedings of the 18th International Colloquium on Theoretical Aspects of Computing, ICTAC 2021, organized by the Nazarbayev University, Nur-Sultan, Kazakhstan. The event was supposed to take place in Nur-Sultan, Kazakhstan, but due to COVID-19 pandemic is was held …
Formal Techniques for Safety-Critical Systems
Second International Workshop, FTSCS 2013, Queenstown, New Zealand, October 29--30, 2013. Revised Selected Papers
Av Peter Csaba Olveczky, Cyrille Artho
E-bok, 2014
739 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the Second International Workshop, FTSCS 2013, held in Queenstown, New Zealand, in October 2013. The 17 revised full papers presented together with an invited talk were carefully reviewed and selected from 32 submissions. The papers address various …
Formal Techniques for Safety-Critical Systems
Third International Workshop, FTSCS 2014, Luxembourg, November 6-7, 2014. Revised Selected Papers
Av Peter Csaba Olveczky, Cyrille Artho
E-bok, 2015
739 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the Third International Workshop on Formal Techniques for Safety-Critical Systems, FTSCS 2014, held in Luxembourg, in November 2014. The 14 revised full papers presented together with two invited talks were carefully reviewed and selected from 40 …
Logic, Rewriting, and Concurrency
Essays Dedicated to José Meseguer on the Occasion of His 65th Birthday
Av Carolyn Talcott, Peter Csaba Olveczky m. fl.
E-bok, 2015
739 kr
Lägg i varukorg
This Festschrift volume contains 28 refereed papers including personal memories, essays, and regular research papers by close collaborators and friends of José Meseguer to honor him on the occasion of his 65th birthday. These papers were presented at a symposium at the University of Illinois at …
Formal Aspects of Component Software
12th International Conference, FACS 2015, Niterói, Brazil, October 14-16, 2015, Revised Selected Papers
Av Peter Csaba Olveczky, Christiano Braga
E-bok, 2016
739 kr
Lägg i varukorg
This book constitutes the revised selected papers fromthe 12th International Conference on Formal Aspects of Component Software, FACS2015, held in Niterói, Brazil, in October 2015. The 15 full papers and 2 invited papers presented in thisvolume were carefully reviewed and selected from 33 …
Formal Techniques for Safety-Critical Systems
4th International Workshop, FTSCS 2015, Paris, France, November 6-7, 2015. Revised Selected Papers
Av Peter Csaba Olveczky, Cyrille Artho
E-bok, 2016
739 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 4th International Workshop on Formal Techniques for Safety-Critical Systems, FTSCS 2015, held in Paris, France, in November 2015. The 15 revised full papers presented together with one invited talk and two tool papers were carefully reviewed and …
Formal Techniques for Safety-Critical Systems
5th International Workshop, FTSCS 2016, Tokyo, Japan, November 14, 2016, Revised Selected Papers
Av Peter Csaba Olveczky, Cyrille Artho
E-bok, 2017
755 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 5th International Workshop on Formal Techniques for Safety-Critical Systems, FTSCS 2016, held in Tokyo, Japan, in November 2016. The 9 revised full papers presented together with an abstract of an invited talk were carefully reviewed and …
Rewriting Logic and Its Applications
8th International Workshop, WRLA 2010, Held as a Satellite Event of ETAPS 2010, Paphos, Cyprus, March 20-21, 2010, Revised Selected Papers
E-bok, 2010
755 kr
Lägg i varukorg
Formal Aspects of Component Software
8th International Symposium, FACS 2011, Oslo, Norway, September 14-16, 2011, Revised Selected Papers
Av Peter Csaba Olveczky, Farhad Arbab
E-bok, 2012
755 kr
Lägg i varukorg
This book constitutes revised selected papers of the 8th International Workshop on Formal Aspects of Component Software, FACS 2011, held in Oslo, Norway in September 2011. The 18 full papers presented together with 3 invited talks were carefully reviewed and selected from 46 submissions. They cover …
