Free shipping on orders over 19,990 Ft via Packeta, Fox Post Box, and DPD Collection Point

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 19 990 Ft

DPD point 990 Ft DPD courier 1 190 Ft GLS point 1 190 Ft Hungarian Post 1 795 Ft Hungarian Post 1 690 Ft Hungarian Post 1 690 Ft FoxPost 1 190 Ft Packeta point 1 190 Ft GLS courier 1 690 Ft

Contact

How to shop

Help

My account

▸ Empty :-(

Free shipping on orders over 19,990 Ft via Packeta, Fox Post Box, and DPD Collection Point

Automated Technology for Verification and Analysis

Name: Automated Technology for Verification and Analysis
Brand: Springer International Publishing AG
SKU: 02081875
Price: 20310 HUF
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

136 b

20 310 Ft

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

10 051 Ft

Liturgia del disprezzo Antoine Volodine

Paperback

7 075 Ft

Mindbug

binding.

5 235 Ft

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

Paperback

9 556 Ft

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

Paperback

6 683 Ft

Mes comptines de Noël - Kididoc Nathalie Choux

Hardback

7 358 Ft

mi amigo el Psicopata Ardaist Sergio Ardaist

Paperback

7 806 Ft

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

Paperback

9 844 Ft

Dans l'enfer de Montretout Beaumont

Paperback

8 631 Ft

Wissen des Rechts Alexander Somek

Paperback

9 872 Ft

Handbuch Europarecht Walter Frenz

Hardback

83 997 Ft

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

Paperback

9 287 Ft

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

Audio CD

7 730 Ft

Cartas a Martín Zapater Francisco de Goya

Paperback

8 075 Ft

Las mejores recetas de Bagels genuinos de Nueva York Burton

Paperback

2 872 Ft

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

Paperback

10 169 Ft

SAP FI Ridvan Akgül

Paperback

8 287 Ft

Behinderung verhindern Britta-Marie Schenk

Paperback

22 045 Ft

Autopsie, 2 Bde. Manfred Heiting

Hardback

61 547 Ft

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

Paperback

10 589 Ft

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.