A little wonder in every chapter. Find your next favourite read
bookorelle.A LITTLE WONDER IN EVERY CHAPTER
♡0Bag 0
Need a hand? Visit our FAQ →
Automated Technology for Verification and Analysis

Automated Technology for Verification and Analysis

€ 62,49

Automated Technology for Verification and Analysis — 12th International Symposium, ATVA 2014, Sydney, Australia, November 3-7, 2014, Proceedings. An English-language digital edition by Franck Cassez (Editor); Jean-Francois Raskin (Editor), available in PDF.

Download format: PDF (.pdf). Available files can be downloaded from My books immediately after payment is confirmed. We also email you a download link. If your edition needs file preparation, your account shows its pending status; the download and email follow upload and staff approval.

SKU: EBC-2474250 Category:

Description

About this book

Automated Technology for Verification and Analysis — 12th International Symposium, ATVA 2014, Sydney, Australia, November 3-7, 2014, Proceedings. An English-language digital edition by Franck Cassez (Editor); Jean-Francois Raskin (Editor), available in PDF.

Edition details

  • Author / contributors: Franck Cassez (Editor); Jean-Francois Raskin (Editor)
  • Publisher: Springer International Publishing
  • Publication date: October 24, 2014
  • Language: English
  • ISBNs: 9783319119359; 9783319119366
  • Digital formats: PDF

Additional information

Author

Franck Cassez (Editor); Jean-Francois Raskin (Editor)
Publisher

Springer International Publishing
Language

English
ISBN

9783319119359, 9783319119366
Format

PDF
Publication date

October 24, 2014
DRM

DRM-free edition available
Download format PDF (.pdf)

Reviews

There are no reviews yet.

Be the first to review “Automated Technology for Verification and Analysis”

Your email address will not be published. Required fields are marked *

Related products