Rupak majumdar (123 risultati)

Georgiou, Chryssis (EDT); Majumdar, Rupak (EDT)

Condizione: Usato - Molto buono

EUR 32,17

EUR 4,02 spedizione

Spedito in U.S.A.

Quantità: 1 disponibile

Condizione: Very Good. *Price Has BEEN REDUCED by 10% until Monday, Oct. 12 (SALE item)* 343 pp., Paperback, very good. - If you are reading this, this item is actually (physically) in our stock and ready for shipment once ordered. We are not bookjackers. Buyer is responsible for any additional duties, taxes, or fees required by recipient's country.…

Networked Systems : 8th International Conference, Netys 2020, Marrakech, Morocco, June 3?5, 2020, Proceedings

Lingua: Inglese

Editore: Springer, 2021

Serie: Libro 259 di 300 - Lecture Notes in Computer Science

Brossura

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

Venditore con 5 stelle

Condizione: Nuovo

EUR 53,65

EUR 2,36 spedizione

Spedito in U.S.A.

Quantità: Più di 20 disponibili

Condizione: New.

Computer Aided Verification : 29th International Conference, Cav 2017, Heidelberg, Germany, July 24-28, 2017. Proceedings

3319633899 / 9783319633893

Lingua: Inglese

Editore: Springer, 2017

Brossura

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

Venditore con 5 stelle

Esparza, Javier (EDT); Majumdar, Rupak (EDT)

Condizione: Nuovo

EUR 54,89

EUR 2,36 spedizione

Spedito in U.S.A.

Quantità: 15 disponibili

Condizione: New.

Tools and Algorithms for the Construction and Analysis of Systems : 16th Internationa Conference, TACAS 2010, Held As Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-29, 2010, Proceedings

Lingua: Inglese

Editore: Springer, 2010

Brossura

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

Venditore con 5 stelle

Condizione: Nuovo

EUR 58,05

EUR 2,36 spedizione

Spedito in U.S.A.

Quantità: Più di 20 disponibili

Condizione: New.

Tools and Algorithms for the Construction and Analysis of Systems: 16th International Conference, Tacas 2010, Held as Part of the Joint European Confe (Paperback or Softback)

Esparza, Javier

Lingua: Inglese

Editore: Springer 3/17/2010, 2010

Brossura

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

Venditore con 5 stelle

Bartocci, Ezio (EDT); Majumdar, Rupak (EDT)

Condizione: Nuovo

EUR 60,49

Spedizione gratuita

Spedito in U.S.A.

Quantità: 5 disponibili

Paperback or Softback. Condizione: New. Tools and Algorithms for the Construction and Analysis of Systems: 16th International Conference, Tacas 2010, Held as Part of the Joint European Confe. Book.

Runtime Verification : 6th International Conference, Rv 2015

Lingua: Inglese

Editore: Springer, 2015

Brossura

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

Venditore con 5 stelle

Condizione: Nuovo

EUR 60,09

EUR 2,36 spedizione

Spedito in U.S.A.

Quantità: Più di 20 disponibili

Condizione: New.

Computer Aided Verification : 29th International Conference, Cav 2017, Heidelberg, Germany, July 24-28, 2017. Proceedings

Lingua: Inglese

Editore: Springer, 2017

Brossura

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

Venditore con 5 stelle

Condizione: Nuovo

EUR 60,09

EUR 2,36 spedizione

Spedito in U.S.A.

Quantità: Più di 20 disponibili

Condizione: New.

Computer Aided Verification: 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part I (Lecture Notes in Computer Science, 10426)

Lingua: Inglese

Editore: Springer, 2017

Brossura

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

Venditore con 5 stelle

Condizione: Nuovo

EUR 62,52

Spedizione gratuita

Spedito in U.S.A.

Quantità: Più di 20 disponibili

Condizione: New.

Runtime Verification: 6th International Conference, RV 2015, Vienna, Austria, September 22-25, 2015. Proceedings (Lecture Notes in Computer Science, 9333)

Lingua: Inglese

Editore: Springer, 2015

Brossura

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

Venditore con 5 stelle

Condizione: Nuovo

EUR 62,52

Spedizione gratuita

Spedito in U.S.A.

Quantità: Più di 20 disponibili

Condizione: New.

Tools and Algorithms for the Construction and Analysis of Systems: 16th International Conference, TACAS 2010, Held as Part of the Joint European ... (Lecture Notes in Computer Science, 6015)

Lingua: Inglese

Editore: Springer, 2010

Brossura

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

Venditore con 5 stelle

Condizione: Nuovo

EUR 62,52

Spedizione gratuita

Spedito in U.S.A.

Quantità: Più di 20 disponibili

Condizione: New.

Networked Systems: 8th International Conference, NETYS 2020, Marrakech, Morocco, June 3-5, 2020, Proceedings (Lecture Notes in Computer Science, 12129)

Lingua: Inglese

Editore: Springer, 2021

Serie: Libro 259 di 300 - Lecture Notes in Computer Science

Brossura

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

Venditore con 5 stelle

Esparza, Javier (EDT); Majumdar, Rupak (EDT)

Condizione: Nuovo

EUR 62,52

Spedizione gratuita

Spedito in U.S.A.

Quantità: Più di 20 disponibili

Condizione: New.

Tools and Algorithms for the Construction and Analysis of Systems : 16th Internationa Conference, TACAS 2010, Held As Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-29, 2010, Proceedings

Lingua: Inglese

Editore: Springer, 2010

Brossura

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

Venditore con 5 stelle

Bartocci, Ezio (EDT); Majumdar, Rupak (EDT)

Condizione: Usato - Come nuovo

EUR 62,29

EUR 2,36 spedizione

Spedito in U.S.A.

Quantità: Più di 20 disponibili

Condizione: As New. Unread book in perfect condition.

Runtime Verification : 6th International Conference, Rv 2015

Lingua: Inglese

Editore: Springer, 2015

Brossura

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

Venditore con 5 stelle

Georgiou, Chryssis (EDT); Majumdar, Rupak (EDT)

Condizione: Usato - Come nuovo

EUR 63,01

EUR 2,36 spedizione

Spedito in U.S.A.

Quantità: Più di 20 disponibili

Condizione: As New. Unread book in perfect condition.

Networked Systems : 8th International Conference, Netys 2020, Marrakech, Morocco, June 3?5, 2020, Proceedings

Lingua: Inglese

Editore: Springer, 2021

Serie: Libro 259 di 300 - Lecture Notes in Computer Science

Brossura

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

Venditore con 5 stelle

Majumdar, Rupak (EDT); Tabuada, Paulo (EDT)

Condizione: Usato - Come nuovo

EUR 63,01

EUR 2,36 spedizione

Spedito in U.S.A.

Quantità: Più di 20 disponibili

Condizione: As New. Unread book in perfect condition.

Hybrid Systems : Computation and Control: 12th International Conference, HSCC 2009, San Francisco, Ca, USA, April 13-15, 2009, Proceedings

Lingua: Inglese

Editore: Springer, 2009

3642006019 / 9783642006012

Brossura

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

Venditore con 5 stelle

Condizione: Usato - Come nuovo

EUR 64,56

EUR 2,36 spedizione

Spedito in U.S.A.

Quantità: 15 disponibili

Condizione: As New. Unread book in perfect condition.

Computer Aided Verification : 29th International Conference, Cav 2017, Heidelberg, Germany, July 24-28, 2017. Proceedings

Lingua: Inglese

Editore: Springer, 2017

Brossura

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

Venditore con 5 stelle

Condizione: Usato - Come nuovo

EUR 64,78

EUR 2,36 spedizione

Spedito in U.S.A.

Quantità: Più di 20 disponibili

Condizione: As New. Unread book in perfect condition.

Computer Aided Verification : 29th International Conference, Cav 2017, Heidelberg, Germany, July 24-28, 2017. Proceedings

3319633899 / 9783319633893

Lingua: Inglese

Editore: Springer, 2017

Brossura

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

Venditore con 5 stelle

Havelund, Klaus (EDT); Majumdar, Rupak (EDT); Palsberg, Jens (EDT)

Condizione: Usato - Come nuovo

EUR 64,94

EUR 2,36 spedizione

Spedito in U.S.A.

Quantità: 15 disponibili

Condizione: As New. Unread book in perfect condition.

Model Checking Software : 15th International SPIN Workshop, Los Angeles, CA, USA, August 10-12, 2008 Proceedings

Lingua: Inglese

Editore: Springer, 2008

3540851135 / 9783540851134

Brossura

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

Venditore con 5 stelle

KLAUS HAVELUND,RUPAK MAJUMDAR,JENS PALSBERG

Condizione: Nuovo

EUR 74,29

EUR 2,36 spedizione

Spedito in U.S.A.

Quantità: 15 disponibili

Condizione: New.

MODEL CHECKING SOFTWARE : 15TH INTERNATIONAL SPIN WORKSHOP, LOS ANGELES, CA, USA, AUGUST 10-12, 2008, PROCEEDINGS

Lingua: Inglese

Editore: Springer, 2008

3540851135 / 9783540851134

Brossura

Da: Basi6 International, Irving, TX, U.S.A.Basi6 International

Venditore con 5 stelle

Condizione: Nuovo

EUR 76,73

Spedizione gratuita

Spedito in U.S.A.

Quantità: 1 disponibile

Condizione: Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service.

Runtime Verification : 6th International Conference, RV 2015, Vienna, Austria, September 22-25, 2015. Proceedings

Bartocci, Ezio

Lingua: Inglese

Editore: Springer 2015-09, 2015

Brossura

Da: Chiron Media, Wallingford, Regno UnitoChiron Media

Venditore con 5 stelle

Rupak Majumdar, Viktor Kuncak

Condizione: Nuovo

EUR 58,34

EUR 18,30 spedizione

Spedito da Regno Unito a U.S.A.

Quantità: 10 disponibili

PF. Condizione: New.

Computer Aided Verification: 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part I (Lecture Notes in Computer Science)

Lingua: Inglese

Editore: Springer 2017-07-13, 2017

Brossura

Da: Chiron Media, Wallingford, Regno UnitoChiron Media

Venditore con 5 stelle

Rupak Majumdar, Viktor Kuncak

Condizione: Nuovo

EUR 58,45

EUR 18,30 spedizione

Spedito da Regno Unito a U.S.A.

Quantità: 10 disponibili

Paperback. Condizione: New.

Computer Aided Verification: 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part II (Lecture Notes in Computer Science)

Lingua: Inglese

Editore: Springer 2017-07-13, 2017

3319633899 / 9783319633893

Brossura

Da: Chiron Media, Wallingford, Regno UnitoChiron Media

Venditore con 5 stelle

Bartocci, Ezio (EDT); Majumdar, Rupak (EDT)

Condizione: Nuovo

EUR 58,55

EUR 18,30 spedizione

Spedito da Regno Unito a U.S.A.

Quantità: 10 disponibili

Paperback. Condizione: New.

Runtime Verification : 6th International Conference, Rv 2015

Lingua: Inglese

Editore: Springer, 2015

Brossura

Da: GreatBookPricesUK, Woodford Green, Regno UnitoGreatBookPricesUK

Venditore con 5 stelle

Condizione: Nuovo

EUR 61,35

EUR 17,72 spedizione

Spedito da Regno Unito a U.S.A.

Quantità: Più di 20 disponibili

Condizione: New.

Computer Aided Verification : 29th International Conference, Cav 2017, Heidelberg, Germany, July 24-28, 2017. Proceedings

Lingua: Inglese

Editore: Springer, 2017

Brossura

Da: GreatBookPricesUK, Woodford Green, Regno UnitoGreatBookPricesUK

Venditore con 5 stelle

Majumdar, Rupak (EDT); Tabuada, Paulo (EDT)

Condizione: Nuovo

EUR 61,47

EUR 17,72 spedizione

Spedito da Regno Unito a U.S.A.

Quantità: Più di 20 disponibili

Condizione: New.

Hybrid Systems : Computation and Control: 12th International Conference, HSCC 2009, San Francisco, Ca, USA, April 13-15, 2009, Proceedings

Lingua: Inglese

Editore: Springer, 2009

3642006019 / 9783642006012

Brossura

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

Venditore con 5 stelle

Condizione: Nuovo

EUR 78,08

EUR 2,36 spedizione

Spedito in U.S.A.

Quantità: 15 disponibili

Condizione: New.

Networked Systems : 8th International Co

Georgiou, Chryssis

Lingua: Inglese

Editore: Springer, 2021

Serie: Libro 259 di 300 - Lecture Notes in Computer Science

Brossura

Da: Kennys Bookshop and Art Galleries Ltd., Galway, GY, IrlandaKennys Bookshop and Art Galleries Ltd.

Venditore con 5 stelle

3642006019 / 9783642006012

Condizione: Nuovo

EUR 69,60

EUR 9,50 spedizione

Spedito da Irlanda a U.S.A.

Quantità: 15 disponibili

Condizione: New.

Hybrid Systems: Computation and Control: 12th International Conference, HSCC 2009, San Francisco, CA, USA, April 13-15, 2009, Proceedings (Lecture Notes in Computer Science, 5469)

Lingua: Inglese

Editore: Springer, 2009

Brossura

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

Venditore con 5 stelle

Condizione: Nuovo

EUR 68,09

EUR 13,34 spedizione

Spedito da Regno Unito a U.S.A.

Quantità: Più di 20 disponibili

Condizione: New. In English.

Networked Systems: 8th International Conference, NETYS 2020, Marrakech, Morocco, June 3-5, 2020, Proceedings (Lecture Notes in Computer Science, 12129)

Lingua: Inglese

Editore: Springer, 2021

Serie: Libro 259 di 300 - Lecture Notes in Computer Science

Brossura

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

Venditore con 5 stelle

Condizione: Nuovo

EUR 68,09

EUR 13,34 spedizione

Spedito da Regno Unito a U.S.A.

Quantità: Più di 20 disponibili

Condizione: New. In English.

Runtime Verification: 6th International Conference, RV 2015, Vienna, Austria, September 22-25, 2015. Proceedings (Lecture Notes in Computer Science, 9333)

Lingua: Inglese

Editore: Springer, 2015

Brossura

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

Venditore con 5 stelle

Condizione: Nuovo

EUR 68,09

EUR 13,34 spedizione

Spedito da Regno Unito a U.S.A.

Quantità: Più di 20 disponibili

Condizione: New. In English.

Computer Aided Verification: 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part I (Lecture Notes in Computer Science, 10426)

Lingua: Inglese

Editore: Springer, 2017

Brossura

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

Venditore con 5 stelle