Buy Used and New Peter Csaba Ölveczky Books

Formal Techniques for Safety-Critical Systems: Second International Workshop, FTSCS 2013, Queenstown, New Zealand, October 29--30, 2013. Revised ... in Computer and Information Science)

by Cyrille Artho,Peter Csaba Ölveczky

ISBN 13: 9783319054155

Format: Paperback (308 pages)
Publisher: Springer
Published: 22 Apr 2014

Save for later

Logic, Rewriting, and Concurrency: Essays Dedicated to José Meseguer on the Occasion of His 65th Birthday: 9200 (Lecture Notes in Computer Science)

by Narciso Martí-Oliet,Peter Csaba Ölveczky,Carolyn Talcott

ISBN 13: 9783319231648

Format: Paperback (648 pages)
Publisher: Springer
Published: 21 Aug 2015

Save for later

Formal Techniques for Safety-Critical Systems: 4th International Workshop, FTSCS 2015, Paris, France, November 6-7, 2015. Revised Selected Papers: 596 ... in Computer and Information Science)

by Cyrille Artho, Peter Csaba Ölveczky

ISBN 13: 9783319295091

Format: Paperback (284 pages)
Publisher: Springer
Published: 03 Feb 2016

Save for later

Formal Techniques for Safety-Critical Systems: Third International Workshop, FTSCS 2014, Luxembourg, November 6-7, 2014. Revised Selected Papers: 476 ... in Computer and Information Science)

by Cyrille Artho,Peter Csaba Ölveczky

ISBN 13: 9783319175805

Format: Paperback (268 pages)
Publisher: Springer
Published: 16 Apr 2015

Save for later

Formal Techniques for Safety-Critical Systems: 5th International Workshop, FTSCS 2016, Tokyo, Japan, November 14, 2016, Revised Selected Papers: 694 ... in Computer and Information Science)

by Cyrille Artho,Peter Csaba Ölveczky

ISBN 13: 9783319539454

Format: Paperback (176 pages)
Publisher: Springer
Published: 16 Feb 2017

Save for later

Formal Aspects of Component Software: 15th International Conference, FACS 2018, Pohang, South Korea, October 10–12, 2018, Proceedings: 11222 (Lecture Notes in Computer Science)

by Kyungmin Bae, Peter Csaba Ölveczky

ISBN 13: 9783030021450

Format: Paperback (312 pages)
Publisher: Springer
Published: 07 Oct 2018

Save for later

Formal Techniques for Safety-Critical Systems: 6th International Workshop, FTSCS 2018, Gold Coast, Australia, November 16, 2018, Revised Selected ... in Computer and Information Science)

by Cyrille Artho,Peter Csaba Ölveczky

ISBN 13: 9783030129873

Format: Paperback (192 pages)
Publisher: Springer
Published: 02 Feb 2019

Save for later

Theoretical Aspects of Computing – ICTAC 2021: 18th International Colloquium, Virtual Event, Nur-Sultan, Kazakhstan, September 8–10, 2021, Proceedings: 12819 (Lecture Notes in Computer Science, 12819)

by Antonio Cerone,Peter Csaba Ölveczky

ISBN 13: 9783030853143

Format: Paperback (419 pages)
Publisher: Springer
Published: 20 Aug 2021

Save for later