Pasareanu Corina S (95 results)

1681738562 / 9781681738567

Condition: Used - Very good

£ 15.21

£ 2.95 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.21

£ 2.95 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, New York, NY, U.S.A.Books Puddle

4-star seller

Condition: New

£ 34.33

£ 2.95 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

Condition: New

£ 46.04

£ 1.95 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.00

£ 1.95 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

£ 50.02

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

£ 51.83

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

£ 51.83

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

Condition: Used - As new

£ 52.10

£ 1.95 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

£ 52.42

£ 1.95 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

£ 53.38

£ 1.95 shipping

Ships within U.S.A.

Quantity: Over 20 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 (Programming and Software Engineering)

Language: English

Published by Springer, 2013

Softcover

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

5-star seller

Condition: New

£ 47.73

£ 11.98 shipping

Ships from United Kingdom to U.S.A.

Quantity: Over 20 available

Condition: New. In.

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

£ 60.95

£ 1.95 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.

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

3319216899 / 9783319216898

Condition: New

£ 50.80

£ 11.98 shipping

Ships from United Kingdom to U.S.A.

Quantity: Over 20 available

Condition: New. In.

Computer Aided Verification: 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part I (Theoretical Computer Science and General Issues)

Language: English

Published by Springer, 2015

Softcover

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

5-star seller

Condition: New

£ 50.80

£ 11.98 shipping

Ships from United Kingdom to U.S.A.

Quantity: Over 20 available

Condition: New. In.

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

£ 50.80

£ 11.98 shipping

Ships from United Kingdom to U.S.A.

Quantity: Over 20 available

Condition: New. In.

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

£ 50.80

£ 11.98 shipping

Ships from United Kingdom to U.S.A.

Quantity: Over 20 available

Condition: New. In.

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

Language: English

Published by Springer, 2013

Softcover

Seller: Books Puddle, New York, NY, U.S.A.Books Puddle

4-star seller

Condition: New

£ 62.86

£ 2.95 shipping

Ships within U.S.A.

Quantity: 4 available

Condition: New. pp. 288.

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

£ 50.79

£ 15.00 shipping

Ships from United Kingdom to U.S.A.

Quantity: Over 20 available

Condition: New.

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

Condition: New

£ 50.79

£ 15.00 shipping

Ships from United Kingdom to 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: Used - As new

£ 52.57

£ 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

Language: English

Published by Springer, 2009

Softcover

Seller: Books Puddle, New York, NY, U.S.A.Books Puddle

4-star seller

Condition: New

£ 67.64

£ 2.95 shipping

Ships within U.S.A.

Quantity: 4 available

Condition: New. pp. 308.

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

£ 62.30

£ 8.15 shipping

Ships from Ireland to U.S.A.

Quantity: 15 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: GreatBookPricesUK, Woodford Green, United KingdomGreatBookPricesUK

5-star seller

Condition: Used - As new

£ 55.90

£ 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

Condition: Used - As new

£ 55.90

£ 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, Part II (Lecture Notes in Computer Science)

Language: English

Published by Springer, 2015

Softcover

Seller: Books Puddle, New York, NY, U.S.A.Books Puddle

4-star seller