Articoli correlati a Automated Technology for Verification and Analysis:...
Automated Technology for Verification and Analysis: 13th International Symposium, ATVA 2015, Shanghai, China, October 12-15, 2015, Proceedings: 9364 - Brossura
Sinossi
This book constitutes the proceedings of the 13th International Symposium on Automated Technology for Verification and Analysis, ATVA 2015, held in Shanghai, China, in October 2015.
The 27 revised papers presented together with 6 tool papers in this volume were carefully reviewed and selected from 95 submissions. They show current research on theoretical and practical aspects of automated analysis, verification and synthesis by providing an international forum for interaction among the researchers in academia and industry.
Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.
- EditoreSpringer
- Data di pubblicazione2015
- ISBN 10 3319249525
- ISBN 13 9783319249520
- RilegaturaCopertina flessibile
- LinguaInglese
- Numero edizione1
- Numero di pagine536
- RedattoreFinkbeiner Bernd, Pu Geguang, Zhang Lijun
- Contatto del produttorenon disponibile
Compra nuovo
Visualizza questo articolo
EUR 48,37
EUR 9,70 per la spedizione da Germania a Italia
Destinazione, tempi e costi
Risultati della ricerca per Automated Technology for Verification and Analysis:...
Immagini fornite dal venditore
Automated Technology for Verification and Analysis
Editore:
Springer International Publishing, 2015
ISBN 10: 3319249525
ISBN 13: 9783319249520
Nuovo
Brossura
Da: moluna, Greven, Germania
Valutazione del venditore 5 su 5 stelle
Condizione: New. Codice articolo 67134219
Quantità: Più di 20 disponibili
Immagini fornite dal venditore
Automated Technology for Verification and Analysis
Editore:
Springer International Publishing Nov 2015, 2015
ISBN 10: 3319249525
ISBN 13: 9783319249520
Nuovo
Taschenbuch
Da: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germania
Valutazione del venditore 5 su 5 stelle
Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes the proceedings of the 13th International Symposium on Automated Technology for Verification and Analysis, ATVA 2015, held in Shanghai, China, in October 2015. The 27 revised papers presented together with 6 tool papers in this volume were carefully reviewed and selected from 95 submissions. They show current research on theoretical and practical aspects of automated analysis, verification and synthesis by providing an international forum for interaction among the researchers in academia and industry. 536 pp. Englisch. Codice articolo 9783319249520
Quantità: 2 disponibili
Immagini fornite dal venditore
Automated Technology for Verification and Analysis : 13th International Symposium, ATVA 2015, Shanghai, China, October 12-15, 2015, Proceedings
Editore:
Springer International Publishing, 2015
ISBN 10: 3319249525
ISBN 13: 9783319249520
Nuovo
Taschenbuch
Da: AHA-BUCH GmbH, Einbeck, Germania
Valutazione del venditore 5 su 5 stelle
Taschenbuch. Condizione: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the proceedings of the 13th International Symposium on Automated Technology for Verification and Analysis, ATVA 2015, held in Shanghai, China, in October 2015. The 27 revised papers presented together with 6 tool papers in this volume were carefully reviewed and selected from 95 submissions. They show current research on theoretical and practical aspects of automated analysis, verification and synthesis by providing an international forum for interaction among the researchers in academia and industry. Codice articolo 9783319249520
Quantità: 1 disponibili
Immagini fornite dal venditore
Automated Technology for Verification and Analysis
ISBN 10: 3319249525
ISBN 13: 9783319249520
Nuovo
Taschenbuch
Da: buchversandmimpf2000, Emtmannsberg, BAYE, Germania
Valutazione del venditore 5 su 5 stelle
Taschenbuch. Condizione: Neu. Neuware -This book constitutes the proceedings of the 13th International Symposium on Automated Technology for Verification and Analysis, ATVA 2015, held in Shanghai, China, in October 2015.The 27 revised papers presented together with 6 tool papers in this volume were carefully reviewed and selected from 95 submissions. They show current research on theoretical and practical aspects of automated analysis, verification and synthesis by providing an international forum for interaction among the researchers in academia and industry.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 536 pp. Englisch. Codice articolo 9783319249520
Quantità: 2 disponibili
Foto dell'editore
Automated Technology for Verification and Analysis: 13th International Symposium, ATVA 2015, Shanghai, China, October 12-15, 2015, Proceedings (Programming and Software Engineering)
Da: Ria Christie Collections, Uxbridge, Regno Unito
Valutazione del venditore 5 su 5 stelle
Condizione: New. In. Codice articolo ria9783319249520_new
Quantità: Più di 20 disponibili
Immagini fornite dal venditore
Automated Technology for Verification and Analysis : 13th International Symposium, Atva 2015, Shanghai, China, October 12-15, 2015, Proceedings
Da: GreatBookPrices, Columbia, MD, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: New. Codice articolo 24521382-n
Quantità: Più di 20 disponibili
Foto dell'editore
Automated Technology for Verification and Analysis: 13th International Symposium, ATVA 2015, Shanghai, China, October 12-15, 2015, Proceedings (Programming and Software Engineering)
Da: California Books, Miami, FL, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: New. Codice articolo I-9783319249520
Quantità: Più di 20 disponibili
Immagini fornite dal venditore
Automated Technology for Verification and Analysis : 13th International Symposium, Atva 2015, Shanghai, China, October 12-15, 2015, Proceedings
Da: GreatBookPricesUK, Woodford Green, Regno Unito
Valutazione del venditore 5 su 5 stelle
Condizione: New. Codice articolo 24521382-n
Quantità: Più di 20 disponibili
Foto dell'editore
Automated Technology for Verification and Analysis: 13th International Symposium, Atva 2015, Shanghai, China, October 12-15, 2015, Proceedings
Editore:
Springer-Verlag New York Inc, 2015
ISBN 10: 3319249525
ISBN 13: 9783319249520
Nuovo
Paperback
Da: Revaluation Books, Exeter, Regno Unito
Valutazione del venditore 5 su 5 stelle
Paperback. Condizione: Brand New. 536 pages. 9.25x6.10x1.21 inches. In Stock. Codice articolo x-3319249525
Quantità: 2 disponibili
Foto dell'editore
Automated Technology for Verification and Analysis 2015: 13th International Symposium, ATVA 2015, Shanghai, China, October 12-15, 2015, Proceedings (Lecture Notes in Computer Science)
Da: Books Puddle, New York, NY, U.S.A.
Valutazione del venditore 4 su 5 stelle
Condizione: New. pp. 486. Codice articolo 26372744607
Quantità: 4 disponibili