Abstract Interpretation Computer Science (108 results)

Feedback

You searched for:

Title: abstract interpretation computer science

Edit your search

Stock Image

Verification, Model Checking, and Abstract Interpretation: 8th International Conference, VMCAI 2007, Nice, France, January 14-16, 2007, Proceedings (Lecture Notes in Computer Science)

Cook, Byron [Editor]; Podelski, Andreas [Editor];

Published by Springer, 2007

ISBN 10: 3540697357 ISBN 13: 9783540697350

Language: English

Seller: GuthrieBooks, Spring Branch, TX, U.S.A.

Seller rating 5 out of 5 stars

Contact seller

Used - Softcover
Condition: Very Good

� 3.87
Convert currency

� 6.01 shipping within U.S.A.
Destination, rates & speeds

Quantity: 1 available
Add to basket

Paperback. Condition: Very Good. Ex-library paperback in very nice condition with the usual markings and attachments. Interior clean and unmarked. Tight binding.

More buying choices from other sellers on AbeBooks

New offers from � 49.52

Used offers from � 9.88

Also find Softcover
Seller Image

Verification, Model Checking, and Abstract Interpretation: 15th International Conference, VMCAI 2014, San Diego, CA, USA, January 19-21, 2014, . (Lecture Notes in Computer Science, 8318)

Published by Springer, 2014

ISBN 10: 3642540120 ISBN 13: 9783642540127

Language: English

Seller: WeBuyBooks, Rossendale, LANCS, United Kingdom

Seller rating 5 out of 5 stars

Contact seller

Used - Softcover
Condition: Very Good

� 17.85
Convert currency

� 5.46 shipping from United Kingdom to U.S.A.
Destination, rates & speeds

Quantity: 1 available
Add to basket

Condition: Very Good. Most items will be dispatched the same or the next working day. A copy that has been read, but is in excellent condition. Pages are intact and not marred by notes or highlighting. The spine remains undamaged.

More buying choices from other sellers on AbeBooks

New offers from � 49.52

Used offers from � 23.31

Also find Softcover
Seller Image

Verification, Model Checking, and Abstract Interpretation: 19th International Conference, VMCAI 2018, Los Angeles, CA, USA, January 7-9, 2018, . (Lecture Notes in Computer Science, 10747)

Published by Springer, 2018

ISBN 10: 3319737201 ISBN 13: 9783319737201

Language: English

Seller: WeBuyBooks, Rossendale, LANCS, United Kingdom

Seller rating 5 out of 5 stars

Contact seller

Used - Softcover
Condition: Very Good

� 29
Convert currency

� 7.85 shipping from United Kingdom to U.S.A.
Destination, rates & speeds

Quantity: 1 available
Add to basket

Condition: Very Good. Most items will be dispatched the same or the next working day. A copy that has been read, but is in excellent condition. Pages are intact and not marred by notes or highlighting. The spine remains undamaged.

More buying choices from other sellers on AbeBooks

New offers from � 49.52

Used offers from � 36.85

Also find Softcover
Stock Image

Verification, Model Checking, and Abstract Interpretation: 6th International Conference, VMCAI 2005, Paris, France, January 17-19, 2005, Proceedings . Computer Science and General Issues)

Cousot, Radhia [Editor]

Published by Springer, 2005

ISBN 10: 354024297X ISBN 13: 9783540242970

Language: English

Seller: GuthrieBooks, Spring Branch, TX, U.S.A.

Seller rating 5 out of 5 stars

Contact seller

Used - Softcover
Condition: Very Good

� 37.10
Convert currency

� 6.01 shipping within U.S.A.
Destination, rates & speeds

Quantity: 1 available
Add to basket

Paperback. Condition: Very Good. Ex-library paperback in very nice condition with the usual markings and attachments.

More buying choices from other sellers on AbeBooks

New offers from � 49.52

Used offers from � 43.11

Also find Softcover
Seller Image

Verification, Model Checking, and Abstract Interpretation: 4th International Conference, VMCAI 2003, New York, NY, USA, January 9-11, 2003, Proceedings (Lecture Notes in Computer Science)

Cortesi, Agostino, Supratik Mukhopadhyay and Paul D. Attie:

Published by Springer, 2003

ISBN 10: 3540003487 ISBN 13: 9783540003489

Language: English

Seller: NEPO UG, R�sselsheim am Main, Germany

Seller rating 5 out of 5 stars

Contact seller

Used - Softcover
Condition: Sehr gut

� 22.29
Convert currency

� 20.41 shipping from Germany to U.S.A.
Destination, rates & speeds

Quantity: 1 available
Add to basket

Condition: Sehr gut. Auflage: 2003. 340 Seiten ex Library Book / aus einer wissenschafltichen Bibliothek / Sprache: Englisch Gewicht in Gramm: 469 23,1 x 15,5 x 2,0 cm, Taschenbuch.

More buying choices from other sellers on AbeBooks

New offers from � 49.52

Used offers from � 42.70

Also find Softcover
Stock Image

Verification, Model Checking, and Abstract Interpretation: 10th International Conference, VMCAI 2009, Savannah, GA, USA, January 18-20, 2009. Proceedings (Lecture Notes in Computer Science, 5403)

Published by Springer, 2008

ISBN 10: 3540938990 ISBN 13: 9783540938996

Language: English

Seller: Phatpocket Limited, Waltham Abbey, HERTS, United Kingdom

Seller rating 5 out of 5 stars

Contact seller

Used - Softcover
Condition: Good

� 31.33
Convert currency

� 10.64 shipping from United Kingdom to U.S.A.
Destination, rates & speeds

Quantity: 1 available
Add to basket

Condition: Good. Your purchase helps support Sri Lankan Children's Charity 'The Rainbow Centre'. Ex-library, so some stamps and wear, but in good overall condition. Our donations to The Rainbow Centre have helped provide an education and a safe haven to hundreds of children who live in appalling conditions.

More buying choices from other sellers on AbeBooks

New offers from � 49.52

Used offers from � 41.97

Also find Softcover
Stock Image

VERIFICATION, MODEL CHECKING, AND ABSTRACT INTERPRETATION: 9TH INTERNATIONAL CONFERENCE, VMCAI 2008, SAN FRANCISCO, USA, JANUARY 7-9, 2008, . COMPUTER SCIENCE AND GENERAL ISSUES)

FRANCESCO LOGOZZO, DORON A. PELED, LEONORE D. ZUCK

Published by Springer, 2008

ISBN 10: 3540781625 ISBN 13: 9783540781622

Language: English

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

Seller rating 5 out of 5 stars

Contact seller

New - Softcover
Condition: Brand New

� 44.17
Convert currency

Free shipping within U.S.A.
Destination, rates & speeds

Quantity: 1 available
Add to basket

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

More buying choices from other sellers on AbeBooks

New offers from � 44.17

Used offers from � 87

Also find Softcover
Stock Image

Verification, Model Checking, and Abstract Interpretation: Third International Workshop, VMCAI 2002, Venice, Italy, January 21-22, 2002, Revised Papers (Lecture Notes in Computer Science)

Cortesi, Agostino [Editor]

Published by Springer, 2002

ISBN 10: 3540436316 ISBN 13: 9783540436317

Language: English

Seller: GuthrieBooks, Spring Branch, TX, U.S.A.

Seller rating 5 out of 5 stars

Contact seller

Used - Softcover
Condition: Very Good

� 39.71
Convert currency

� 6.01 shipping within U.S.A.
Destination, rates & speeds

Quantity: 1 available
Add to basket

Paperback. Condition: Very Good. Ex-library paperback in very nice condition with the usual markings and attachments.

More buying choices from other sellers on AbeBooks

New offers from � 49.74

Used offers from � 45.72

Also find Softcover
Stock Image

Live Data Structures in Logic Programs: Derivation by Means of Abstract Interpretation (Lecture Notes in Computer Science, 675)

Mulkers, Anne

Published by Springer, 1993

ISBN 10: 3540566945 ISBN 13: 9783540566946

Language: English

Seller: Lucky's Textbooks, Dallas, TX, U.S.A.

Seller rating 5 out of 5 stars

Contact seller

New - Softcover
Condition: New

� 45.86
Convert currency

� 3 shipping within U.S.A.
Destination, rates & speeds

Quantity: Over 20 available
Add to basket

Condition: New.

More buying choices from other sellers on AbeBooks

New offers from � 48.86

Also find Softcover
Stock Image

Verification, Model Checking, and Abstract Interpretation: 17th International Conference, VMCAI 2016, St. Petersburg, FL, USA, January 17-19, 2016. ... Computer Science and General Issues)

Published by Springer, 2015

ISBN 10: 3662491214 ISBN 13: 9783662491218

Language: English

Seller: Lucky's Textbooks, Dallas, TX, U.S.A.

Seller rating 5 out of 5 stars

Contact seller

New - Softcover
Condition: New

� 46.52
Convert currency

� 3 shipping within U.S.A.
Destination, rates & speeds

Quantity: Over 20 available
Add to basket

Condition: New.

More buying choices from other sellers on AbeBooks

New offers from � 49.52

Used offers from � 108

Also find Softcover
Stock Image

Verification, Model Checking, and Abstract Interpretation: 16th International Conference, VMCAI 2015, Mumbai, India, January 12-14, 2015, Proceedings (Theoretical Computer Science and General Issues)

Published by Springer, 2015

ISBN 10: 3662460807 ISBN 13: 9783662460801

Language: English

Seller: Lucky's Textbooks, Dallas, TX, U.S.A.

Seller rating 5 out of 5 stars

Contact seller

New - Softcover
Condition: New

� 46.52
Convert currency

� 3 shipping within U.S.A.
Destination, rates & speeds

Quantity: Over 20 available
Add to basket

Condition: New.

More buying choices from other sellers on AbeBooks

New offers from � 49.52

Used offers from � 108

Also find Softcover
Stock Image

Verification, Model Checking, and Abstract Interpretation: 14th International Conference, VMCAI 2013, Rome, Italy, January 20-22, 2013, Proceedings (Theoretical Computer Science and General Issues)

Published by Springer, 2013

ISBN 10: 3642358721 ISBN 13: 9783642358722

Language: English

Seller: Lucky's Textbooks, Dallas, TX, U.S.A.

Seller rating 5 out of 5 stars

Contact seller

New - Softcover
Condition: New

� 46.52
Convert currency

� 3 shipping within U.S.A.
Destination, rates & speeds

Quantity: Over 20 available
Add to basket

Condition: New.

More buying choices from other sellers on AbeBooks

New offers from � 49.52

Used offers from � 108

Also find Softcover
Stock Image

Verification, Model Checking, and Abstract Interpretation: 12th International Conference, VMCAI 2011, Austin, TX, USA, January 23-25, 2011 Proceedings (Lecture Notes in Computer Science, 6538)

Published by Springer, 2011

ISBN 10: 3642182747 ISBN 13: 9783642182747

Language: English

Seller: Lucky's Textbooks, Dallas, TX, U.S.A.

Seller rating 5 out of 5 stars

Contact seller

New - Softcover
Condition: New

� 46.52
Convert currency

� 3 shipping within U.S.A.
Destination, rates & speeds

Quantity: 1 available
Add to basket

Condition: New.

More buying choices from other sellers on AbeBooks

New offers from � 49.52

Used offers from � 112.03

Also find Softcover
Stock Image

Verification, Model Checking, and Abstract Interpretation: 7th International Conference, VMCAI 2006, Charleston, SC, USA, January 8-10, 2006, Proceedings (Lecture Notes in Computer Science, 3855)

Published by Springer, 2005

ISBN 10: 3540311394 ISBN 13: 9783540311393

Language: English

Seller: Lucky's Textbooks, Dallas, TX, U.S.A.

Seller rating 5 out of 5 stars

Contact seller

New - Softcover
Condition: New

� 46.52
Convert currency

� 3 shipping within U.S.A.
Destination, rates & speeds

Quantity: Over 20 available
Add to basket

Condition: New.

More buying choices from other sellers on AbeBooks

New offers from � 49.52

Used offers from � 108

Also find Softcover
Stock Image

Verification, Model Checking, and Abstract Interpretation: 18th International Conference, VMCAI 2017, Paris, France, January 15-17, 2017, Proceedings (Theoretical Computer Science and General Issues)

Published by Springer, 2017

ISBN 10: 3319522337 ISBN 13: 9783319522333

Language: English

Seller: Lucky's Textbooks, Dallas, TX, U.S.A.

Seller rating 5 out of 5 stars

Contact seller

New - Softcover
Condition: New

� 46.52
Convert currency

� 3 shipping within U.S.A.
Destination, rates & speeds

Quantity: Over 20 available
Add to basket

Condition: New.

More buying choices from other sellers on AbeBooks

New offers from � 49.52

Also find Softcover
Stock Image

Verification, Model Checking, and Abstract Interpretation: 20th International Conference, VMCAI 2019, Cascais, Portugal, January 13-15, 2019, ... Computer Science and General Issues)

Published by Springer, 2019

ISBN 10: 3030112446 ISBN 13: 9783030112448

Language: English

Seller: Lucky's Textbooks, Dallas, TX, U.S.A.

Seller rating 5 out of 5 stars

Contact seller

New - Softcover
Condition: New

� 46.74
Convert currency

� 3 shipping within U.S.A.
Destination, rates & speeds

Quantity: Over 20 available
Add to basket

Condition: New.

More buying choices from other sellers on AbeBooks

New offers from � 49.74

Also find Softcover
Stock Image

Verification, Model Checking, and Abstract Interpretation: 13th International Conference, VMCAI 2012, Philadelphia, PA, USA, January 22-24, 2012, Proceedings (Lecture Notes in Computer Science, 7148)

Published by Springer, 2012

ISBN 10: 3642279392 ISBN 13: 9783642279393

Language: English

Seller: Lucky's Textbooks, Dallas, TX, U.S.A.

Seller rating 5 out of 5 stars

Contact seller

New - Softcover
Condition: New

� 48.57
Convert currency

� 3 shipping within U.S.A.
Destination, rates & speeds

Quantity: 1 available
Add to basket

Condition: New.
Stock Image

Verification, Model Checking, and Abstract Interpretation: 11th International Conference, VMCAI 2010, Madrid, Spain, January 17-19, 2010, Proceedings (Theoretical Computer Science and General Issues)

Published by Springer, 2010

ISBN 10: 3642113184 ISBN 13: 9783642113185

Language: English

Seller: Ria Christie Collections, Uxbridge, United Kingdom

Seller rating 5 out of 5 stars

Contact seller

New - Softcover
Condition: New

� 50.82
Convert currency

� 11.98 shipping from United Kingdom to U.S.A.
Destination, rates & speeds

Quantity: Over 20 available
Add to basket

Condition: New. In.

More buying choices from other sellers on AbeBooks

New offers from � 62.80

Also find Softcover
Seller Image

Verification, Model Checking, and Abstract Interpretation: 22nd International Conference, VMCAI 2021, Copenhagen, Denmark, January 1719, 2021, . Computer Science and General Issues)

Published by Springer, 2021

ISBN 10: 303067066X ISBN 13: 9783030670665

Language: English

Seller: Big River Books, Powder Springs, GA, U.S.A.

Seller rating 4 out of 5 stars

Contact seller

Used - Softcover
Condition: very_good

� 63.31
Convert currency

� 3 shipping within U.S.A.
Destination, rates & speeds

Quantity: 1 available
Add to basket

Condition: very_good. This book is in Very Good condition. The cover and pages have minor shelf wear. Binding is tight and pages are intact.

More buying choices from other sellers on AbeBooks

New offers from � 85.83

Used offers from � 66.31

Also find Softcover
Stock Image

Abstract Interpretation of Declarative Languages (Ellis Horwood Books in Computing Science, Series in Computer)

Published by Ellis Horwood, Ltd., 1987

ISBN 10: 0470209712 ISBN 13: 9780470209714

Seller: HPB-Red, Dallas, TX, U.S.A.

Seller rating 5 out of 5 stars

Contact seller

Used - Softcover
Condition: Good

� 29.46
Convert currency

� 2.82 shipping within U.S.A.
Destination, rates & speeds

Quantity: 1 available
Add to basket

paperback. Condition: Good. Connecting readers with great books since 1972! Used textbooks may not include companion materials such as access codes, etc. May have some wear or writing/highlighting. We ship orders daily and Customer Service is our top priority!

More buying choices from other sellers on AbeBooks

Used offers from � 32.28

Also find Softcover
Stock Image

Verification, Model Checking, and Abstract Interpretation: 25th International Conference, VMCAI 2024, London, United Kingdom, January 15-16, 2024, ... Part I (Lecture Notes in Computer Science)

Published by Springer, 2024

ISBN 10: 3031505239 ISBN 13: 9783031505232

Language: English

Seller: Ria Christie Collections, Uxbridge, United Kingdom

Seller rating 5 out of 5 stars

Contact seller

New - Softcover
Condition: New

� 58.62
Convert currency

� 11.98 shipping from United Kingdom to U.S.A.
Destination, rates & speeds

Quantity: Over 20 available
Add to basket

Condition: New. In.

More buying choices from other sellers on AbeBooks

New offers from � 70.60

Also find Softcover
Stock Image

Verification, Model Checking, and Abstract Interpretation: 25th International Conference, VMCAI 2024, London, United Kingdom, January 15-16, 2024, ... Part II (Lecture Notes in Computer Science)

Published by Springer, 2024

ISBN 10: 3031505204 ISBN 13: 9783031505201

Language: English

Seller: Ria Christie Collections, Uxbridge, United Kingdom

Seller rating 5 out of 5 stars

Contact seller

New - Softcover
Condition: New

� 58.62
Convert currency

� 11.98 shipping from United Kingdom to U.S.A.
Destination, rates & speeds

Quantity: Over 20 available
Add to basket

Condition: New. In.

More buying choices from other sellers on AbeBooks

New offers from � 70.60

Used offers from � 84.71

Also find Softcover
Stock Image

Verification, Model Checking, and Abstract Interpretation: 21st International Conference, VMCAI 2020, New Orleans, LA, USA, January 16-21, 2020, ... Computer Science and General Issues)

Published by Springer, 2020

ISBN 10: 3030393216 ISBN 13: 9783030393212

Language: English

Seller: Lucky's Textbooks, Dallas, TX, U.S.A.

Seller rating 5 out of 5 stars

Contact seller

New - Softcover
Condition: New

� 74.59
Convert currency

� 3 shipping within U.S.A.
Destination, rates & speeds

Quantity: Over 20 available
Add to basket

Condition: New.

More buying choices from other sellers on AbeBooks

New offers from � 77.59

Also find Softcover
Stock Image

Verification, Model Checking, and Abstract Interpretation: 24th International Conference, VMCAI 2023, Boston, MA, USA, January 16-17, 2023, Proceedings (Lecture Notes in Computer Science)

Published by Springer, 2023

ISBN 10: 3031249496 ISBN 13: 9783031249495

Language: English

Seller: Ria Christie Collections, Uxbridge, United Kingdom

Seller rating 5 out of 5 stars

Contact seller

New - Softcover
Condition: New

� 66.42
Convert currency

� 11.98 shipping from United Kingdom to U.S.A.
Destination, rates & speeds

Quantity: Over 20 available
Add to basket

Condition: New. In.

More buying choices from other sellers on AbeBooks

New offers from � 78.40

Also find Softcover
Stock Image

Verification, Model Checking, and Abstract Interpretation: 26th International Conference, VMCAI 2025, Denver, CO, USA, January 20?21, 2025, Proceedings, Part I (Lecture Notes in Computer Science)

Published by Springer, 2025

ISBN 10: 303182699X ISBN 13: 9783031826993

Language: English

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

Seller rating 4 out of 5 stars

Contact seller

New - Softcover
Condition: New

� 80.03
Convert currency

� 3 shipping within U.S.A.
Destination, rates & speeds

Quantity: 4 available
Add to basket

Condition: New.

More buying choices from other sellers on AbeBooks

New offers from � 83.03

Also find Softcover
Stock Image

Verification, Model Checking, and Abstract Interpretation: 26th International Conference, VMCAI 2025, Denver, CO, USA, January 20?21, 2025, Proceedings, Part II (Lecture Notes in Computer Science)

Published by Springer, 2025

ISBN 10: 3031827023 ISBN 13: 9783031827020

Language: English

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

Seller rating 4 out of 5 stars

Contact seller

New - Softcover
Condition: New

� 80.07
Convert currency

� 3 shipping within U.S.A.
Destination, rates & speeds

Quantity: 4 available
Add to basket

Condition: New.

More buying choices from other sellers on AbeBooks

New offers from � 83.07

Also find Softcover
Stock Image

Verification, Model Checking, and Abstract Interpretation: 23rd International Conference, VMCAI 2022, Philadelphia, PA, USA, January 16-18, 2022, ... Computer Science and General Issues)

Published by Springer, 2022

ISBN 10: 3030945820 ISBN 13: 9783030945824

Language: English

Seller: Lucky's Textbooks, Dallas, TX, U.S.A.

Seller rating 5 out of 5 stars

Contact seller

New - Softcover
Condition: New

� 82.61
Convert currency

� 3 shipping within U.S.A.
Destination, rates & speeds

Quantity: Over 20 available
Add to basket

Condition: New.

More buying choices from other sellers on AbeBooks

New offers from � 85.61

Also find Softcover

Create a Want

Tell us what you're looking for and once a match is found, we'll inform you by e-mail.

Create a Want

BookSleuth

Forgotten the title or the author of a book? Our BookSleuth is specially designed for you.

Visit BookSleuth

Abstract Interpretation Computer Science (108 results)

Search filters

Product Type

Condition

Binding

Collectible Attributes

Language (2)

Price

Free Shipping

Seller Location

Seller Rating

Create a Want

BookSleuth

Help with Search