Verifică starea comenzii
LIBRISTO
LIBROAMANTO
obligatoriu
Parolă uitată
Faceți parte dintr-o comunitate de iubitori de cărți din întreaga lume și beneficiați de o mulțime de avantaje Creați-vă un cont gratuit
0
Transport gratuit la punctele de livrare Pick Up peste 349.00 lei
Packeta 15.00 lei Serviciul de curierat Cargus 28.00 lei Easybox 20.00 lei FAN Courier 20.00 lei Punct FAN 16.00 lei Punct DPD 17.00 lei Curier DPD 25.00 lei
phone Contact phoneCum să cumpăr
Livrare gratuită pentru comenzile peste 349,00 lei.

Automated Technology for Verification and Analysis

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

Limba englezăengleză
Carte Carte broșată
Carte Automated Technology for Verification and Analysis Dang Van Hung
Codul Libristo: 02081875
Editura Springer International Publishing AG, august 2013
This book constitutes the refereed proceedings of the 11th International Symposium on Automated Tech... Descrierea completă
? points 132 b
285.16 lei
În depozitul extern Expediem în 5-8 zile

Până la 30 de zile pentru returnare

Clienții au cumpărat de asemenea

Wer aufgibt, wird nie Sieger! Martin K. W. Schweer / Carte Carte broșată
common.buy 130.36 lei
Liturgia del disprezzo Antoine Volodine / Carte Carte broșată
common.buy 103.43 lei
Mindbug / Carte binding.
common.buy 79.42 lei
El Defensor del Pueblo en el sector bancario - Una revisión Sanjay Kaptan / Carte Carte broșată
common.buy 134.00 lei
mi amigo el Psicopata Ardaist Sergio Ardaist / Carte Carte broșată
common.buy 109.36 lei
Vidrios y vidrieras. Artes decorativas españolas Pérez Bueno / Carte Carte broșată
common.buy 141.79 lei
Dans l'enfer de Montretout Beaumont / Carte Carte broșată
common.buy 125.57 lei
Handbuch Europarecht Walter Frenz / Carte Copertă tare
common.buy 1 216.03 lei
Wissen des Rechts Alexander Somek / Carte Carte broșată
common.buy 143.35 lei
Description Historique Et Statistique de La Ville de Reims, Etc Jean Baptiste Franc Ge Ruzez / Carte Carte broșată
common.buy 148.03 lei
Cartas a Martín Zapater Francisco de Goya / Carte Carte broșată
common.buy 113.20 lei
Las mejores recetas de Bagels genuinos de Nueva York Burton / Carte Carte broșată
common.buy 41.16 lei
Márgenes de la Modernidad : libertinismo y filosofía en el siglo XVII Pedro Lomba / Carte Carte broșată
common.buy 146.58 lei
SAP FI Ridvan Akgül / Carte Carte broșată
common.buy 116.43 lei
Autopsie, 2 Bde. Manfred Heiting / Carte Copertă tare
common.buy 891.57 lei
Behinderung verhindern Britta-Marie Schenk / Carte Carte broșată
common.buy 319.36 lei

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.

Actriță & Poliglotă
EWA KASP pentru
Redă videoclipul
Ewa Kasp
Libristo are cea mai mare selecție de literatură în limbi străine. De aceea îmi cumpăr cărțile de aici.

Informații despre carte

Titlu complet Automated Technology for Verification and Analysis
Autor Dang Van Hung, Mizuhito Ogawa
Limba engleză
Legare Carte - Carte broșată
Data publicării 2013
Număr pagini 528
EAN 9783319024431
ISBN 3319024434
Codul Libristo 02081875
Editura Springer International Publishing AG
Greutatea 825
Dimensiuni 155 x 235 x 29

Categorii

Computing & Information Technology > Computer hardware > Network hardware
Computing & Information Technology > Computer programming / software engineering > Compilers & interpreters
Computing & Information Technology > Computer programming / software engineering > Programming & scripting languages: general
Computing & Information Technology > Computer programming / software engineering > Software Engineering
Computing & Information Technology > Computer science > Computer architecture & logic design
Computing & Information Technology > Operating systems
Dăruiește această carte chiar astăzi
Este foarte ușor
1 Adaugă cartea în coș și selectează Livrează ca un cadou 2 Îți vom trimite un voucher în schimb 3 Cartea va ajunge direct la adresa destinatarului

Ar putea de asemenea, să te intereseze

Animal Tales: (A Hippo Graded Reader) Cooper Baltis / Carte Carte broșată
common.buy 46.98 lei
Ghost Stories of Louisiana Dan Asfar / Carte Carte broșată
common.buy 59.14 lei
Egypt's Revolutions Stéphane Lacroix / Carte Carte broșată
common.buy 306.16 lei
Forest Landscape Restoration Handbook Jennifer Rietbergen-McCracken / Carte Carte broșată
common.buy 338.38 lei
Quest for the Historical Satan Miguel A. De La Torre / Carte Carte broșată
common.buy 180.57 lei
Contemporary Theatre, Film and Television / Carte Copertă tare
common.buy 3 139.22 lei
Applications of Matrix Converters for Wind Turbine Systems S. Masoud Barakati / Carte Carte broșată
common.buy 450.98 lei
AU-18 Space Primer Air University Press / Carte Carte broșată
common.buy 178.60 lei
Getting Zambia to Work (PB) Chisanga Puta-Chekwe / Carte Carte broșată
common.buy 153.02 lei
Healing Mandala Pocket Coloring Book Lisa Tenzin-Dolma / Carte Carte broșată
common.buy 45.01 lei
Irish Poetry of the 1930s Alan Gillis / Carte Copertă tare
common.buy 976.82 lei
In Old South Hadley (Classic Reprint) Sophie E. Eastman / Carte Carte broșată
common.buy 110.60 lei
Civility Unleashed: Using Civility to Survive and Thrive in the Workplace Diana Damron / Carte Carte broșată
common.buy 91.58 lei
Life and Times of Selina, Countess of Huntingdon; Volume 2 A C H Seymour / Carte Copertă tare
common.buy 253.24 lei
Funnies, The Paul A. Mendelson / Carte Carte broșată
common.buy 54.57 lei
I USED TO BE FAMOUS Tara Luebbe / Carte Carte broșată
common.buy 48.96 lei
Psychology of Consciousness Robert Ornstein / Carte Carte broșată
common.buy 108.42 lei
100 Questions & Answers About Chronic Obstructive Pulmonary Disease (COPD) Campion Quinn / Carte Carte broșată
common.buy 156.56 lei
Studies in the National Balance Sheet of the United States, Volume 1 Raymond William Goldsmith / Carte Copertă tare
common.buy 1 251.38 lei
How to Look After Your Pet Dog David Alderton / Carte Copertă tare
common.buy 31.18 lei
Annual Editions: Management Fred H. Maidment / Carte Carte broșată
common.buy 281.21 lei
Columns of Vengeance Paul N Beck / Carte Copertă tare
common.buy 163.00 lei
Roman Amphitheatre Katherine E. Welch / Carte Carte broșată
common.buy 383.19 lei
Approaches to Traditional Chinese Medical Literature Paul U. Unschuld / Carte Carte broșată
common.buy 852.37 lei

Logare

Conectare la contul de utilizator Încă nu ai un cont Libristo? Crează acum!

 
obligatoriu
obligatoriu
Parolă uitată

Nu ai un cont? Beneficii cu contul Libristo!

Datorită contului Libristo, vei avea totul sub control.

Creare cont Libristo
Consilier de cărți Libroamiko
Bună ziua, sunt Libroamiko, vă pot ajuta?