Free delivery for orders over 69.99 euro.

Check order status

Become part of a community of book lovers from all over the world and get access to a whole bunch of benefits. Create an account for free

Free delivery for purchases over 69.99 €

DPD courier 5.99 € Bpost point 7.99 € Bpost 7.49 € DPD point 3.49 € GLS courier 4.99 €

Contact

How to shop

Help

My account

▸ Empty :-(

Free delivery for orders over 69.99 euro.

Automated Technology for Verification and Analysis

Name: Automated Technology for Verification and Analysis
Brand: Springer International Publishing AG
SKU: 02081875
Price: 51.84 EUR
Availability: InStock
Author: Dang Van Hung
ISBN: 9783319024431

11th International Symposium, ATVA 2013, Hanoi, Vietnam, October 15-18, 2013, Proceedings

Dang Van Hung

Mizuhito Ogawa

Language

English

Book Paperback

Libristo code: 02081875

Publishers Springer International Publishing AG, August 2013

This book constitutes the refereed proceedings of the 11th International Symposium on Automated Tech... Full description

Libristo code: 02081875

125 b

51.84 €

In stock at our supplier Shipping in 5-8 days

Up to 30 days for returns

Customers also purchased

Spielnahes Fußballtraining Fabian Seeger

Paperback

25.36 €

Liturgia del disprezzo Antoine Volodine

Paperback

19.57 €

Mindbug

binding.

14.50 €

El Defensor del Pueblo en el sector bancario - Una revisión Sanjay Kaptan

Paperback

24.24 €

Angličtina 15 000 slovíček ve 150 tématech Hoffmann Hans G.

Paperback

18.56 €

Mes comptines de Noël - Kididoc Nathalie Choux

Hardback

20.39 €

mi amigo el Psicopata Ardaist Sergio Ardaist

Paperback

19.78 €

Vidrios y vidrieras. Artes decorativas españolas Pérez Bueno

Paperback

27.29 €

Dans l'enfer de Montretout Beaumont

Paperback

23.94 €

Wissen des Rechts Alexander Somek

Paperback

27.39 €

Handbuch Europarecht Walter Frenz

Hardback

232.87 €

Wer aufgibt, wird nie Sieger! Martin K. W. Schweer

Paperback

23.63 €

Stabat Mater - Symfonický orchestr hl.m. Prahy (FOK)/Jiří Bělohlávek, sólisté - CD Antonín Dvořák

Audio CD

19.88 €

Cartas a Martín Zapater Francisco de Goya

Paperback

20.59 €

Las mejores recetas de Bagels genuinos de Nueva York Burton

Paperback

8.01 €

Márgenes de la Modernidad : libertinismo y filosofía en el siglo XVII Pedro Lomba

Paperback

28.20 €

SAP FI Ridvan Akgül

Paperback

21.20 €

Behinderung verhindern Britta-Marie Schenk

Paperback

61.08 €

Autopsie, 2 Bde. Manfred Heiting

Hardback

170.56 €

Description Historique Et Statistique de La Ville de Reims, Etc Jean Baptiste Franc Ge Ruzez

Paperback

26.68 €

This book constitutes the refereed proceedings of the 11th International Symposium on Automated Technology for Verification and Analysis, ATVA 2013, held at Hanoi, Vietnam, in October 2013. §The 27 regular papers, 3 short papers and 12 tool papers presented together with 3 invited talks were carefully selected from73 submissions. §The papers are organized in topical, sections on analysis and verification of hardware circuits, systems-on-chip and embedded systems, analysis of real-time, hybrid, priced/weighted and probabilistic systems, deductive, algorithmic, compositional, and abstraction/refinement techniques for analysis and verification, analytical techniques for safety, security, and dependability, testing and runtime analysis based on verification technology, analysis and verification of parallel and concurrent hardware/software systems, verification in industrial practice, and applications and case studies.