Pasareanu corina s (99 risultati)

1681738562 / 9781681738567

Condizione: Usato - Molto buono

EUR 18,27

EUR 3,55 spedizione

Spedito in U.S.A.

Quantità: 1 disponibile

paperback. Condizione: Very Good. Fast Shipping - Safe and Secure 7 days a week.

Symbolic Execution and Quantitative Reasoning: Applications to Software Safety and Security (Synthesis Lectures on Software Engineering)

Pasareanu, Corina S.

Lingua: Inglese

Editore: Morgan & Claypool, 2020

Rilegato

Da: suffolkbooks, center moriches, NY, U.S.A.suffolkbooks

Venditore con 5 stelle

3031014235 / 9783031014239

Condizione: Usato - Molto buono

EUR 18,27

EUR 3,55 spedizione

Spedito in U.S.A.

Quantità: 1 disponibile

hardcover. Condizione: Very Good. Fast Shipping - Safe and Secure 7 days a week.

Symbolic Execution and Quantitative Reasoning: Applications to Software Safety and Security (Synthesis Lectures on Software Engineering)

Păsăreanu, Corina S.

Lingua: Inglese

Editore: Springer, 2020

Brossura

Da: Books Puddle, Woodside, NY, U.S.A.Books Puddle

Venditore con 4 stelle

Condizione: Nuovo

EUR 45,32

EUR 3,55 spedizione

Spedito in U.S.A.

Quantità: 4 disponibili

Condizione: New. 1st edition NO-PA16APR2015-KAP.

Computer Aided Verification : 27th International Conference Cav 2015 San Francisco, Ca, USA, July 18-24 2015, Proceedings

Lingua: Inglese

Editore: Springer, 2015

Brossura

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

Venditore con 5 stelle

Pasareanu, Corina S. (EDT)

Condizione: Nuovo

EUR 53,62

EUR 2,35 spedizione

Spedito in U.S.A.

Quantità: Più di 20 disponibili

Condizione: New.

Model Checking Software : 16th International Spin Workshop, Grenoble, France, June 26-28, 2009, Proceedings

Lingua: Inglese

Editore: Springer, 2009

Brossura

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

Venditore con 5 stelle

Condizione: Nuovo

EUR 57,64

EUR 2,35 spedizione

Spedito in U.S.A.

Quantità: Più di 20 disponibili

Condizione: New.

Model Checking Software (Paperback or Softback)

Pasareanu, Corina S.

Lingua: Inglese

Editore: Springer 6/19/2009, 2009

Brossura

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

Venditore con 5 stelle

Condizione: Nuovo

EUR 60,06

Spedizione gratuita

Spedito in U.S.A.

Quantità: 5 disponibili

Paperback or Softback. Condizione: New. Model Checking Software. Book.

Model Checking Software: 16th International SPIN Workshop, Grenoble, France, June 26-28, 2009, Proceedings (Lecture Notes in Computer Science, 5578)

Lingua: Inglese

Editore: Springer, 2009

Brossura

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

Venditore con 5 stelle

Condizione: Nuovo

EUR 62,24

Spedizione gratuita

Spedito in U.S.A.

Quantità: Più di 20 disponibili

Condizione: New.

Theoretical Aspects of Computing - ICTAC 2022: 19th International Colloquium, Tbilisi, Georgia, September 27-29, 2022, Proceedings (Lecture Notes in Computer Science, 13572)

Lingua: Inglese

Editore: Springer, 2022

Brossura

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

Venditore con 5 stelle

Condizione: Nuovo

EUR 62,24

Spedizione gratuita

Spedito in U.S.A.

Quantità: Più di 20 disponibili

Condizione: New.

Formal Aspects of Component Software : 9th International Symposium, Facs 2012, Mountain View, Ca, USA, September 11-13, 2012. Revised Selected Papers

Lingua: Inglese

Editore: Springer, 2013

Brossura

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

Venditore con 5 stelle

Pasareanu, Corina S. (EDT)

Condizione: Usato - Come nuovo

EUR 60,62

EUR 2,35 spedizione

Spedito in U.S.A.

Quantità: Più di 20 disponibili

Condizione: As New. Unread book in perfect condition.

Model Checking Software : 16th International Spin Workshop, Grenoble, France, June 26-28, 2009, Proceedings

Lingua: Inglese

Editore: Springer, 2009

Brossura

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

Venditore con 5 stelle

Condizione: Usato - Come nuovo

EUR 62,95

EUR 2,35 spedizione

Spedito in U.S.A.

Quantità: Più di 20 disponibili

Condizione: As New. Unread book in perfect condition.

Computer Aided Verification : 27th International Conference Cav 2015 San Francisco, Ca, USA, July 18-24 2015, Proceedings

Lingua: Inglese

Editore: Springer, 2015

Brossura

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

Venditore con 5 stelle

Condizione: Usato - Come nuovo

EUR 63,81

EUR 2,35 spedizione

Spedito in U.S.A.

Quantità: Più di 20 disponibili

Condizione: As New. Unread book in perfect condition.

Computer Aided Verification : 27th International Conference Cav 2015 San Francisco, Ca, USA, July 18-24 2015, Proceedings

3319216899 / 9783319216898

Lingua: Inglese

Editore: Springer, 2015

Brossura

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

Venditore con 5 stelle

Condizione: Usato - Come nuovo

EUR 64,65

EUR 2,35 spedizione

Spedito in U.S.A.

Quantità: 15 disponibili

Condizione: As New. Unread book in perfect condition.

Formal Aspects of Component Software : 9th International Symposium, FACS 2012, Mountain View, CA, USA, September 11-13, 2012. Revised Selected Papers

Pasareanu, Corina S

Lingua: Inglese

Editore: Springer 2013-01, 2013

Brossura

Da: Chiron Media, Wallingford, Regno UnitoChiron Media

Venditore con 5 stelle

Condizione: Nuovo

EUR 54,18

EUR 18,26 spedizione

Spedito da Regno Unito a U.S.A.

Quantità: 10 disponibili

PF. Condizione: New.

Formal Aspects of Component Software : 9th International Symposium, Facs 2012, Mountain View, Ca, USA, September 11-13, 2012. Revised Selected Papers

Lingua: Inglese

Editore: Springer, 2013

Brossura

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

Venditore con 5 stelle

Condizione: Nuovo

EUR 72,19

EUR 2,35 spedizione

Spedito in U.S.A.

Quantità: Più di 20 disponibili

Condizione: New.

Formal Aspects of Component Software : 9th International Symposium, Facs 2012, Mountain View, Ca, USA, September 11-13, 2012. Revised Selected Papers

Lingua: Inglese

Editore: Springer, 2013

Brossura

Da: GreatBookPricesUK, Woodford Green, Regno UnitoGreatBookPricesUK

Venditore con 5 stelle

Condizione: Nuovo

EUR 57,19

EUR 17,68 spedizione

Spedito da Regno Unito a U.S.A.

Quantità: Più di 20 disponibili

Condizione: New.

Theoretical Aspects of Computing - ICTAC 2022 : 19th International Colloquium, Tbilisi, Georgia, September 27-29, 2022, Proceedings

Seidl, Helmut

Lingua: Inglese

Editore: Springer 2022-10, 2022

Brossura

Da: Chiron Media, Wallingford, Regno UnitoChiron Media

Venditore con 5 stelle

3319216899 / 9783319216898

Condizione: Nuovo

EUR 58,19

EUR 18,26 spedizione

Spedito da Regno Unito a U.S.A.

Quantità: 10 disponibili

PF. Condizione: New.

Computer Aided Verification : 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part I

Kroening, Daniel

Lingua: Inglese

Editore: Springer 2015-07, 2015

Brossura

Da: Chiron Media, Wallingford, Regno UnitoChiron Media

Venditore con 5 stelle

Condizione: Nuovo

EUR 58,51

EUR 18,26 spedizione

Spedito da Regno Unito a U.S.A.

Quantità: 10 disponibili

PF. Condizione: New.

Formal Aspects of Component Software: 9th International Symposium, FACS 2012, Mountain View, CA, USA, September 11-13, 2012. Revised Selected Papers (Lecture Notes in Computer Science, 7684)

Lingua: Inglese

Editore: Springer, 2013

Brossura

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

Venditore con 5 stelle

Condizione: Nuovo

EUR 63,83

EUR 13,31 spedizione

Spedito da Regno Unito a U.S.A.

Quantità: Più di 20 disponibili

Condizione: New. In English.

Theoretical Aspects of Computing - ICTAC 2022 : 19th International Colloquium, Tbilisi, Georgia, September 27-29, 2022, Proceedings

Lingua: Inglese

Editore: Springer, 2022

Brossura

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

Venditore con 5 stelle

Condizione: Nuovo

EUR 76,02

EUR 2,35 spedizione

Spedito in U.S.A.

Quantità: 15 disponibili

Condizione: New.

Computer Aided Verification : 27th International Conference Cav 2015 San Francisco, Ca, USA, July 18-24 2015, Proceedings

3319216899 / 9783319216898

Lingua: Inglese

Editore: Springer, 2015

Brossura

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

Venditore con 5 stelle

Condizione: Nuovo

EUR 76,35

EUR 2,35 spedizione

Spedito in U.S.A.

Quantità: 15 disponibili

Condizione: New.

Theoretical Aspects of Computing - ICTAC 2022 : 19th International Colloquium, Tbilisi, Georgia, September 27-29, 2022, Proceedings

Lingua: Inglese

Editore: Springer, 2022

Brossura

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

Venditore con 5 stelle

Condizione: Usato - Come nuovo

EUR 77,98

EUR 2,35 spedizione

Spedito in U.S.A.

Quantità: 15 disponibili

Condizione: As New. Unread book in perfect condition.

Formal Aspects of Component Software : 9th International Symposium, Facs 2012, Mountain View, Ca, USA, September 11-13, 2012. Revised Selected Papers

Lingua: Inglese

Editore: Springer, 2013

Brossura

Da: GreatBookPricesUK, Woodford Green, Regno UnitoGreatBookPricesUK

Venditore con 5 stelle

Condizione: Usato - Come nuovo

EUR 63,26

EUR 17,68 spedizione

Spedito da Regno Unito a U.S.A.

Quantità: Più di 20 disponibili

Condizione: As New. Unread book in perfect condition.

Theoretical Aspects of Computing - ICTAC 2022: 19th International Colloquium, Tbilisi, Georgia, September 27-29, 2022, Proceedings (Lecture Notes in Computer Science, 13572)

Lingua: Inglese

Editore: Springer, 2022

Brossura

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

Venditore con 5 stelle

Condizione: Nuovo

EUR 67,94

EUR 13,31 spedizione

Spedito da Regno Unito a U.S.A.

Quantità: Più di 20 disponibili

Condizione: New. In English.

Model Checking Software: 16th International SPIN Workshop, Grenoble, France, June 26-28, 2009, Proceedings (Lecture Notes in Computer Science, 5578)

Lingua: Inglese

Editore: Springer, 2009

Brossura

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

Venditore con 5 stelle

Condizione: Nuovo

EUR 67,94

EUR 13,31 spedizione

Spedito da Regno Unito a U.S.A.

Quantità: Più di 20 disponibili

Condizione: New. In English.

Computer Aided Verification: 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part II (Lecture Notes in Computer Science, 9207)

Lingua: Inglese

Editore: Springer, 2015

Brossura

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

Venditore con 5 stelle

Condizione: Nuovo

EUR 67,94

EUR 13,31 spedizione

Spedito da Regno Unito a U.S.A.

Quantità: Più di 20 disponibili

Condizione: New. In English.

Theoretical Aspects Of Computing - Ictac

Seidl, Helmut

Lingua: Inglese

Editore: Springer, 2022

Brossura

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

Venditore con 5 stelle

Condizione: Nuovo

EUR 70,51

EUR 9,50 spedizione

Spedito da Irlanda a U.S.A.

Quantità: 15 disponibili

Condizione: New.

Formal Aspects of Component Software

Lingua: Inglese

Editore: Springer, 2013

Brossura

Da: Books Puddle, Woodside, NY, U.S.A.Books Puddle

Venditore con 4 stelle

Pasareanu, Corina S. (EDT)

Condizione: Nuovo

EUR 79,09

EUR 3,55 spedizione

Spedito in U.S.A.

Quantità: 4 disponibili

Condizione: New. pp. 288.

Model Checking Software : 16th International Spin Workshop, Grenoble, France, June 26-28, 2009, Proceedings

Lingua: Inglese

Editore: Springer, 2009

Brossura

Da: GreatBookPricesUK, Woodford Green, Regno UnitoGreatBookPricesUK

Venditore con 5 stelle

Condizione: Nuovo

EUR 67,93

EUR 17,68 spedizione

Spedito da Regno Unito a U.S.A.

Quantità: Più di 20 disponibili

Condizione: New.

Computer Aided Verification : 27th International Conference Cav 2015 San Francisco, Ca, USA, July 18-24 2015, Proceedings

Lingua: Inglese

Editore: Springer, 2015

Brossura

Da: GreatBookPricesUK, Woodford Green, Regno UnitoGreatBookPricesUK

Venditore con 5 stelle

Condizione: Usato - Come nuovo

EUR 67,93

EUR 17,68 spedizione

Spedito da Regno Unito a U.S.A.

Quantità: Più di 20 disponibili

Condizione: As New. Unread book in perfect condition.

Computer Aided Verification : 27th International Conference Cav 2015 San Francisco, Ca, USA, July 18-24 2015, Proceedings

Lingua: Inglese

Editore: Springer, 2015

Brossura

Da: GreatBookPricesUK, Woodford Green, Regno UnitoGreatBookPricesUK

Venditore con 5 stelle