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

8th International Symposium, ATVA 2010, Singapore, September 21-24, 2010, Proceedings

Limba englezăengleză
Carte Carte broșată
Carte Automated Technology for Verification and Analysis Ahmed Bouajjani
Codul Libristo: 01656599
Editura Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, septembrie 2010
This book constitutes the refereed proceedings of the 8th International Symposium on Automated Techn... Descrierea completă
? points 148 b
319.57 lei
În depozitul extern Expediem în 14-21 zile

Până la 30 de zile pentru returnare

Clienții au cumpărat de asemenea

Endemische Kretinismus F.de Quervain / Carte Carte broșată
common.buy 292.01 lei
Erinnerungen eines Reserveoffiziers Eberhard von Breitenbuch / Carte Carte broșată
common.buy 84.34 lei
J.R.R. Tolkien meséi John Ronald Reuel Tolkien / Carte Copertă tare
common.buy 57.60 lei
Vedantadipah Volume 1 Bdaryaa / Carte Carte broșată
common.buy 90.46 lei
Les limites de la rationalité colloque de Cerisy Colloque de Cerisy / Carte Carte broșată
common.buy 246.62 lei
SANANDO A EVA Dra. Leonarda Durán Buike / Carte Carte broșată
common.buy 81.54 lei
Anleitung zum Bestimmen der Familien der Phanerogamen Franz Thonner / Carte Carte broșată
common.buy 197.19 lei
De l’exil à la présence de Dieu Goligher / Carte Carte broșată
common.buy 65.58 lei
Peppa és a legjobb szülinapi zsúr / Carte Foaie
common.buy 13.98 lei
Master Musicians Of Jajouka Led By Bachir Attar: Jajouka Between The Mountains The Master Musicians of Jajouka / Audio Audio CD
common.buy 92.53 lei
Bello, elegante e con la fede al dito Andrea Vitali / Carte Carte broșată
common.buy 118.02 lei
Vzpomínky má každý Alžběta Ottová / Carte Carte broșată
common.buy 35.64 lei
Auswirkungen von Basel II auf Unternehmensgrundungen hinsichtlich Kreditkonditionen Christa Weinrauch / Carte Carte broșată
common.buy 94.50 lei
Processo estratégico de tomada de decis?o sobre investimento direto estrangeiro Hussam Al Halbusi / Carte Carte broșată
common.buy 177.60 lei
La transposition de la Directive (UE) 2019/1023 dite "restructuration et insolvabilité" - La place d Oleksiy Kononov / Carte Carte broșată
common.buy 463.51 lei
Кайдзен Masaaki Imai / Carte Carte broșată
common.buy 105.90 lei
Peinture En Europe, Catalogues Raisonnes. Rome. Les Musees, Les Collections Particulieres Georges Edouard Lafenestre / Carte Carte broșată
common.buy 181.23 lei
Le Grand Dictionnaire Historique. Tome 1, Partie 2 Moreri-L / Carte Carte broșată
common.buy 186.41 lei
As sete mortes Carlos Vila Sexto / Carte Carte broșată
common.buy 100.51 lei
Synthese Artifizieller Peptide zur Erzeugung von Supramolekularen Architekturen und zur Markie-rung von Biomolekülen Selda Kabatas / Carte Carte broșată
common.buy 310.35 lei
Immer Trouble mit Gender? Petra Josting / Carte Carte broșată
common.buy 93.67 lei
Erfolgsfaktoren fur die kundenseitige Akzeptanz von NFC-Mobile-Payment im Vergleich zwischen OEsterreich und Taiwan Jakob Harb / Carte Carte broșată
common.buy 211.90 lei
Hören, Lesen, Fernsehen - und sie spielen trotzdem Walter Klingler / Carte Carte broșată
common.buy 130.56 lei
Claude Fauchet, l'Intrus Du Calvados SANS AUTEUR / Carte Carte broșată
common.buy 69.73 lei

This book constitutes the refereed proceedings of the 8th International Symposium on Automated Technology for Verification and Analysis, ATVA 2010, held in Singapore, in September 2010.§The book includes 3 invited talks, 21 regular papers and 9 tool papers.

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 Ahmed Bouajjani, Wei-Ngan Chin
Limba engleză
Legare Carte - Carte broșată
Data publicării 2010
Număr pagini 404
EAN 9783642156427
ISBN 3642156428
Codul Libristo 01656599
Editura Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Greutatea 624
Dimensiuni 327 x 239 x 28

Categorii

Computing & Information Technology > Computer hardware > Network hardware
Computing & Information Technology > Computer programming / software engineering > Algorithms & data structures
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

PREMO: A Framework for Multimedia Middleware David Duke / Carte Carte broșată
common.buy 284.23 lei
Alone at Sea John N. Morris / Carte Carte broșată
common.buy 138.74 lei
Learning Medicine Peter Richards / Carte Carte broșată
common.buy 321.75 lei
Producing Success: A Career Guide for Conference Producers David M Hoffman / Carte Carte broșată
common.buy 81.34 lei
Barack Obama in his Own Words Lisa Rogak / Carte Carte broșată
common.buy 94.70 lei
I See You... Michaela Pirie / Carte Carte broșată
common.buy 90.46 lei
Easywriter and Grammar Girl's 101 Words Every High School Graduate Needs to Know, Fourth Edition Andrea A. Lunsford / Carte Copertă tare
common.buy 280.30 lei
Secret War Against Hanoi Richard H. Shultz / Carte Carte broșată
common.buy 94.70 lei
Ss93 Regions Near and Far Pupil Edition Grade 4 / Carte Copertă tare
common.buy 693.76 lei
Irish Scenes, Eighteen Years Ago IRISH SCENES / Carte Copertă tare
common.buy 173.04 lei
Helmholtz Portfolio Theme Large-Scale Data Management and Analysis (LSDMA) Christopher Jung / Carte Carte broșată
common.buy 227.03 lei
Memoir of a Nazarene Edward J Murray / Carte Copertă tare
common.buy 178.23 lei
1968 Robert P Fitton / Carte Carte broșată
common.buy 105.90 lei
Anecdotes Of Literature And Scarce Books V6 William Beloe / Carte Carte broșată
common.buy 224.86 lei
Powering Future Micro Air Vehicles Daniel J Markham / Carte Carte broșată
common.buy 79.89 lei
Step By Step Mixing Bjorgvin Benediktsson / Carte Carte broșată
common.buy 91.28 lei
Nou
The Making of Mexico Pamela K. Starr / Carte Copertă tare
common.buy 352.83 lei
The Strangers: Chapter 1 / Videoclip DVD
common.buy 43.62 lei
Lebanese Baking ABOOD MAUREEN / Carte Copertă tare
common.buy 148.69 lei
Scent of Flowers at Night Leila Slimani / Carte Carte broșată
common.buy 59.99 lei
Adult Coloring Book Relax: Intricate Patterns And Designs To Color, Calming Coloring Activity Book For Stress Relief, Christmas Gift, Birthday Gi Harper Lee Browning / Carte Carte broșată
common.buy 42.06 lei
Essential Biochemistry: University of Texas at Austin, CH 369 Fundamentals of Biochemistry [With CDROM] Kathleen Cornely / Carte Carte broșată
common.buy 653.45 lei
Money And Legal Tender In The United States (1877) Henry Richard Linderman / Carte Carte broșată
common.buy 142.16 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?