Gnesi stefania (144 risultati)

Brossura

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

Venditore con 5 stelle

Condizione: Nuovo

EUR 53,12

EUR 2,30 spedizione

Spedito in U.S.A.

Quantità: 1 disponibili

Condizione: New.

Abstract State Machines, Alloy, B, VDM, and Z

Lingua: Inglese

Editore: Springer 2012

Brossura

Da: PBShop.store US, Wood Dale, IL, U.S.A.PBShop.store US

Venditore con 5 stelle

Gnesi, Stefania (EDT); Rensink, Arend (EDT)

Condizione: Nuovo

EUR 55,49

Spedizione gratuita

Spedito in U.S.A.

Quantità: 1 disponibili

PAP. Condizione: New. New Book. Shipped from UK. Established seller since 2000.

Fundamental Approaches to Software Engineering : 17th International Conference, Fase 2014, Held As Part of the European Joint Conferences on Theory and Practice of Software, Etaps 2014, Grenoble, France, April 5-13, 2014, Proceedings

Lingua: Inglese

Editore: Springer 2014

3642548032 / 9783642548031

Brossura

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

Venditore con 5 stelle

Madhavji, Nazim (EDT); Pasquale, Liliana (EDT); Ferrari, Alessio (EDT); Gnesi, Stefania (EDT)

Condizione: Nuovo

EUR 53,58

EUR 2,30 spedizione

Spedito in U.S.A.

Quantità: Più di 20 disponibili

Condizione: New.

Requirements Engineering - Foundation for Software Quality : 26th International Working Conference, Refsq 2020, Pisa, Italy, March 24?27, 2020, Proceedings

Lingua: Inglese

Editore: Springer 2020

Brossura

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

Venditore con 5 stelle

Derrick, John (EDT); Gnesi, Stefania (EDT); Latella, Diego (EDT); Treharne, Helen (EDT)

Condizione: Nuovo

EUR 53,58

EUR 2,30 spedizione

Spedito in U.S.A.

Quantità: Più di 20 disponibili

Condizione: New.

Integrated Formal Methods : 9th International Conference, Ifm 2012, Pisa, Italy, June 18-21, 2012. Proceedings

Lingua: Inglese

Editore: Springer 2012

Brossura

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

Venditore con 5 stelle

Condizione: Nuovo

EUR 53,58

EUR 2,30 spedizione

Spedito in U.S.A.

Quantità: Più di 20 disponibili

Condizione: New.

Abstract State Machines, Alloy, B, VDM, and Z

Lingua: Inglese

Editore: Springer 2012

Brossura

Da: PBShop.store UK, Fairford, GLOS, Regno UnitoPBShop.store UK

Venditore con 5 stelle

Condizione: Nuovo

EUR 51,23

EUR 5,79 spedizione

Spedito da Regno Unito a U.S.A.

Quantità: 1 disponibili

PAP. Condizione: New. New Book. Shipped from UK. Established seller since 2000.

Integrated Formal Methods: 9th International Conference, Ifm 2012, Pisa, Italy, June 18-21, 2012. Proceedings (Paperback or Softback)

Derrick, John

Lingua: Inglese

Editore: Springer 6/6/2012 2012

Brossura

Da: BargainBookStores, Grand Rapids, MI, U.S.A.BargainBookStores

Venditore con 5 stelle

Derrick, John (EDT); Fitzgerald, John (EDT); Gnesi, Stefania (EDT); Khurshid, Sarfraz (EDT); Leuschel, Michael (EDT)

Condizione: Nuovo

EUR 58,63

Spedizione gratuita

Spedito in U.S.A.

Quantità: 5 disponibili

Paperback or Softback. Condizione: New. Integrated Formal Methods: 9th International Conference, Ifm 2012, Pisa, Italy, June 18-21, 2012. Proceedings. Book.

Abstract State Machines, Alloy, B, Vdm, and Z : Third International Conference, Abz 2012, Pisa, Italy, June 18-21, 2012. Proceedings

Lingua: Inglese

Editore: Springer 2012

Brossura

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

Venditore con 5 stelle

Fitzgerald, John (EDT); Heitmeyer, Constance (EDT); Gnesi, Stefania (EDT); Philippou, Anna (EDT)

Condizione: Usato - Come nuovo

EUR 56,27

EUR 2,30 spedizione

Spedito in U.S.A.

Quantità: 1 disponibili

Condizione: As New. Unread book in perfect condition.

Fm 2016 : Formal Methods: 21st International Symposium, Limassol, Cyprus, November 9-11, 2016, Proceedings

Lingua: Inglese

Editore: Springer 2016

Brossura

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

Venditore con 5 stelle

Ter Beek, Maurice H. (EDT); Gnesi, Stefania (EDT); Knapp, Alexander (EDT)

Condizione: Nuovo

EUR 57,90

EUR 2,30 spedizione

Spedito in U.S.A.

Quantità: Più di 20 disponibili

Condizione: New.

Critical Systems - Formal Methods and Automated Verification : Joint 21st International Workshop on Formal Methods for Industrial Critical Systems and 16th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2016, Pisa, Italy, September 26-28, 2016, Proceedings

Lingua: Inglese

Editore: Springer 2016

Brossura

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

Venditore con 5 stelle

Condizione: Nuovo

EUR 58,66

EUR 2,30 spedizione

Spedito in U.S.A.

Quantità: Più di 20 disponibili

Condizione: New.

FM 2016: Formal Methods: 21st International Symposium, Limassol, Cyprus, November 9-11, 2016, Proceedings (Programming and Software Engineering)

Lingua: Inglese

Editore: Springer 2016

Brossura

Da: California Books, Miami, FL, U.S.A.California Books

Venditore con 4 stelle

Condizione: Nuovo

EUR 61,03

Spedizione gratuita

Spedito in U.S.A.

Quantità: Più di 20 disponibili

Condizione: New.

Integrated Formal Methods: 9th International Conference, IFM 2012, Pisa, Italy, June 18-21, 2012. Proceedings (Lecture Notes in Computer Science, 7321)

Lingua: Inglese

Editore: Springer 2012

Brossura

Da: California Books, Miami, FL, U.S.A.California Books

Venditore con 4 stelle

Condizione: Nuovo

EUR 61,03

Spedizione gratuita

Spedito in U.S.A.

Quantità: Più di 20 disponibili

Condizione: New.

Requirements Engineering: Foundation for Software Quality: 26th International Working Conference, REFSQ 2020, Pisa, Italy, March 24-27, 2020, Proceedings (Programming and Software Engineering)

Lingua: Inglese

Editore: Springer 2020

Brossura

Da: California Books, Miami, FL, U.S.A.California Books

Venditore con 4 stelle

Condizione: Nuovo

EUR 61,03

Spedizione gratuita

Spedito in U.S.A.

Quantità: Più di 20 disponibili

Condizione: New.

Critical Systems: Formal Methods and Automated Verification: Joint 21st International Workshop on Formal Methods for Industrial Critical Systems and ... (Programming and Software Engineering)

Lingua: Inglese

Editore: Springer 2016

Brossura

Da: California Books, Miami, FL, U.S.A.California Books

Venditore con 4 stelle

Madhavji, Nazim (EDT); Pasquale, Liliana (EDT); Ferrari, Alessio (EDT); Gnesi, Stefania (EDT)

Condizione: Nuovo

EUR 61,03

Spedizione gratuita

Spedito in U.S.A.

Quantità: Più di 20 disponibili

Condizione: New.

Requirements Engineering - Foundation for Software Quality : 26th International Working Conference, Refsq 2020, Pisa, Italy, March 24?27, 2020, Proceedings

Lingua: Inglese

Editore: Springer 2020

Brossura

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

Venditore con 5 stelle

Derrick, John (EDT); Gnesi, Stefania (EDT); Latella, Diego (EDT); Treharne, Helen (EDT)

Condizione: Usato - Come nuovo

EUR 60,84

EUR 2,30 spedizione

Spedito in U.S.A.

Quantità: Più di 20 disponibili

Condizione: As New. Unread book in perfect condition.

Integrated Formal Methods : 9th International Conference, Ifm 2012, Pisa, Italy, June 18-21, 2012. Proceedings

Lingua: Inglese

Editore: Springer 2012

Brossura

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

Venditore con 5 stelle

Fitzgerald, John (EDT); Heitmeyer, Constance (EDT); Gnesi, Stefania (EDT); Philippou, Anna (EDT)

Condizione: Usato - Come nuovo

EUR 61,52

EUR 2,30 spedizione

Spedito in U.S.A.

Quantità: Più di 20 disponibili

Condizione: As New. Unread book in perfect condition.

Fm 2016 : Formal Methods: 21st International Symposium, Limassol, Cyprus, November 9-11, 2016, Proceedings

Lingua: Inglese

Editore: Springer 2016

Brossura

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

Venditore con 5 stelle

John Derrick, John Fitzgerald, Stefania Gnesi, Sarfraz Khurshid, Michael Leuschel, Steve Reeves, Elvinia Riccobene

Condizione: Usato - Come nuovo

EUR 61,82

EUR 2,30 spedizione

Spedito in U.S.A.

Quantità: Più di 20 disponibili

Condizione: As New. Unread book in perfect condition.

Abstract State Machines, Alloy, B, VDM, and Z: Third International Conference, ABZ 2012, Pisa, Italy, June 18-21, 2012. Proceedings (Lecture Notes in . Computer Science and General Issues)

Lingua: Inglese

Editore: Springer 2012-06-12 2012

Brossura

Da: Chiron Media, Wallingford, , Regno UnitoChiron Media

Venditore con 5 stelle

Derrick, John (EDT); Fitzgerald, John (EDT); Gnesi, Stefania (EDT); Khurshid, Sarfraz (EDT); Leuschel, Michael (EDT)

Condizione: Nuovo

EUR 50,23

EUR 17,86 spedizione

Spedito da Regno Unito a U.S.A.

Quantità: 1 disponibili

Paperback. Condizione: New.

Abstract State Machines, Alloy, B, Vdm, and Z : Third International Conference, Abz 2012, Pisa, Italy, June 18-21, 2012. Proceedings

Lingua: Inglese

Editore: Springer 2012

Brossura

Da: GreatBookPricesUK, Woodford Green, Regno UnitoGreatBookPricesUK

Venditore con 5 stelle

Condizione: Nuovo

EUR 51,22

EUR 17,30 spedizione

Spedito da Regno Unito a U.S.A.

Quantità: 1 disponibili

Condizione: New.

Requirements Engineering: Foundation for Software Quality: 26th International Working Conference, REFSQ 2020, Pisa, Italy, March 24-27, 2020, Proceedings (Programming and Software Engineering)

Lingua: Inglese

Editore: Springer 2020

Brossura

Da: Ria Christie Collections, Uxbridge, Regno UnitoRia Christie Collections

Venditore con 5 stelle

Condizione: Nuovo

EUR 60,33

EUR 13,81 spedizione

Spedito da Regno Unito a U.S.A.

Quantità: Più di 20 disponibili

Condizione: New. In.

Abstract State Machines, Alloy, B, VDM, and Z: Third International Conference, ABZ 2012, Pisa, Italy, June 18-21, 2012. Proceedings (Lecture Notes in Computer Science, 7316)

Lingua: Inglese

Editore: Springer 2012

Brossura

Da: Ria Christie Collections, Uxbridge, Regno UnitoRia Christie Collections

Venditore con 5 stelle

Condizione: Nuovo

EUR 60,33

EUR 13,81 spedizione

Spedito da Regno Unito a U.S.A.

Quantità: Più di 20 disponibili

Condizione: New. In.

Critical Systems: Formal Methods and Automated Verification: Joint 21st International Workshop on Formal Methods for Industrial Critical Systems and ... (Programming and Software Engineering)

Lingua: Inglese

Editore: Springer 2016

Brossura

Da: Ria Christie Collections, Uxbridge, Regno UnitoRia Christie Collections

Venditore con 5 stelle

Condizione: Nuovo

EUR 60,33

EUR 13,81 spedizione

Spedito da Regno Unito a U.S.A.

Quantità: Più di 20 disponibili

Condizione: New. In.

Critical Systems: Formal Methods and Automated Verification : Joint 21st International Workshop on Formal Methods for Industrial Critical Systems and

ter Beek, Maurice H.

Lingua: Inglese

Editore: Springer 2016-09 2016

Brossura

Da: Chiron Media, Wallingford, , Regno UnitoChiron Media

Venditore con 5 stelle

Condizione: Nuovo

EUR 56,64

EUR 17,86 spedizione

Spedito da Regno Unito a U.S.A.

Quantità: 10 disponibili

PF. Condizione: New.

Integrated Formal Methods: 9th International Conference, IFM 2012, Pisa, Italy, June 18-21, 2012. Proceedings (Lecture Notes in Computer Science, 7321)

Lingua: Inglese

Editore: Springer 2012

Brossura

Da: Ria Christie Collections, Uxbridge, Regno UnitoRia Christie Collections

Venditore con 5 stelle

3642548032 / 9783642548031

Condizione: Nuovo

EUR 60,33

EUR 13,81 spedizione

Spedito da Regno Unito a U.S.A.

Quantità: Più di 20 disponibili

Condizione: New. In.

Fundamental Approaches to Software Engineering: 17th International Conference, FASE 2014, Held as Part of the European Joint Conferences on Theory and ... Computer Science and General Issues)

Lingua: Inglese

Editore: Springer 2014

Brossura

Da: Ria Christie Collections, Uxbridge, Regno UnitoRia Christie Collections

Venditore con 5 stelle

Condizione: Nuovo

EUR 60,33

EUR 13,81 spedizione

Spedito da Regno Unito a U.S.A.

Quantità: Più di 20 disponibili

Condizione: New. In.

FM 2016: Formal Methods: 21st International Symposium, Limassol, Cyprus, November 9-11, 2016, Proceedings (Programming and Software Engineering)

Lingua: Inglese

Editore: Springer 2016

Brossura

Da: Ria Christie Collections, Uxbridge, Regno UnitoRia Christie Collections

Venditore con 5 stelle

Stefania Gnesi, Arend Rensink

Condizione: Nuovo

EUR 60,33

EUR 13,81 spedizione

Spedito da Regno Unito a U.S.A.

Quantità: Più di 20 disponibili

Condizione: New. In.

Fundamental Approaches to Software Engineering (Lecture Notes in Computer Science)

Lingua: Inglese

Editore: Springer 2014-03-17 2014

3642548032 / 9783642548031

Brossura

Da: Chiron Media, Wallingford, , Regno UnitoChiron Media

Venditore con 5 stelle

Derrick, John (EDT); Fitzgerald, John (EDT); Gnesi, Stefania (EDT); Khurshid, Sarfraz (EDT); Leuschel, Michael (EDT)

Condizione: Nuovo

EUR 56,98

EUR 17,86 spedizione

Spedito da Regno Unito a U.S.A.

Quantità: 10 disponibili

Paperback. Condizione: New.

Abstract State Machines, Alloy, B, Vdm, and Z : Third International Conference, Abz 2012, Pisa, Italy, June 18-21, 2012. Proceedings

Lingua: Inglese

Editore: Springer 2012

Brossura

Da: GreatBookPricesUK, Woodford Green, Regno UnitoGreatBookPricesUK

Venditore con 5 stelle

John Fitzgerald, Constance Heitmeyer, Stefania Gnesi, Anna Philippou

Condizione: Usato - Come nuovo

EUR 58,23

EUR 17,30 spedizione

Spedito da Regno Unito a U.S.A.

Quantità: 1 disponibili

Condizione: As New. Unread book in perfect condition.

FM 2016: Formal Methods: 21st International Symposium, Limassol, Cyprus, November 9-11, 2016, Proceedings (Lecture Notes in Computer Science)

Lingua: Inglese

Editore: Springer 2016-11-08 2016

Brossura

Da: Chiron Media, Wallingford, , Regno UnitoChiron Media

Venditore con 5 stelle

Condizione: Nuovo

EUR 57,23

EUR 17,86 spedizione

Spedito da Regno Unito a U.S.A.

Quantità: 10 disponibili

Paperback. Condizione: New.

Integrated Formal Methods : 9th International Conference, IFM 2012, Pisa, Italy, June 18-21, 2012. Proceedings

Derrick, John

Lingua: Inglese

Editore: Springer 2012-06 2012

Brossura

Da: Chiron Media, Wallingford, , Regno UnitoChiron Media

Venditore con 5 stelle