Print this page
Computer Aided Verification

Computer Aided Verification 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21-24, 2020, Proceedings, Part I

Paperback (18 Jul 2020) | German

Not available for sale

Includes delivery to the United States

Out of stock

This service is protected by reCAPTCHA and the Google Privacy Policy and Terms of Service apply.

Check stock

Publisher's Synopsis

Computer Aided Verification

Book information

ISBN: 9783030532895
Publisher: Springer Nature B.V.
Imprint: Springer Nature B.V.
Pub date:
Language: German
Number of pages: 688
Weight: 949g
Height: 234mm
Width: 156mm

We recommend

$15.55off

The Art of Agile Development

James Shore, Diana L...

Paperback
Published 26 Oct 2021

Save $15.55

  • RRP $67.71
  • $52.16
Add to basket

$3.28off

Data Analysis With Python and Pyspark

Jonathan Rioux

Paperback
Published 16 Mar 2022

Save $3.28

  • RRP $58.00
  • $54.72
Add to basket

$6.32off

The Pragmatic Programmer

David Thomas, Andrew...

Hardback
Published 02 Dec 2019

Save $6.32

  • RRP $48.55
  • $42.23
Add to basket

$9.61off

The Programmer's Brain

Felienne Hermans

Paperback
Published 15 Dec 2021

Save $9.61

  • RRP $51.10
  • $41.49
Add to basket

$6.90off

Clean Code

Robert C. Martin

Paperback
Published 21 Aug 2008

Save $6.90

  • RRP $49.82
  • $42.92
Add to basket

$3.48off

Clean Architecture

Robert C. Martin

Paperback
Published 20 Sep 2017

Save $3.48

  • RRP $35.77
  • $32.29
Add to basket

$16.75off

Clean Code Cookbook

Maximiliano Contieri

Paperback
Published 29 Sep 2023

Save $16.75

  • RRP $67.71
  • $50.96
Add to basket

$7.49off

Embedded Software System Testing

Yongfeng Yin (author...

Hardback
Published 06 Sep 2023

Save $7.49

  • RRP $99.66
  • $92.17
Add to basket

$3.93off

Raspberry Pi OS System Administration With Systemd

Robert Koretsky

Paperback
Published 22 Nov 2023

Save $3.93

  • RRP $57.49
  • $53.56
Add to basket