Barthe gilles editor

Formal Methods for Open Object-Based Distributed Systems: 10th IFIP WG 6.1 International Conference, FMOODS 2008, Oslo, Norway, June 4-6, 2008 . / Programming and Software Engineering)

Barthe, Gilles [Editor]

Sprache: Englisch

Verlag: Springer, 2008

3540688625 / 9783540688624

Softcover

Anbieter: GuthrieBooks, Spring Branch, TX, USAGuthrieBooks

Verkäufer/-in mit 5 Sternen

Verkäufer/-in kontaktieren

Zustand: Gebraucht - Gut

EUR 7,66

EUR 6,09 Versand

Versand innerhalb von USA

Anzahl: 1 verfügbar

Paperback. Zustand: Very Good. Sorry, No international shipping on this item.Ex-library paperback in very nice condition with the usual markings and attachments.

Trustworthy Global Computing: Third Symposium, TGC 2007, Sophia-Antipolis, France, November 5-6, 2007, Revised Selected Papers (Lecture Notes in . Computer Science and General Issues)

Barthe, Gilles [Editor]; Fournet, Cédric [Editor];

Sprache: Englisch

Verlag: Springer, 2008

3540786627 / 9783540786627

Softcover

Anbieter: GuthrieBooks, Spring Branch, TX, USAGuthrieBooks

Verkäufer/-in mit 5 Sternen

Verkäufer/-in kontaktieren

Zustand: Gebraucht - Gut

EUR 55,47

EUR 6,09 Versand

Versand innerhalb von USA

Anzahl: 1 verfügbar

Paperback. Zustand: Very Good. Sorry, No international shipping on this item.Ex-library paperback in very nice condition with the usual markings and attachments.

Foundations of Security Analysis and Design V: FOSAD 2007/2008/2009 Tutorial Lectures

Aldini, Alessandro (Editor)/ Barthe, Gilles/ Gorrieri, Roberto

Sprache: Englisch

Verlag: Springer-Verlag New York Inc, 2009

364203828X / 9783642038280

Softcover

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

Verkäufer/-in mit 5 Sternen

Verkäufer/-in kontaktieren

Zustand: Neu

EUR 74,23

EUR 14,55 Versand

Versand von Vereinigtes Königreich nach USA

Anzahl: 2 verfügbar

Paperback. Zustand: Brand New. 1st edition. 338 pages. 9.00x6.00x0.75 inches. In Stock.

Engineering Secure Software and Systems: 4th International Symposium, Essos 2012, Eindhoven, the Netherlands, February, 16-17, 2012, Proceedings

Barthe, Gilles (Editor)/ Livshits, Ben (Editor)/ Scandariato, Riccardo (Editor)

Sprache: Englisch

Verlag: Springer-Verlag New York Inc, 2012

3642281656 / 9783642281655

Softcover

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

Verkäufer/-in mit 5 Sternen

Verkäufer/-in kontaktieren

Zustand: Neu

EUR 77,69

EUR 11,64 Versand

Versand von Vereinigtes Königreich nach USA

Anzahl: 2 verfügbar

Paperback. Zustand: Brand New. 2012 edition. 163 pages. 9.30x6.00x0.40 inches. In Stock.

Formal Methods for Open Object-Based Distributed Systems: 10th IFIP WG 6.1 International Conference, FMOODS 2008, Oslo, Norway, June 4-6, 2008 Proceedings

Barthe, Gilles (Editor)/ De Boer, Frank S. (Editor)

Sprache: Englisch

Verlag: Springer-Verlag New York Inc, 2008

3540688625 / 9783540688624

Softcover

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

Verkäufer/-in mit 5 Sternen

Verkäufer/-in kontaktieren

Zustand: Neu

EUR 79,42

EUR 11,64 Versand

Versand von Vereinigtes Königreich nach USA

Anzahl: 2 verfügbar

Paperback. Zustand: Brand New. 2008 edition. 258 pages. 9.50x6.50x0.75 inches. In Stock.

Trustworthy Global Computing: Third Symposium, Tgc 2007, Sophia-antipolis, France, November 5-6, 2007, Revised Selected Papers

Barthe, Gilles (Editor)/ Fournet, Cedric (Editor)

Sprache: Englisch

Verlag: Springer-Verlag New York Inc, 2008

3540786627 / 9783540786627

Softcover

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

Verkäufer/-in mit 5 Sternen

Verkäufer/-in kontaktieren

Zustand: Neu

EUR 81,82

EUR 14,55 Versand

Versand von Vereinigtes Königreich nach USA

Anzahl: 2 verfügbar

Paperback. Zustand: Brand New. illustrated edition edition. 401 pages. 9.25x6.00x1.00 inches. In Stock.

Verification, Model Checking, and Abstract Interpretation: 11th International Conference, Vmcai 2010, Madrid, Spain, January 17-19, 2010, Proceedings

Barthe, Gilles (Editor)

Sprache: Englisch

Verlag: Springer-Verlag New York Inc, 2010

3642113184 / 9783642113185

Softcover

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

Verkäufer/-in mit 5 Sternen

Verkäufer/-in kontaktieren

Zustand: Neu

EUR 81,82

EUR 14,55 Versand

Versand von Vereinigtes Königreich nach USA

Anzahl: 2 verfügbar

Paperback. Zustand: Brand New. 397 pages. 9.25x6.00x0.75 inches. In Stock.

Security and Trust Management: 6th International Workshop, Stm 2010, Athens, Greece, September 23-24, 2010, Revised Selected Papers

Cuellar, Jorge (Editor)/ Lopez, Javier (Editor)/ Barthe, Gilles (Editor)/ Pretschner, Alexander (Editor)

Sprache: Englisch

Verlag: Springer Verlag, 2011

3642224431 / 9783642224430

Softcover

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

Verkäufer/-in mit 5 Sternen

Verkäufer/-in kontaktieren

Zustand: Neu

EUR 99,68

EUR 11,64 Versand

Versand von Vereinigtes Königreich nach USA

Anzahl: 2 verfügbar

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

Formal Aspects of Security and Trust: 8th International Workshop, Fast 2011, Leuven, Belgium, September 12-14, 2011. Revised Selected Papers

Barthe, Gilles (Editor)/ Datta, Anupam (Editor)/ Etalle, Sandro (Editor)

Sprache: Englisch

Verlag: Springer-Verlag New York Inc, 2012

3642294197 / 9783642294198

Softcover

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

Verkäufer/-in mit 5 Sternen

Verkäufer/-in kontaktieren

Zustand: Neu

EUR 100,07

EUR 11,64 Versand

Versand von Vereinigtes Königreich nach USA

Anzahl: 2 verfügbar

Paperback. Zustand: Brand New. revised edition. 289 pages. 9.10x6.00x0.80 inches. In Stock.

Security and Trust Management: 12th International Workshop, STM 2016, Heraklion, Crete, Greece, September 26-27, 2016, Proceedings (Lecture Notes in Computer Science)

Barthe, Gilles (Editor) / Markatos, Evangelos (Editor) / Samarati, Pierangela (Editor)

Sprache: Englisch

Verlag: Springer, 2016

331946597X / 9783319465975

Softcover

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

Verkäufer/-in mit 5 Sternen

Verkäufer/-in kontaktieren

Zustand: Neu

EUR 78,64

EUR 34,92 Versand

Versand von Vereinigtes Königreich nach USA

Anzahl: 2 verfügbar

Paperback. Zustand: Brand New. 229 pages. 9.25x6.10x0.55 inches. In Stock.

Barthe gilles editor (10 Ergebnisse)

Optimieren Sie Ihre Suche

Formal Methods for Open Object-Based Distributed Systems: 10th IFIP WG 6.1 International Conference, FMOODS 2008, Oslo, Norway, June 4-6, 2008 . / Programming and Software Engineering)

Trustworthy Global Computing: Third Symposium, TGC 2007, Sophia-Antipolis, France, November 5-6, 2007, Revised Selected Papers (Lecture Notes in . Computer Science and General Issues)

Foundations of Security Analysis and Design V: FOSAD 2007/2008/2009 Tutorial Lectures

Engineering Secure Software and Systems: 4th International Symposium, Essos 2012, Eindhoven, the Netherlands, February, 16-17, 2012, Proceedings

Formal Methods for Open Object-Based Distributed Systems: 10th IFIP WG 6.1 International Conference, FMOODS 2008, Oslo, Norway, June 4-6, 2008 Proceedings

Trustworthy Global Computing: Third Symposium, Tgc 2007, Sophia-antipolis, France, November 5-6, 2007, Revised Selected Papers

Verification, Model Checking, and Abstract Interpretation: 11th International Conference, Vmcai 2010, Madrid, Spain, January 17-19, 2010, Proceedings

Security and Trust Management: 6th International Workshop, Stm 2010, Athens, Greece, September 23-24, 2010, Revised Selected Papers

Formal Aspects of Security and Trust: 8th International Workshop, Fast 2011, Leuven, Belgium, September 12-14, 2011. Revised Selected Papers

Security and Trust Management: 12th International Workshop, STM 2016, Heraklion, Crete, Greece, September 26-27, 2016, Proceedings (Lecture Notes in Computer Science)