Search

Categories

    • categories-img Jacket, Women
    • categories-img Woolend Jacket
    • categories-img Western denim
    • categories-img Mini Dresss
    • categories-img Jacket, Women
    • categories-img Woolend Jacket
    • categories-img Western denim
    • categories-img Mini Dresss
    • categories-img Jacket, Women
    • categories-img Woolend Jacket
    • categories-img Western denim
    • categories-img Mini Dresss
    • categories-img Jacket, Women
    • categories-img Woolend Jacket
    • categories-img Western denim
    • categories-img Mini Dresss
    • categories-img Jacket, Women
    • categories-img Woolend Jacket
    • categories-img Western denim
    • categories-img Mini Dresss

Filter By Price

$
-
$

Dietary Needs

Top Rated Product

product-img product-img

Modern Chair

$165.00
product-img product-img

Plastic Chair

$165.00
product-img product-img

Design Rooms

$165.00

Brands

  • Wooden
  • Chair
  • Modern
  • Fabric
  • Shoulder
  • Winter
  • Accessories
  • Dress

Welcome and thank you for visiting us. For any query call us on 0799 626 359 or Email [email protected]

Shopping Cart

Africa largest book store

Sub Total:

Search for any Title

Computer Aided Verification : 33rd International Conference, CAV 2021, Virtual Event, July 20–23, 2021, Proceedings, Part II (Lecture Notes in Computer Science)

By: Alexandra Silva (Edited by) , K. Rustan M. Leino (Edited by)

Extended Catalogue

Ksh 8,000.00

Format: Paperback or Softback

ISBN-10: 3030816877

ISBN-13: 9783030816872

Collection / Series: Lecture Notes in Computer Science

Collection Type: Publisher collection

Edition statement: 1st ed. 2021

Publisher: Springer Nature Switzerland AG

Imprint: Springer Nature Switzerland AG

Country of Manufacture: GB

Country of Publication: GB

Publication Date: Jul 17th, 2021

Publication Status: Active

Product extent: 940 Pages

Product Classification / Subject(s): Operating systems
Software Engineering
Mathematical theory of computation
Computer architecture & logic design
Computer modelling & simulation

Choose your Location

Shipping & Delivery

Door Delivery

Delivery fee

Delivery in 10 to 14 days

  • Description

  • Reviews

This open access two-volume set LNCS 12759 and 12760 constitutes the refereed proceedings of the 33rd International Conference on Computer Aided Verification, CAV 2021, held virtually in July 2021.The 63 full papers presented together with 16 tool papers and 5 invited papers were carefully reviewed and selected from 290 submissions.
This open access two-volume set LNCS 12759 and 12760 constitutes the refereed proceedings of the 33rd International Conference on Computer Aided Verification, CAV 2021, held virtually in July 2021.

The 63 full papers presented together with 16 tool papers and 5 invited papers were carefully reviewed and selected from 290 submissions. The papers were organized in the following topical sections:

Part I: invited papers; AI verification; concurrency and blockchain; hybrid and cyber-physical systems; security; and synthesis.

Part II: complexity and termination; decision procedures and solvers; hardware and model checking; logical foundations; and software verification.

Get Computer Aided Verification by at the best price and quality guranteed only at Werezi Africa largest book ecommerce store. The book was published by Springer Nature Switzerland AG and it has pages. Enjoy Shopping Best Offers & Deals on books Online from Werezi - Receive at your doorstep - Fast Delivery - Secure mode of Payment

Customer Reviews

Based on 0 reviews

Mind, Body, & Spirit