Bernardo marco editor

Formal Methods for Mobile Computing: 5th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, . Lectures (Lecture Notes in Computer Science)

Bernardo, Marco [Editor]; Bogliolo, Alessandro [Editor];

Sprache: Englisch

Verlag: Springer, 2008

3540256970 / 9783540256977

Softcover

Anbieter: GuthrieBooks, Spring Branch, TX, USAGuthrieBooks

Verkäufer/-in mit 5 Sternen

Verkäufer/-in kontaktieren

Zustand: Gebraucht - Gut

EUR 61,21

EUR 6,33 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.

Formal Methods for Dynamical Systems: 13th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM . / Programming and Software Engineering)

Bernardo, Marco (Editor) / de Vink, Erik (Editor) / Di Pierro, Alessandra (Editor) / Wiklicky, Herbert (Editor)

Sprache: Englisch

Verlag: Springer, 2013

3642388736 / 9783642388736

Softcover

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

Verkäufer/-in mit 5 Sternen

Verkäufer/-in kontaktieren

Zustand: Neu

EUR 73,78

EUR 11,97 Versand

Versand von Vereinigtes Königreich nach USA

Anzahl: 2 verfügbar

Paperback. Zustand: Brand New. 2013 edition. 188 pages. 9.25x6.10x0.44 inches. In Stock.

Formal Methods for Quantitative Aspects of Programming Languages: 10th International School on Formal Methods for the Design of Computer, Communication and Software Systems, Sfm 2010 Bertinoro, Italy, June 21-26, 201

Aldini, Alessandro (Editor)

Sprache: Englisch

Verlag: Springer-Verlag New York Inc, 2010

364213677X / 9783642136771

Softcover

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

Verkäufer/-in mit 5 Sternen

Verkäufer/-in kontaktieren

Zustand: Neu

EUR 80,85

EUR 11,97 Versand

Versand von Vereinigtes Königreich nach USA

Anzahl: 2 verfügbar

Paperback. Zustand: Brand New. 176 pages. 9.00x6.00x0.25 inches. In Stock.

Computer Performance Engineering: 7th European Performance Engineering Workshop, Epew 2010, Bertinoro, Italy, September 23-24, 2010, Proceedings

Aldini, Alessandro (Editor)

Sprache: Englisch

Verlag: Springer-Verlag New York Inc, 2010

3642157831 / 9783642157837

Softcover

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

Verkäufer/-in mit 5 Sternen

Verkäufer/-in kontaktieren

Zustand: Neu

EUR 82,16

EUR 11,97 Versand

Versand von Vereinigtes Königreich nach USA

Anzahl: 1 verfügbar

Paperback. Zustand: Brand New. 1st edition. 296 pages. 9.20x6.10x0.70 inches. In Stock.

Formal Methods for Model-driven Engineering: 12th International School on Formal Health for the Design of Computer, Communication and Software Systems, Sfm 2012, Bertinoro, Italy, June 18-23, 201

Bernardo, Marco (Editor)/ Cortellessa, Vittorio (Editor)/ Pierantonio, Alfonso (Editor)

Sprache: Englisch

Verlag: Springer-Verlag New York Inc, 2012

364230981X / 9783642309816

Softcover

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

Verkäufer/-in mit 5 Sternen

Verkäufer/-in kontaktieren

Zustand: Neu

EUR 85,44

EUR 14,97 Versand

Versand von Vereinigtes Königreich nach USA

Anzahl: 2 verfügbar

Paperback. Zustand: Brand New. 2012 edition. 446 pages. 9.21x6.06x0.94 inches. In Stock.

Formal Methods for Performance Evaluation: 7th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, Sfm 2007, Bertinoro, Italy, May 8-june 2,

Bernardo, Marco (Editor)/ Hillston, Jane (Editor)

Sprache: Englisch

Verlag: Springer-Verlag New York Inc, 2007

3540724826 / 9783540724827

Softcover

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

Verkäufer/-in mit 5 Sternen

Verkäufer/-in kontaktieren

Zustand: Neu

EUR 86,10

EUR 14,97 Versand

Versand von Vereinigtes Königreich nach USA

Anzahl: 2 verfügbar

Paperback. Zustand: Brand New. 1st edition. 467 pages. 9.00x6.00x1.00 inches. In Stock.

Formal Methods for Computational Systems Biology: 8th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2008 Bertinoro, Italy, June 2-7, 2008

Bernardo, Marco (Editor)/ Degano, Pierpaolo (Editor)/ Zavattaro, Gianluigi (Editor)

Sprache: Englisch

Verlag: Springer-Verlag New York Inc, 2008

3540688927 / 9783540688921

Softcover

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

Verkäufer/-in mit 5 Sternen

Verkäufer/-in kontaktieren

Zustand: Neu

EUR 87,10

EUR 14,97 Versand

Versand von Vereinigtes Königreich nach USA

Anzahl: 2 verfügbar

Paperback. Zustand: Brand New. 1st edition. 525 pages. 9.00x6.00x1.00 inches. In Stock.

Formal Methods for Web Services: 9th International School on Formal Methods for the Design of Computer, Communication and Software Systems, Sfm 2009, Bertinoro, Italy, June 1-6, 2009,

Bernardo, Marco (Editor) / Padovani, Luca (Editor) / Zavattaro, Gianluigi (Editor)

Sprache: Englisch

Verlag: Springer-Verlag Berlin And Heidelberg Gmbh & Co. Kg, 2009

364201917X / 9783642019173

Softcover

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

Verkäufer/-in mit 5 Sternen

Verkäufer/-in kontaktieren

Zustand: Neu

EUR 105,15

EUR 14,97 Versand

Versand von Vereinigtes Königreich nach USA

Anzahl: 2 verfügbar

Paperback. Zustand: Brand New. 1st edition. 341 pages. 9.25x6.25x0.75 inches. In Stock.

Formal Methods for Multicore Programming: 15th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, Sfm 2015

Bernardo, Marco (Editor)/ Johnsen, Einar Broch (Editor)

Sprache: Englisch

Verlag: Springer-Verlag New York Inc, 2015

3319189409 / 9783319189406

Softcover

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

Verkäufer/-in mit 5 Sternen

Verkäufer/-in kontaktieren

Zustand: Neu

EUR 81,28

EUR 41,91 Versand

Versand von Vereinigtes Königreich nach USA

Anzahl: 2 verfügbar

Paperback. Zustand: Brand New. 2015 edition. 220 pages. 9.25x6.10x0.50 inches. In Stock.

Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems: 16th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, Sfm 2016, Bertinoro, Italy, June 20-24, 2

Bernardo, Marco (Editor)/ De Nicola, Rocco (Editor)/ Hillston, Jane (Editor)

Sprache: Englisch

Verlag: Springer-Verlag New York Inc, 2016

3319340956 / 9783319340951

Softcover

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

Verkäufer/-in mit 5 Sternen

Verkäufer/-in kontaktieren

Zustand: Neu

EUR 82,16

EUR 41,91 Versand

Versand von Vereinigtes Königreich nach USA

Anzahl: 2 verfügbar

Paperback. Zustand: Brand New. 272 pages. 9.25x6.10x0.62 inches. In Stock.

Optimieren Sie Ihre Suche

Bernardo marco editor (10 Ergebnisse)

Formal Methods for Mobile Computing: 5th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, . Lectures (Lecture Notes in Computer Science)

Formal Methods for Dynamical Systems: 13th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM . / Programming and Software Engineering)

Formal Methods for Quantitative Aspects of Programming Languages: 10th International School on Formal Methods for the Design of Computer, Communication and Software Systems, Sfm 2010 Bertinoro, Italy, June 21-26, 201

Computer Performance Engineering: 7th European Performance Engineering Workshop, Epew 2010, Bertinoro, Italy, September 23-24, 2010, Proceedings

Formal Methods for Model-driven Engineering: 12th International School on Formal Health for the Design of Computer, Communication and Software Systems, Sfm 2012, Bertinoro, Italy, June 18-23, 201

Formal Methods for Performance Evaluation: 7th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, Sfm 2007, Bertinoro, Italy, May 8-june 2,

Formal Methods for Computational Systems Biology: 8th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2008 Bertinoro, Italy, June 2-7, 2008

Formal Methods for Web Services: 9th International School on Formal Methods for the Design of Computer, Communication and Software Systems, Sfm 2009, Bertinoro, Italy, June 1-6, 2009,

Formal Methods for Multicore Programming: 15th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, Sfm 2015

Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems: 16th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, Sfm 2016, Bertinoro, Italy, June 20-24, 2