Olveczky peter csaba editor

Formal Techniques for Safety-critical Systems: 6th International Workshop, Ftscs 2018, Gold Coast, Australia, November 16, 2018, Revised Selected Papers

Artho, Cyrille (Editor)/ Ölveczky, Peter Csaba (Editor)

Sprache: Englisch

Verlag: Springer-Verlag New York Inc, 2019

303012987X / 9783030129873

Softcover

Anbieter: Revaluation Books, Exeter, Vereinigtes KönigreichRevaluation Books

Verkäufer/-in mit 5 Sternen

Verkäufer/-in kontaktieren

Zustand: Neu

EUR 76,97

EUR 11,64 Versand

Versand von Vereinigtes Königreich nach USA

Anzahl: 2 verfügbar

Paperback. Zustand: Brand New. 192 pages. 9.25x6.10x0.39 inches. In Stock.

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

Artho, Cyrille (Editor) / Ölveczky, Peter Csaba (Editor)

Sprache: Englisch

Verlag: Springer, 2015

3319175807 / 9783319175805

Serie: Buch 129 von 578 - Communications in Computer and Information Science

Softcover

Anbieter: Revaluation Books, Exeter, Vereinigtes KönigreichRevaluation Books

Verkäufer/-in mit 5 Sternen

Verkäufer/-in kontaktieren

Zustand: Neu

EUR 78,16

EUR 11,64 Versand

Versand von Vereinigtes Königreich nach USA

Anzahl: 2 verfügbar

Paperback. Zustand: Brand New. revised edition. 268 pages. 9.00x6.00x0.75 inches. In Stock.

Formal Techniques for Safety-critical Systems: Fourth International Workshop, Ftscs 2015, Paris, France, November 6-7, 2015. Revised Selected Papers

Artho, Cyrille (Editor)/ Olveczky, Peter Csaba (Editor)

Sprache: Englisch

Verlag: Springer-Verlag New York Inc, 2016

3319295098 / 9783319295091

Softcover

Anbieter: Revaluation Books, Exeter, Vereinigtes KönigreichRevaluation Books

Verkäufer/-in mit 5 Sternen

Verkäufer/-in kontaktieren

Zustand: Neu

EUR 78,38

EUR 11,64 Versand

Versand von Vereinigtes Königreich nach USA

Anzahl: 2 verfügbar

Paperback. Zustand: Brand New. 284 pages. 9.00x6.00x0.75 inches. In Stock.

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

Olveczky, Peter Csaba (Editor)

Sprache: Englisch

Verlag: Springer-Verlag New York Inc, 2010

3642163092 / 9783642163098

Softcover

Anbieter: Revaluation Books, Exeter, Vereinigtes KönigreichRevaluation Books

Verkäufer/-in mit 5 Sternen

Verkäufer/-in kontaktieren

Zustand: Neu

EUR 78,59

EUR 11,64 Versand

Versand von Vereinigtes Königreich nach USA

Anzahl: 1 verfügbar

Paperback. Zustand: Brand New. 261 pages. 9.00x6.00x0.50 inches. In Stock.

Formal Techniques for Safety-critical Systems: Second International Workshop, Ftscs 2013, Queenstown, New Zealand, October 29--30, 2013. Revised Selected Papers

Artho, Cyrille (Editor)/ Olveczky, Peter Csaba (Editor)

Sprache: Englisch

Verlag: Springer-Verlag New York Inc, 2014

3319054155 / 9783319054155

Softcover

Anbieter: Revaluation Books, Exeter, Vereinigtes KönigreichRevaluation Books

Verkäufer/-in mit 5 Sternen

Verkäufer/-in kontaktieren

Zustand: Neu

EUR 78,77

EUR 11,64 Versand

Versand von Vereinigtes Königreich nach USA

Anzahl: 2 verfügbar

Paperback. Zustand: Brand New. 2014 edition. 292 pages. 9.00x6.00x0.75 inches. In Stock.

Formal Aspects of Component Software: 15th International Conference, Facs 2018, Pohang, South Korea, October 10-12, 2018, Proceedings

Bae, Kyungmin (Editor)/ Ölveczky, Peter Csaba (Editor)

Sprache: Englisch

Verlag: Springer-Verlag New York Inc, 2018

3030021459 / 9783030021450

Softcover

Anbieter: Revaluation Books, Exeter, Vereinigtes KönigreichRevaluation Books

Verkäufer/-in mit 5 Sternen

Verkäufer/-in kontaktieren

Zustand: Neu

EUR 78,83

EUR 11,64 Versand

Versand von Vereinigtes Königreich nach USA

Anzahl: 2 verfügbar

Paperback. Zustand: Brand New. 312 pages. 9.25x6.10x0.71 inches. In Stock.

Formal Aspects of Component Software: 8th International Symposium, Facs 2011, Oslo, Norway, September 14-16, 2011, Revised Selected Papers (Lecture Notes in Computer Science / Programming and Software)

Arbab, Farhad (Editor) / Ölveczky, Peter Csaba (Editor)

Sprache: Englisch

Verlag: Springer, 2012

3642357423 / 9783642357428

Softcover

Anbieter: Revaluation Books, Exeter, Vereinigtes KönigreichRevaluation Books

Verkäufer/-in mit 5 Sternen

Verkäufer/-in kontaktieren

Zustand: Neu

EUR 79,89

EUR 14,55 Versand

Versand von Vereinigtes Königreich nach USA

Anzahl: 2 verfügbar

Paperback. Zustand: Brand New. 2012 edition. 379 pages. 9.25x6.10x0.86 inches. In Stock.

Logic, Rewriting, and Concurrency: Symposium in Honor of José Meseguer on the Occasion of His 65th Birthday, Urbana, Il, USA, September 23-25, 2015, Proceedings

Martí-oliet, Narciso (Editor)/ Ölveczky, Peter Csaba (Editor)/ Talcott, Carolyn (Editor)

Sprache: Englisch

Verlag: Springer Verlag, 2015

3319231642 / 9783319231648

Softcover

Anbieter: Revaluation Books, Exeter, Vereinigtes KönigreichRevaluation Books

Verkäufer/-in mit 5 Sternen

Verkäufer/-in kontaktieren

Zustand: Neu

EUR 84,06

EUR 14,55 Versand

Versand von Vereinigtes Königreich nach USA

Anzahl: 2 verfügbar

Paperback. Zustand: Brand New. 648 pages. 9.30x6.20x1.46 inches. In Stock.

Software Engineering and Formal Methods: 17th International Conference, Sefm 2019, Oslo, Norway, September 18-20, 2019, Proceedings

Ölveczky, Peter Csaba (Editor)/ Salaün, Gwen (Editor)

Sprache: Englisch

Verlag: Springer-Verlag New York Inc, 2019

3030304450 / 9783030304454

Softcover

Anbieter: Revaluation Books, Exeter, Vereinigtes KönigreichRevaluation Books

Verkäufer/-in mit 5 Sternen

Verkäufer/-in kontaktieren

Zustand: Neu

EUR 84,59

EUR 14,55 Versand

Versand von Vereinigtes Königreich nach USA

Anzahl: 1 verfügbar

Paperback. Zustand: Brand New. 350 pages. 9.25x6.10x1.14 inches. In Stock.

Formal Techniques for Safety-critical Systems: 5th International Workshop, Ftscs 2016, Tokyo, Japan, November 14, 2016 - Revised Selected Papers

Artho, Cyrille (Editor)/ Olveczky, Peter Csaba (Editor)

Sprache: Englisch

Verlag: Springer-Verlag New York Inc, 2017

3319539450 / 9783319539454

Softcover

Anbieter: Revaluation Books, Exeter, Vereinigtes KönigreichRevaluation Books

Verkäufer/-in mit 5 Sternen

Verkäufer/-in kontaktieren

Zustand: Neu

EUR 76,70

EUR 23,28 Versand

Versand von Vereinigtes Königreich nach USA

Anzahl: 2 verfügbar

Paperback. Zustand: Brand New. revised edition. 176 pages. 9.25x6.10x0.40 inches. In Stock.

Formal Aspects of Component Software: 12th International Conference, Facs 2015, Niterói, Brazil, October 14-16, 2015, Revised Selected Papers

Braga, Christiano (Editor)/ Olveczky, Peter Csaba (Editor)

Sprache: Englisch

Verlag: Springer-Verlag New York Inc, 2016

3319289330 / 9783319289335

Softcover

Anbieter: Revaluation Books, Exeter, Vereinigtes KönigreichRevaluation Books

Verkäufer/-in mit 5 Sternen

Verkäufer/-in kontaktieren

Zustand: Neu

EUR 79,30

EUR 40,74 Versand

Versand von Vereinigtes Königreich nach USA

Anzahl: 2 verfügbar

Paperback. Zustand: Brand New. revised edition. 344 pages. 9.25x6.10x0.78 inches. In Stock.

Theoretical Aspects of Computing Ictac 2021: 18th International Colloquium, Virtual Event, Nur-sultan, Kazakhstan, September 810, 2021, Proceedings

Cerone, Antonio (Editor)/ Ölveczky, Peter Csaba (Editor)

Sprache: Englisch

Verlag: Springer-Nature New York Inc, 2021

3030853144 / 9783030853143

Softcover

Anbieter: Revaluation Books, Exeter, Vereinigtes KönigreichRevaluation Books

Verkäufer/-in mit 5 Sternen

Verkäufer/-in kontaktieren

Zustand: Neu

EUR 120,80

EUR 14,55 Versand

Versand von Vereinigtes Königreich nach USA

Anzahl: 2 verfügbar

Paperback. Zustand: Brand New. 419 pages. 9.25x6.10x0.86 inches. In Stock.

Olveczky peter csaba editor (12 Ergebnisse)

Optimieren Sie Ihre Suche

Formal Techniques for Safety-critical Systems: 6th International Workshop, Ftscs 2018, Gold Coast, Australia, November 16, 2018, Revised Selected Papers

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

Formal Techniques for Safety-critical Systems: Fourth International Workshop, Ftscs 2015, Paris, France, November 6-7, 2015. Revised Selected Papers

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

Formal Techniques for Safety-critical Systems: Second International Workshop, Ftscs 2013, Queenstown, New Zealand, October 29--30, 2013. Revised Selected Papers

Formal Aspects of Component Software: 15th International Conference, Facs 2018, Pohang, South Korea, October 10-12, 2018, Proceedings

Formal Aspects of Component Software: 8th International Symposium, Facs 2011, Oslo, Norway, September 14-16, 2011, Revised Selected Papers (Lecture Notes in Computer Science / Programming and Software)

Logic, Rewriting, and Concurrency: Symposium in Honor of José Meseguer on the Occasion of His 65th Birthday, Urbana, Il, USA, September 23-25, 2015, Proceedings

Software Engineering and Formal Methods: 17th International Conference, Sefm 2019, Oslo, Norway, September 18-20, 2019, Proceedings

Formal Techniques for Safety-critical Systems: 5th International Workshop, Ftscs 2016, Tokyo, Japan, November 14, 2016 - Revised Selected Papers

Formal Aspects of Component Software: 12th International Conference, Facs 2015, Niterói, Brazil, October 14-16, 2015, Revised Selected Papers

Theoretical Aspects of Computing Ictac 2021: 18th International Colloquium, Virtual Event, Nur-sultan, Kazakhstan, September 810, 2021, Proceedings