Automated Technology for Verification and Analysis 1

Data & IT

Automated Technology for Verification and Analysis

Name: Automated Technology for Verification and Analysis
Price: 1099 SEK
Availability: InStock
Author: Zhe Hou, Vijay Ganesh
ISBN: 9783030888848

Zhe Hou • Vijay Ganesh

Pocket

1099:-

Funktionen begränsas av dina webbläsarinställningar (t.ex. privat läge).

Uppskattad leveranstid 7-12 arbetsdagar

Fri frakt för medlemmar vid köp för minst 249:-

382 sidor
2021

This book constitutes the refereed proceedings of the 19th International Symposium on Automated Technology for Verification and Analysis, ATVA 2021, held in Gold Coast, Australia in October 2021.

Författare: Zhe Hou, Vijay Ganesh
Format: Pocket/Paperback
ISBN: 9783030888848
Språk: Engelska
Antal sidor: 382
Utgivningsdatum: 2021-10-14
Förlag: Springer Nature Switzerland AG