Print this page
Automated Technology for Verification and Analysis

Automated Technology for Verification and Analysis 20th International Symposium, ATVA 2022, Virtual Event, October 25-28, 2022, Proceedings

Paperback (23 Oct 2022)

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.

Other formats/editions

Check stock

Publisher's Synopsis

Automated Technology for Verification and Analysis

Book information

ISBN: 9783031199936
Publisher: Springer Nature B.V.
Imprint: Springer Nature B.V.
Pub date:
Language: English
Number of pages: 458
Weight: 638g
Height: 234mm
Width: 156mm

We recommend

$15.56off

The Art of Agile Development

James Shore, Diana L...

Paperback
Published 26 Oct 2021

Save $15.56

  • RRP $68.10
  • $52.54
Add to basket

$3.23off

Data Analysis With Python and Pyspark

Jonathan Rioux

Paperback
Published 16 Mar 2022

Save $3.23

  • RRP $58.34
  • $55.11
Add to basket

$6.28off

The Pragmatic Programmer

David Thomas, Andrew...

Hardback
Published 02 Dec 2019

Save $6.28

  • RRP $48.82
  • $42.54
Add to basket

$9.58off

The Programmer's Brain

Felienne Hermans

Paperback
Published 15 Dec 2021

Save $9.58

  • RRP $51.40
  • $41.82
Add to basket

$6.88off

Clean Code

Robert C. Martin

Paperback
Published 21 Aug 2008

Save $6.88

  • RRP $50.11
  • $43.23
Add to basket

$2.85off

Clean Architecture

Robert C. Martin

Paperback
Published 20 Sep 2017

Save $2.85

  • RRP $35.97
  • $33.12
Add to basket

$16.77off

Clean Code Cookbook

Maximiliano Contieri

Paperback
Published 29 Sep 2023

Save $16.77

  • RRP $68.10
  • $51.33
Add to basket

$7.45off

Embedded Software System Testing

Yongfeng Yin (author...

Hardback
Published 06 Sep 2023

Save $7.45

  • RRP $100.23
  • $92.78
Add to basket

$3.88off

Raspberry Pi OS System Administration With Systemd

Robert Koretsky

Paperback
Published 22 Nov 2023

Save $3.88

  • RRP $57.82
  • $53.94
Add to basket