Doprava zdarma pre objednávky nad 59,99 € s Packetou a SPS Boxmi.

Zistiť stav objednávky

Staňte sa súčasťou komunity milovníkov kníh z celého sveta a získajte hromadu výhod. Založiť účet zdarma

Doprava zadarmo s Packetou nad 59.99 €

Kuriér DPD 2.99 € Kuriér GLS 3.99 € Zberné miesto GLS 2.49 € SPS 3.99 € SPS Parcel Shop 2.99 € Packeta kurýr 3.99 € Slovenská pošta 3.99 € Zberné miesto DPD 2.99 € Packeta 2.99 €

Kontakt

Ako nakupovať

Pomoc

Môj účet

▸ Prázdny :-(

Doprava zdarma pre objednávky nad 59,99 € s Packetou a SPS Boxmi.

Automated Technology for Verification and Analysis

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

Jazyk

Angličtina

Kniha Brožovaná

Libristo kód: 02081875

Nakladateľstvo Springer International Publishing AG, august 2013

This book constitutes the refereed proceedings of the 11th International Symposium on Automated Tech... Celý popis

Libristo kód: 02081875

125 b

51.53 €

Skladom u dodávateľa Odosielame za 5-8 dní

Až 30 dní na vrátenie tovaru

Zákazníci tiež kúpili

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

Brožovaná

23.49 €

Liturgia del disprezzo Antoine Volodine

Brožovaná

19.56 €

Mindbug

binding.

14.41 €

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

Brožovaná

24.10 €

mi amigo el Psicopata Ardaist Sergio Ardaist

Brožovaná

19.66 €

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

Brožovaná

26.92 €

Dans l'enfer de Montretout Beaumont

Brožovaná

23.79 €

Handbuch Europarecht Walter Frenz

Pevná

231.48 €

Wissen des Rechts Alexander Somek

Brožovaná

27.22 €

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

Brožovaná

24.90 €

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

Audio CD

19.76 €

Cartas a Martín Zapater Francisco de Goya

Brožovaná

20.47 €

Las mejores recetas de Bagels genuinos de Nueva York Burton

Brožovaná

7.76 €

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

Brožovaná

27.83 €

SAP FI Ridvan Akgül

Brožovaná

21.07 €

Autopsie, 2 Bde. Manfred Heiting

Pevná

169.65 €

Behinderung verhindern Britta-Marie Schenk

Brožovaná

60.81 €

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.