Pasareanu Corina (110 results)

1681738562 / 9781681738567

Condition: Used - Very good

US$ 19.96

US$ 3.99 shipping

Ships within U.S.A.

Quantity: 2 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, U.S.A.suffolkbooks

5-star seller

3031014235 / 9783031014239

Condition: Used - Very good

US$ 19.96

US$ 3.99 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, U.S.A.Books Puddle

4-star seller

Condition: New

US$ 44.92

US$ 3.99 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, U.S.A.GreatBookPrices

5-star seller

Condition: New

US$ 60.66

US$ 2.64 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, U.S.A.GreatBookPrices

5-star seller

Condition: New

US$ 65.35

US$ 2.64 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 (Lecture Notes in Computer Science, 5578)

Language: English

Published by Springer 2009

Softcover

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

4-star seller

Condition: New

US$ 68.00

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, U.S.A.GreatBookPrices

5-star seller

Condition: Used - As new

US$ 67.92

US$ 2.64 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, U.S.A.GreatBookPrices

5-star seller

Condition: Used - As new

US$ 68.54

US$ 2.64 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, U.S.A.GreatBookPrices

5-star seller

Condition: Used - As new

US$ 69.77

US$ 2.64 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

US$ 66.14

US$ 16.12 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

US$ 61.84

US$ 20.84 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, U.S.A.GreatBookPrices

5-star seller

Condition: New

US$ 79.61

US$ 2.64 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

US$ 65.27

US$ 20.18 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

Condition: New

US$ 70.40

US$ 16.12 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)

Language: English

Published by Springer 2022

Softcover

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

5-star seller

3319216899 / 9783319216898

Condition: New

US$ 70.40

US$ 16.12 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

US$ 70.40

US$ 16.12 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 (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

US$ 70.40

US$ 16.12 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

US$ 66.41

US$ 20.84 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

US$ 66.78

US$ 20.84 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, U.S.A.Books Puddle

4-star seller

Condition: New

US$ 82.03

US$ 3.99 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

US$ 70.38

US$ 20.18 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

US$ 70.38

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

Language: English

Published by Springer 2015

Softcover

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

4-star seller

Condition: New

US$ 86.96

US$ 3.99 shipping

Ships within U.S.A.

Quantity: 4 available

Condition: New. pp. 440.

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

US$ 72.87

US$ 20.18 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, U.S.A.Books Puddle

4-star seller

Condition: New

US$ 88.22

US$ 3.99 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, IrelandKennys Bookshop and Art Galleries Ltd.

5-star seller

Condition: New

US$ 84.52

US$ 12.22 shipping

Ships from Ireland to U.S.A.

Quantity: 15 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, U.S.A.BargainBookStores

5-star seller

Condition: New

US$ 95.06

Free Shipping

Ships within U.S.A.

Quantity: 5 available

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

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

US$ 77.49

US$ 20.18 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

US$ 77.58

US$ 20.18 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)

Language: English

Published by Springer 2022

Softcover

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

4-star seller