Order Total (1 Item Items):
Shipping Destination:
Dillig Isil (60 results)
Skip to main search results
Search filters
Product Type
- All Product Types
- Books (60)
- Magazines & Periodicals (No further results match this refinement)
- Comics (No further results match this refinement)
- Sheet Music (No further results match this refinement)
- Art, Prints & Posters (No further results match this refinement)
- Photographs (No further results match this refinement)
- Maps (No further results match this refinement)
- Manuscripts & Paper Collectibles (No further results match this refinement)
Condition Learn more
- New (56)
- As New, Fine or Near Fine (2)
- Very Good or Good (1)
- Fair or Poor (No further results match this refinement)
- As Described (1)
Binding
Collectible Attributes
- First Edition (No further results match this refinement)
- Signed (No further results match this refinement)
- Dust Jacket (No further results match this refinement)
- Seller-Supplied Images (24)
- Not Print on Demand (43)
Language (1)
Free Shipping
Seller Location
Seller Rating
-
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.
-
-
Computer Aided Verification
Language: English
Published by Saint Philip Street Press, 2020
ISBN 10: 1013271149 ISBN 13: 9781013271144
Condition: New.
-
Condition: As New. Unread book in perfect condition.
-
-
-
Computer Aided Verification: 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part I (Theoretical Computer Science and General Issues)
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
£ 49.30
£ 11.98 shipping
Ships from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: New. In.
-
Verification, Model Checking, and Abstract Interpretation: 19th International Conference, VMCAI 2018, Los Angeles, CA, USA, January 7-9, 2018, ... Computer Science and General Issues)
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
£ 49.30
£ 11.98 shipping
Ships from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: New. In.
-
-
-
Verification, Model Checking, and Abstract Interpretation : 19th International Conference, Vmcai 2018, Los Angeles, Ca, USA, January 7-9, 2018, Proceedings
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
Condition: New.
-
Computer Aided Verification
Language: English
Published by Saint Philip Street Press, 2020
ISBN 10: 1013271149 ISBN 13: 9781013271144
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
£ 54.15
£ 11.98 shipping
Ships from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: New. In.
-
Computer Aided Verification
Language: English
Published by Saint Philip Street Press 2020-10-08, 2020
ISBN 10: 1013271149 ISBN 13: 9781013271144
Paperback. Condition: New.
-
Computer Aided Verification
Language: English
Published by Saint Philip Street Press, 2020
ISBN 10: 1013271165 ISBN 13: 9781013271168
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
£ 57.65
£ 11.98 shipping
Ships from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: New. In.
-
Computer Aided Verification
Language: English
Published by Saint Philip Street Press, 2020
ISBN 10: 1013271157 ISBN 13: 9781013271151
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
£ 57.65
£ 11.98 shipping
Ships from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: New. In.
-
Verification, Model Checking, and Abstract Interpretation : 19th International Conference, Vmcai 2018, Los Angeles, Ca, USA, January 7-9, 2018, Proceedings
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
Condition: As New. Unread book in perfect condition.
-
Computer Aided Verification
Language: English
Published by Saint Philip Street Press, 2020
ISBN 10: 1013271173 ISBN 13: 9781013271175
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
£ 61.15
£ 11.98 shipping
Ships from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: New. In.
-
Computer Aided Verification : 31st Inter
Seller: Kennys Bookshop and Art Galleries Ltd., Galway, GY, Ireland
Seller rating 5 out of 5 stars
Condition: New.
-
Computer Aided Verification : 31st Inter
Seller: Kennys Bookshop and Art Galleries Ltd., Galway, GY, Ireland
Seller rating 5 out of 5 stars
Condition: New.
-
Verification, Model Checking, and Abstract Interpretation: 19th International Conference, Vmcai 2018, Los Angeles, Ca, USA, January 7-9, 2018, Proceedings
Language: English
Published by Springer-Verlag New York Inc, 2018
ISBN 10: 3319737201 ISBN 13: 9783319737201
Paperback. Condition: Brand New. 560 pages. 9.25x6.10x1.18 inches. In Stock.
-
Computer Aided Verification: 31st International Conference, Cav 2019, New York City, Ny, USA, July 15-18, 2019, Proceedings
Language: English
Published by Springer-Verlag New York Inc, 2019
ISBN 10: 3030255425 ISBN 13: 9783030255428
Paperback. Condition: Brand New. 572 pages. 9.25x6.10x1.14 inches. In Stock.
-
Condition: New.
-
Computer Aided Verification: 31st International Conference, Cav 2019, New York City, Ny, USA, July 15-18, 2019, Proceedings
Language: English
Published by Springer-Verlag New York Inc, 2019
ISBN 10: 3030255395 ISBN 13: 9783030255398
Paperback. Condition: Brand New. 696 pages. 9.25x6.10x1.38 inches. In Stock.
-
Condition: New.
-
Computer Aided Verification
Language: English
Published by Springer International Publishing, Springer Nature Switzerland Jul 2019, 2019
ISBN 10: 3030255395 ISBN 13: 9783030255398
Seller: buchversandmimpf2000, Emtmannsberg, BAYE, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: Neu. Neuware -This open access two-volume set LNCS 11561 and 11562 constitutes the refereed proceedings of the 31st International Conference on Computer Aided Verification, CAV 2019, held in New York City, USA, in July 2019.The 52 full papers presented together with 13 tool papers and 2 case studies, were carefully reviewed and selected from 258 submissions. The papers were organized in the following topical sections:Part I: automata and timed systems; security and hyperproperties; synthesis; model checking; cyber-physical systems and machine learning; probabilistic systems, runtime techniques; dynamical, hybrid, and reactive systems;Part II: logics, decision procedures; and solvers; numerical programs; verification; distributed systems and networks; verification and invariants; and concurrency.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 696 pp. Englisch.
-
Verification, Model Checking, and Abstract Interpretation
Language: English
Published by Springer International Publishing, Springer Nature Switzerland Jan 2018, 2018
ISBN 10: 3319737201 ISBN 13: 9783319737201
Seller: buchversandmimpf2000, Emtmannsberg, BAYE, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: Neu. Neuware -This book constitutes the refereed proceedings of the 19th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2018, held in Los Angeles, CA, USA, in January 2018.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 560 pp. Englisch.
-
Computer Aided Verification
Language: English
Published by Springer International Publishing, Springer Nature Switzerland Jul 2019, 2019
ISBN 10: 3030255425 ISBN 13: 9783030255428
Seller: buchversandmimpf2000, Emtmannsberg, BAYE, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: Neu. Neuware -The open access two-volume set LNCS 11561 and 11562 constitutes the refereed proceedings of the 31st International Conference on Computer Aided Verification, CAV 2019, held in New York City, USA, in July 2019.The 52 full papers presented together with 13 tool papers and 2 case studies, were carefully reviewed and selected from 258 submissions. The papers were organized in the following topical sections:Part I: automata and timed systems; security and hyperproperties; synthesis; model checking; cyber-physical systems and machine learning; probabilistic systems, runtime techniques; dynamical, hybrid, and reactive systems;Part II: logics, decision procedures; and solvers; numerical programs; verification; distributed systems and networks; verification and invariants; and concurrency.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 572 pp. Englisch.
-
Computer Aided Verification : 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part II
Language: English
Published by Springer International Publishing, Springer International Publishing, 2019
ISBN 10: 3030255425 ISBN 13: 9783030255428
Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - The open access two-volume set LNCS 11561 and 11562 constitutes the refereed proceedings of the 31st International Conference on Computer Aided Verification, CAV 2019, held in New York City, USA, in July 2019.The 52 full papers presented together with 13 tool papers and 2 case studies, were carefully reviewed and selected from 258 submissions. Thepapers were organized in the following topical sections:Part I: automata and timed systems; security and hyperproperties; synthesis; model checking; cyber-physical systems and machine learning; probabilistic systems, runtime techniques; dynamical, hybrid, and reactive systems;Part II: logics, decision procedures; and solvers; numerical programs; verification; distributed systems and networks; verification and invariants; and concurrency.
-
Verification, Model Checking, and Abstract Interpretation : 19th International Conference, VMCAI 2018, Los Angeles, CA, USA, January 7-9, 2018, Proceedings
Language: English
Published by Springer International Publishing, Springer International Publishing, 2018
ISBN 10: 3319737201 ISBN 13: 9783319737201
Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the refereed proceedings of the 19th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2018, held in Los Angeles, CA, USA, in January 2018.The 24 full papers presented together with the abstracts of 3 invited keynotes and 1 invited tutorial were carefully reviewed and selected from 43 submissions. VMCAI provides topics including: program verification, model checking, abstract interpretation, program synthesis, static analysis, type systems, deductive methods, program certification, decision procedures, theorem proving, program certification, debugging techniques, program transformation, optimization, and hybrid and cyber-physical systems.
-
Computer Aided Verification : 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part I
Language: English
Published by Springer International Publishing, Springer International Publishing, 2019
ISBN 10: 3030255395 ISBN 13: 9783030255398
Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - This open access two-volume set LNCS 11561 and 11562 constitutes the refereed proceedings of the 31st International Conference on Computer Aided Verification, CAV 2019, held in New York City, USA, in July 2019.The 52 full papers presented together with 13 tool papers and 2 case studies, were carefully reviewed and selected from 258 submissions. Thepapers were organized in the following topical sections:Part I: automata and timed systems; security and hyperproperties; synthesis; model checking; cyber-physical systems and machine learning; probabilistic systems, runtime techniques; dynamical, hybrid, and reactive systems;Part II: logics, decision procedures; and solvers; numerical programs; verification; distributed systems and networks; verification and invariants; and concurrency.
