Corina S Pasareanu (99 results)

1681738562 / 9781681738567

Condition: Used - Very good

£ 15.53

£ 3.01 shipping

Ships within U.S.A.

Quantity: 1 available

paperback. Condition: 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.

Language: English

Published by Morgan & Claypool, 2020

Hardcover

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

5-star seller

3031014235 / 9783031014239

Condition: Used - Very good

£ 15.53

£ 3.01 shipping

Ships within U.S.A.

Quantity: 1 available

hardcover. Condition: 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.

Language: English

Published by Springer, 2020

Softcover

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

4-star seller

Condition: New

£ 38.21

£ 3.01 shipping

Ships within U.S.A.

Quantity: 4 available

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

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

Language: English

Published by Springer, 2015

Softcover

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

5-star seller

Pasareanu, Corina S. (EDT)

Condition: New

£ 45.36

£ 1.99 shipping

Ships within U.S.A.

Quantity: Over 20 available

Condition: New.

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

Language: English

Published by Springer, 2009

Softcover

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

5-star seller

Condition: New

£ 48.99

£ 1.99 shipping

Ships within U.S.A.

Quantity: Over 20 available

Condition: New.

Model Checking Software (Paperback or Softback)

Pasareanu, Corina S.

Language: English

Published by Springer 6/19/2009, 2009

Softcover

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

5-star seller

Condition: New

£ 51.05

Free Shipping

Ships within U.S.A.

Quantity: 5 available

Paperback or Softback. Condition: 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)

Language: English

Published by Springer, 2009

Softcover

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

5-star seller

Condition: New

£ 52.91

Free Shipping

Ships within U.S.A.

Quantity: Over 20 available

Condition: New.

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

Language: English

Published by Springer, 2022

Softcover

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

5-star seller

Condition: New

£ 52.91

Free Shipping

Ships within U.S.A.

Quantity: Over 20 available

Condition: New.

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

Language: English

Published by Springer, 2013

Softcover

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

5-star seller

Pasareanu, Corina S. (EDT)

Condition: Used - As new

£ 51.50

£ 1.99 shipping

Ships within U.S.A.

Quantity: Over 20 available

Condition: As New. Unread book in perfect condition.

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

Language: English

Published by Springer, 2009

Softcover

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

5-star seller

Condition: Used - As new

£ 53.51

£ 1.99 shipping

Ships within U.S.A.

Quantity: Over 20 available

Condition: As New. Unread book in perfect condition.

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

Language: English

Published by Springer, 2015

Softcover

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

5-star seller

Condition: Used - As new

£ 54.23

£ 1.99 shipping

Ships within U.S.A.

Quantity: Over 20 available

Condition: 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

Language: English

Published by Springer, 2015

Softcover

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

5-star seller

Condition: Used - As new

£ 54.95

£ 1.99 shipping

Ships within U.S.A.

Quantity: 15 available

Condition: 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

Language: English

Published by Springer 2013-01, 2013

Softcover

Seller: Chiron Media, Wallingford, United KingdomChiron Media

5-star seller

Condition: New

£ 44.62

£ 15.49 shipping

Ships from United Kingdom to U.S.A.

Quantity: 10 available

PF. Condition: New.

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

Language: English

Published by Springer, 2013

Softcover

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

5-star seller

Condition: New

£ 61.21

£ 1.99 shipping

Ships within U.S.A.

Quantity: Over 20 available

Condition: New.

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

Language: English

Published by Springer, 2013

Softcover

Seller: GreatBookPricesUK, Woodford Green, United KingdomGreatBookPricesUK

5-star seller

Condition: New

£ 47.10

£ 15.00 shipping

Ships from United Kingdom to U.S.A.

Quantity: Over 20 available

Condition: New.

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

Seidl, Helmut

Language: English

Published by Springer 2022-10, 2022

Softcover

Seller: Chiron Media, Wallingford, United KingdomChiron Media

5-star seller

3319216899 / 9783319216898

Condition: New

£ 47.92

£ 15.49 shipping

Ships from United Kingdom to U.S.A.

Quantity: 10 available

PF. Condition: New.

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

Kroening, Daniel

Language: English

Published by Springer 2015-07, 2015

Softcover

Seller: Chiron Media, Wallingford, United KingdomChiron Media

5-star seller

Condition: New

£ 48.18

£ 15.49 shipping

Ships from United Kingdom to U.S.A.

Quantity: 10 available

PF. Condition: 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)

Language: English

Published by Springer, 2013

Softcover

Seller: Ria Christie Collections, Uxbridge, United KingdomRia Christie Collections

5-star seller

Condition: New

£ 52.56

£ 11.29 shipping

Ships from United Kingdom to U.S.A.

Quantity: Over 20 available

Condition: New. In English.

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

Language: English

Published by Springer, 2022

Softcover

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

5-star seller

Condition: New

£ 64.71

£ 1.99 shipping

Ships within U.S.A.

Quantity: 15 available

Condition: New.

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

3319216899 / 9783319216898

Language: English

Published by Springer, 2015

Softcover

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

5-star seller

Condition: New

£ 64.99

£ 1.99 shipping

Ships within U.S.A.

Quantity: 15 available

Condition: New.

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

Language: English

Published by Springer, 2022

Softcover

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

5-star seller

Condition: Used - As new

£ 66.28

£ 1.99 shipping

Ships within U.S.A.

Quantity: 15 available

Condition: As New. Unread book in perfect condition.

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

Language: English

Published by Springer, 2009

Softcover

Seller: Ria Christie Collections, Uxbridge, United KingdomRia Christie Collections

5-star seller

Condition: New

£ 55.95

£ 11.29 shipping

Ships from United Kingdom to U.S.A.

Quantity: Over 20 available

Condition: New. In English.

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

Language: English

Published by Springer, 2013

Softcover

Seller: GreatBookPricesUK, Woodford Green, United KingdomGreatBookPricesUK

5-star seller

Condition: Used - As new

£ 52.10

£ 15.00 shipping

Ships from United Kingdom to U.S.A.

Quantity: Over 20 available

Condition: 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)

Language: English

Published by Springer, 2022

Softcover

Seller: Ria Christie Collections, Uxbridge, United KingdomRia Christie Collections

5-star seller

Condition: New

£ 55.95

£ 11.29 shipping

Ships from United Kingdom to U.S.A.

Quantity: Over 20 available

Condition: 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)

Language: English

Published by Springer, 2015

Softcover

Seller: Ria Christie Collections, Uxbridge, United KingdomRia Christie Collections

5-star seller

Condition: New

£ 55.95

£ 11.29 shipping

Ships from United Kingdom to U.S.A.

Quantity: Over 20 available

Condition: New. In English.

Theoretical Aspects Of Computing - Ictac

Seidl, Helmut

Language: English

Published by Springer, 2022

Softcover

Seller: Kennys Bookshop and Art Galleries Ltd., Galway, GY, IrelandKennys Bookshop and Art Galleries Ltd.

5-star seller

Condition: New

£ 61.47

£ 8.04 shipping

Ships from Ireland to U.S.A.

Quantity: 15 available

Condition: New.

Formal Aspects of Component Software

Language: English

Published by Springer, 2013

Softcover

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

4-star seller

Condition: New

£ 67.23

£ 3.01 shipping

Ships within U.S.A.

Quantity: 4 available

Condition: New. pp. 288.

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

Language: English

Published by Springer, 2015

Softcover

Seller: GreatBookPricesUK, Woodford Green, United KingdomGreatBookPricesUK

5-star seller

Pasareanu, Corina S. (EDT)

Condition: Used - As new

£ 55.96

£ 15.00 shipping

Ships from United Kingdom to U.S.A.

Quantity: Over 20 available

Condition: As New. Unread book in perfect condition.

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

Language: English

Published by Springer, 2009

Softcover

Seller: GreatBookPricesUK, Woodford Green, United KingdomGreatBookPricesUK

5-star seller

Condition: Used - As new

£ 55.94

£ 15.00 shipping

Ships from United Kingdom to U.S.A.

Quantity: Over 20 available

Condition: As New. Unread book in perfect condition.

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

Language: English

Published by Springer, 2015

Softcover

Seller: GreatBookPricesUK, Woodford Green, United KingdomGreatBookPricesUK

5-star seller