Vážení zákazníci, z technických dôvodov nie je dnes zákaznícka podpora k dispozícii. Vašim požiadavkám sa budeme venovať nasledujúci pracovný deň. Ďakujeme za pochopenie.

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 :-(

Vážení zákazníci, z technických dôvodov nie je dnes zákaznícka podpora k dispozícii. Vašim požiadavkám sa budeme venovať nasledujúci pracovný deň. Ďakujeme za pochopenie.

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-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 01569366
Price: 51.68 EUR
Availability: InStock
Author: Kedar Namjoshi
ISBN: 9783540755951

5th International Symposium, ATVA 2007 Tokyo, Japan, October 22-25, 2007 Proceedings

Jazyk

Angličtina

Kniha Brožovaná

Libristo kód: 01569366

Nakladateľstvo Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, október 2007

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

Libristo kód: 01569366

125 b

51.68 €

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

Až 30 dní na vrátenie tovaru

Zákazníci tiež kúpili

Vers la maîtrise du monoski et au-del? Tsallen

Brožovaná

21.84 €

Dirección de la fuerza de ventas ENRIQUE CARLOS DIEZ DE CASTRO

Brožovaná

39.44 €

Betragtninger Over Den Naturlige Theologie (1805) Frederik Munter

Brožovaná

33.68 €

Ossigenoterapia iperbarica e lesioni ano-perineali Alaa Nciri

Brožovaná

39.24 €

Kalinti

Brožovaná

20.12 €

Daňový sprievodca 2023 s komentárom autorov Kolektív

Brožovaná

9.70 €

de la Broncho-Pneumonie Dans La Diphterie Darier-F-J

Brožovaná

14.76 €

Odsun sovětských vojsk Karel Pecka

binding.

4.14 €

Geographie von Griechenland Konrad Bursian

Brožovaná

31.25 €

Ekonomika v souvislostech Jan Vávra

Brožovaná

6.77 €

Hypersensitiv Sabrina Wallner

Brožovaná

13.54 €

Studie uber das Leben erfolgreicher Menschen mit Behinderung Siegfried Bachmayer

Brožovaná

42.78 €

Deutsch-Amerikanisches Verfassungsrechtssymposium 1976. Wilhelm A. Kewenig

Brožovaná

64.02 €

Schöne Augen Franz Specht

List

8.08 €

This book constitutes the refereed proceedings of the 5th International Symposium on Automated Technology for Verification and Analysis, ATVA 2007. The 29 revised full papers presented together with seven short papers address theoretical methods to achieve correct software or hardware systems, including both functional and non functional aspects; as well as applications of theory in engineering methods and particular domains and handling of practical problems occurring in tools.