Damiani ferruccio edt (28 risultati)

Brossura

Da: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices

Venditore con 5 stelle

Beckert, Bernhard (EDT); Damiani, Ferruccio (EDT); De Boer, Frank S. (EDT); Bonsangue, Marcello M. (EDT)

Condizione: Nuovo

EUR 48,97

EUR 2,29 spedizione

Spedito in U.S.A.

Quantità: Più di 20 disponibili

Condizione: New.

Formal Methods for Components and Objects : 10th International Symposium, Fmco 2011, Turin, Italy, October 3-5, 2011, Revised Selected Papers

Lingua: Inglese

Editore: Springer, 2013

Brossura

Da: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices

Venditore con 5 stelle

Bernardo, Marco (EDT); Damiani, Ferruccio (EDT); Haehnle, Reiner (EDT); Johnsen, Einar Broch (EDT); Schaefer, Ina (EDT)

Condizione: Nuovo

EUR 53,67

EUR 2,29 spedizione

Spedito in U.S.A.

Quantità: Più di 20 disponibili

Condizione: New.

Formal Methods for Executable Software Models : 14th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, Sfm 2014, Bertinoro, Italy, June 16-20, 2014, Advanced Lectures

Lingua: Inglese

Editore: Springer, 2014

Brossura

Da: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices

Venditore con 5 stelle

Condizione: Nuovo

EUR 53,67

EUR 2,29 spedizione

Spedito in U.S.A.

Quantità: Più di 20 disponibili

Condizione: New.

Coordination Models and Languages : 23rd IFIP WG 6.1 International Conference, COORDINATION 2021, Held as Part of the 16th International Federated Conference on Distributed Computing Techniques, DisCoTec 2021, Valletta, Malta, June 14?18, 2021, Proceedings

Lingua: Inglese

Editore: Springer, 2021

Serie: Libro 110 di 129 - Lecture Notes in Computer Science

Brossura

Da: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices

Venditore con 5 stelle

Beckert, Bernhard (EDT); Damiani, Ferruccio (EDT); Gurov, Dilian (EDT)

Condizione: Nuovo

EUR 53,73

EUR 2,29 spedizione

Spedito in U.S.A.

Quantità: Più di 20 disponibili

Condizione: New.

Formal Verification of Object-oriented Software : International Conference, Foveoo 2011, Turin, Italy, October 5-7, 2011, Revised Selected Papers

Lingua: Inglese

Editore: Springer, 2012

Brossura

Da: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices

Venditore con 5 stelle

Berardi, Stefano (EDT); Coppo, Mario (EDT); Damiani, Ferruccio (EDT)

Condizione: Usato - Come nuovo

EUR 55,97

EUR 2,29 spedizione

Spedito in U.S.A.

Quantità: Più di 20 disponibili

Condizione: As New. Unread book in perfect condition.

Types For Proofs And Programs : International Workshop, Types 2003, Torino, Italy, April 30 - May 4, 2003, Revised Selected Papers

Lingua: Inglese

Editore: Springer, 2004

Brossura

Da: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices

Venditore con 5 stelle

Condizione: Nuovo

EUR 56,22

EUR 2,29 spedizione

Spedito in U.S.A.

Quantità: Più di 20 disponibili

Condizione: New.

Coordination Models and Languages : 23rd IFIP WG 6.1 International Conference, COORDINATION 2021, Held as Part of the 16th International Federated Conference on Distributed Computing Techniques, DisCoTec 2021, Valletta, Malta, June 14?18, 2021, Proceedings

Lingua: Inglese

Editore: Springer, 2021

Serie: Libro 110 di 129 - Lecture Notes in Computer Science

Brossura

Da: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices

Venditore con 5 stelle

Berardi, Stefano (EDT); Coppo, Mario (EDT); Damiani, Ferruccio (EDT)

Condizione: Usato - Come nuovo

EUR 62,09

EUR 2,29 spedizione

Spedito in U.S.A.

Quantità: Più di 20 disponibili

Condizione: As New. Unread book in perfect condition.

Types For Proofs And Programs : International Workshop, Types 2003, Torino, Italy, April 30 - May 4, 2003, Revised Selected Papers

Lingua: Inglese

Editore: Springer, 2004

Brossura

Da: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices

Venditore con 5 stelle

Berardi, Stefano (EDT); Damiani, Ferruccio (EDT); Liguoro, Ugo De (EDT)

Condizione: Usato - Come nuovo

EUR 62,53

EUR 2,29 spedizione

Spedito in U.S.A.

Quantità: Più di 20 disponibili

Condizione: As New. Unread book in perfect condition.

Types for Proofs and Programs : International Conference, Types 2008 Torino, Italy, March 26-29, 2008 Revised Selected Papers

Lingua: Inglese

Editore: Springer, 2009

Brossura

Da: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices

Venditore con 5 stelle

Beckert, Bernhard (EDT); Damiani, Ferruccio (EDT); Gurov, Dilian (EDT)

Condizione: Usato - Come nuovo

EUR 63,46

EUR 2,29 spedizione

Spedito in U.S.A.

Quantità: 15 disponibili

Condizione: As New. Unread book in perfect condition.

Formal Verification of Object-oriented Software : International Conference, Foveoo 2011, Turin, Italy, October 5-7, 2011, Revised Selected Papers

Lingua: Inglese

Editore: Springer, 2012

Brossura

Da: GreatBookPricesUK, Woodford Green, Regno UnitoGreatBookPricesUK

Venditore con 5 stelle

De Boer, Frank (EDT); Damiani, Ferruccio (EDT); Hähnle, Reiner (EDT); Johnsen, Einar Broch (EDT); Kamburjan, Eduard (EDT)

Condizione: Nuovo

EUR 54,05

EUR 17,51 spedizione

Spedito da Regno Unito a U.S.A.

Quantità: Più di 20 disponibili

Condizione: New.

Active Object Languages : Current Research Trends

Lingua: Inglese

Editore: Springer, 2024

Brossura

Da: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices

Venditore con 5 stelle

Berardi, Stefano (EDT); Damiani, Ferruccio (EDT); Liguoro, Ugo De (EDT)

Condizione: Nuovo

EUR 74,90

EUR 2,29 spedizione

Spedito in U.S.A.

Quantità: Più di 20 disponibili

Condizione: New.

Types for Proofs and Programs : International Conference, Types 2008 Torino, Italy, March 26-29, 2008 Revised Selected Papers

Lingua: Inglese

Editore: Springer, 2009

Brossura

Da: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices

Venditore con 5 stelle

Beckert, Bernhard (EDT); Damiani, Ferruccio (EDT); Gurov, Dilian (EDT)

Condizione: Nuovo

EUR 75,49

EUR 2,29 spedizione

Spedito in U.S.A.

Quantità: 15 disponibili

Condizione: New.

Formal Verification of Object-oriented Software : International Conference, Foveoo 2011, Turin, Italy, October 5-7, 2011, Revised Selected Papers

Lingua: Inglese

Editore: Springer, 2012

Brossura

Da: GreatBookPricesUK, Woodford Green, Regno UnitoGreatBookPricesUK

Venditore con 5 stelle

Bernardo, Marco (EDT); Damiani, Ferruccio (EDT); Haehnle, Reiner (EDT); Johnsen, Einar Broch (EDT); Schaefer, Ina (EDT)

Condizione: Usato - Come nuovo

EUR 59,95

EUR 17,51 spedizione

Spedito da Regno Unito a U.S.A.

Quantità: Più di 20 disponibili

Condizione: As New. Unread book in perfect condition.

Formal Methods for Executable Software Models : 14th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, Sfm 2014, Bertinoro, Italy, June 16-20, 2014, Advanced Lectures

Lingua: Inglese

Editore: Springer, 2014

Brossura

Da: GreatBookPricesUK, Woodford Green, Regno UnitoGreatBookPricesUK

Venditore con 5 stelle

Beckert, Bernhard (EDT); Damiani, Ferruccio (EDT); De Boer, Frank S. (EDT); Bonsangue, Marcello M. (EDT)

Condizione: Nuovo

EUR 60,44

EUR 17,51 spedizione

Spedito da Regno Unito a U.S.A.

Quantità: Più di 20 disponibili

Condizione: New.

Formal Methods for Components and Objects : 10th International Symposium, Fmco 2011, Turin, Italy, October 3-5, 2011, Revised Selected Papers

Lingua: Inglese

Editore: Springer, 2013

Brossura

Da: GreatBookPricesUK, Woodford Green, Regno UnitoGreatBookPricesUK

Venditore con 5 stelle

Berardi, Stefano (EDT); Damiani, Ferruccio (EDT); Liguoro, Ugo De (EDT)

Condizione: Nuovo

EUR 60,47

EUR 17,51 spedizione

Spedito da Regno Unito a U.S.A.

Quantità: Più di 20 disponibili

Condizione: New.

Types for Proofs and Programs : International Conference, Types 2008 Torino, Italy, March 26-29, 2008 Revised Selected Papers

Lingua: Inglese

Editore: Springer, 2009

Brossura

Da: GreatBookPricesUK, Woodford Green, Regno UnitoGreatBookPricesUK

Venditore con 5 stelle

Berardi, Stefano (EDT); Coppo, Mario (EDT); Damiani, Ferruccio (EDT)

Condizione: Nuovo

EUR 60,48

EUR 17,51 spedizione

Spedito da Regno Unito a U.S.A.

Quantità: Più di 20 disponibili

Condizione: New.

Types For Proofs And Programs : International Workshop, Types 2003, Torino, Italy, April 30 - May 4, 2003, Revised Selected Papers

Lingua: Inglese

Editore: Springer, 2004

Brossura

Da: GreatBookPricesUK, Woodford Green, Regno UnitoGreatBookPricesUK

Venditore con 5 stelle

De Boer, Frank (EDT); Damiani, Ferruccio (EDT); Hähnle, Reiner (EDT); Johnsen, Einar Broch (EDT); Kamburjan, Eduard (EDT)

Condizione: Nuovo

EUR 60,53

EUR 17,51 spedizione

Spedito da Regno Unito a U.S.A.

Quantità: Più di 20 disponibili

Condizione: New.

Active Object Languages : Current Research Trends

Lingua: Inglese

Editore: Springer, 2024

Brossura

Da: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices

Venditore con 5 stelle

Condizione: Usato - Come nuovo

EUR 76,41

EUR 2,29 spedizione

Spedito in U.S.A.

Quantità: Più di 20 disponibili

Condizione: As New. Unread book in perfect condition.

Coordination Models and Languages : 23rd IFIP WG 6.1 International Conference, COORDINATION 2021, Held as Part of the 16th International Federated Conference on Distributed Computing Techniques, DisCoTec 2021, Valletta, Malta, June 14?18, 2021, Proceedings

Lingua: Inglese

Editore: Springer, 2021

Serie: Libro 110 di 129 - Lecture Notes in Computer Science

Brossura

Da: GreatBookPricesUK, Woodford Green, Regno UnitoGreatBookPricesUK

Venditore con 5 stelle

Berardi, Stefano (EDT); Damiani, Ferruccio (EDT); Liguoro, Ugo De (EDT)

Condizione: Nuovo

EUR 61,08

EUR 17,51 spedizione

Spedito da Regno Unito a U.S.A.

Quantità: Più di 20 disponibili

Condizione: New.

Types for Proofs and Programs : International Conference, Types 2008 Torino, Italy, March 26-29, 2008 Revised Selected Papers

Lingua: Inglese

Editore: Springer, 2009

Brossura

Da: GreatBookPricesUK, Woodford Green, Regno UnitoGreatBookPricesUK

Venditore con 5 stelle

Condizione: Usato - Come nuovo

EUR 67,26

EUR 17,51 spedizione

Spedito da Regno Unito a U.S.A.

Quantità: Più di 20 disponibili

Condizione: As New. Unread book in perfect condition.

Coordination Models and Languages : 23rd IFIP WG 6.1 International Conference, COORDINATION 2021, Held as Part of the 16th International Federated Conference on Distributed Computing Techniques, DisCoTec 2021, Valletta, Malta, June 14?18, 2021, Proceedings

Lingua: Inglese

Editore: Springer, 2021

Serie: Libro 110 di 129 - Lecture Notes in Computer Science

Brossura

Da: GreatBookPricesUK, Woodford Green, Regno UnitoGreatBookPricesUK

Venditore con 5 stelle

Berardi, Stefano (EDT); Coppo, Mario (EDT); Damiani, Ferruccio (EDT)

Condizione: Usato - Come nuovo

EUR 67,23

EUR 17,51 spedizione

Spedito da Regno Unito a U.S.A.

Quantità: Più di 20 disponibili

Condizione: As New. Unread book in perfect condition.

Types For Proofs And Programs : International Workshop, Types 2003, Torino, Italy, April 30 - May 4, 2003, Revised Selected Papers

Lingua: Inglese

Editore: Springer, 2004

Brossura

Da: GreatBookPricesUK, Woodford Green, Regno UnitoGreatBookPricesUK

Venditore con 5 stelle

De Boer, Frank (EDT); Damiani, Ferruccio (EDT); Hähnle, Reiner (EDT); Johnsen, Einar Broch (EDT); Kamburjan, Eduard (EDT)

Condizione: Usato - Come nuovo

EUR 67,24

EUR 17,51 spedizione

Spedito da Regno Unito a U.S.A.

Quantità: Più di 20 disponibili

Condizione: As New. Unread book in perfect condition.

Active Object Languages : Current Research Trends

Lingua: Inglese

Editore: Springer, 2024

Brossura

Da: GreatBookPricesUK, Woodford Green, Regno UnitoGreatBookPricesUK

Venditore con 5 stelle

De Boer, Frank (EDT); Damiani, Ferruccio (EDT); Hähnle, Reiner (EDT); Johnsen, Einar Broch (EDT); Kamburjan, Eduard (EDT)

Condizione: Nuovo

EUR 70,32

EUR 17,51 spedizione

Spedito da Regno Unito a U.S.A.

Quantità: Più di 20 disponibili

Condizione: New.

Active Object Languages : Current Research Trends

Lingua: Inglese

Editore: Springer, 2024

Brossura

Da: GreatBookPricesUK, Woodford Green, Regno UnitoGreatBookPricesUK

Venditore con 5 stelle

Bernardo, Marco (EDT); Damiani, Ferruccio (EDT); Haehnle, Reiner (EDT); Johnsen, Einar Broch (EDT); Schaefer, Ina (EDT)

Condizione: Usato - Come nuovo

EUR 77,26

EUR 17,51 spedizione

Spedito da Regno Unito a U.S.A.

Quantità: Più di 20 disponibili

Condizione: As New. Unread book in perfect condition.

Formal Methods for Executable Software Models : 14th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, Sfm 2014, Bertinoro, Italy, June 16-20, 2014, Advanced Lectures

Lingua: Inglese

Editore: Springer, 2014

Brossura

Da: GreatBookPricesUK, Woodford Green, Regno UnitoGreatBookPricesUK

Venditore con 5 stelle

Bernardo, Marco (EDT); Damiani, Ferruccio (EDT); Haehnle, Reiner (EDT); Johnsen, Einar Broch (EDT); Schaefer, Ina (EDT)

Condizione: Usato - Come nuovo

EUR 117,85

EUR 17,51 spedizione

Spedito da Regno Unito a U.S.A.

Quantità: Più di 20 disponibili

Condizione: As New. Unread book in perfect condition.

Formal Methods for Executable Software Models : 14th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, Sfm 2014, Bertinoro, Italy, June 16-20, 2014, Advanced Lectures

Lingua: Inglese

Editore: Springer, 2014

Brossura

Da: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices

Venditore con 5 stelle

Beckert, Bernhard (EDT); Damiani, Ferruccio (EDT); De Boer, Frank S. (EDT); Bonsangue, Marcello M. (EDT)

Condizione: Usato - Come nuovo

EUR 139,19

EUR 2,29 spedizione

Spedito in U.S.A.

Quantità: Più di 20 disponibili

Condizione: As New. Unread book in perfect condition.

Formal Methods for Components and Objects : 10th International Symposium, Fmco 2011, Turin, Italy, October 3-5, 2011, Revised Selected Papers

Lingua: Inglese

Editore: Springer, 2013

Brossura

Da: GreatBookPricesUK, Woodford Green, Regno UnitoGreatBookPricesUK

Venditore con 5 stelle

Beckert, Bernhard (EDT); Damiani, Ferruccio (EDT); De Boer, Frank S. (EDT); Bonsangue, Marcello M. (EDT)

Condizione: Usato - Come nuovo

EUR 128,67

EUR 17,51 spedizione

Spedito da Regno Unito a U.S.A.

Quantità: Più di 20 disponibili

Condizione: As New. Unread book in perfect condition.

Formal Methods for Components and Objects : 10th International Symposium, Fmco 2011, Turin, Italy, October 3-5, 2011, Revised Selected Papers

Lingua: Inglese

Editore: Springer, 2013

Brossura

Da: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices

Venditore con 5 stelle