Spedizione gratuita per ordini superiori a 69,99 euro.

Controllare lo stato dell'ordine

Entra a far parte di una comunità di amanti dei libri di tutto il mondo e ottieni numerosi vantaggi. Crea un account gratuito

Spedizione gratuita con Packeta per un prezzo superiore a 69.99 €

Corriere Bartolini 4.49 € Punto Poste 5.49 € Punto Poste 5.49 € Punto Bartolini 3.49 € Corriere DHL 6.99 € Corriere GLS 5.99 € Punto GLS 4.49 €

Contatto

Come acquistare

Aiuto

Il mio account

▸ Vuoto :-(

Spedizione gratuita per ordini superiori a 69,99 euro.

Automated Technology for Verification and Analysis

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

Lingua

Inglese

Libro In brossura

Codice Libristo: 02081875

Casa editrice Springer International Publishing AG, agosto 2013

This book constitutes the refereed proceedings of the 11th International Symposium on Automated Tech... Descrizione completa

Codice Libristo: 02081875

132 b

53.79 €

Magazzino esterno Inviamo tra 5-8 giorni

Fino a 30 giorni per il reso

I clienti hanno acquistato anche

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

In brossura

24.59 €

Liturgia del disprezzo Antoine Volodine

In brossura

20.59 €

Mindbug

binding.

15.89 €

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

In brossura

25.29 €

mi amigo el Psicopata Ardaist Sergio Ardaist

In brossura

20.59 €

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

In brossura

26.79 €

Dans l'enfer de Montretout Beaumont

In brossura

24.79 €

Handbuch Europarecht Walter Frenz

Rigido

240.89 €

Wissen des Rechts Alexander Somek

In brossura

28.29 €

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

In brossura

27.89 €

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

CD audio

20.59 €

Cartas a Martín Zapater Francisco de Goya

In brossura

21.39 €

Las mejores recetas de Bagels genuinos de Nueva York Burton

In brossura

7.79 €

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

In brossura

27.69 €

SAP FI Ridvan Akgül

In brossura

21.99 €

Autopsie, 2 Bde. Manfred Heiting

Rigido

175.69 €

Behinderung verhindern Britta-Marie Schenk

In brossura

63.19 €

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.