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 Punct FAN 16.00 lei Punct DPD 17.00 lei Curier DPD 25.00 lei FAN Courier 25.00 lei
phone Contact phoneCum să cumpăr
Livrare gratuită pentru comenzile de peste 349 LEI prin Easybox, FAN BOX și Coletăria.

Computer Aided Verification

Limba englezăengleză
Carte Carte broșată
Carte Computer Aided Verification Rupak Majumdar
Codul Libristo: 16495653
Editura Springer International Publishing AG, iulie 2017
The two-volume set LNCS 10426 and LNCS 10427 constitutes the refereed proceedings of the 29th Intern... Descrierea completă
? points 132 b
286.77 lei
În depozitul extern Expediem în 5-8 zile

Până la 30 de zile pentru returnare

Clienții au cumpărat de asemenea

La vie rêvée du Post-partum Caroline Michel Carte Carte broșată
common.buy 131.51 lei
Фастфуд на миллион. Made in Russian Регион / Carte Carte broșată
common.buy 269.52 lei
Bibliograf­a de Historia Económica de Cataluña, 1950-70 / Carte Carte broșată
common.buy 81.85 lei
Lone Survivor (Original Motion Picture Soundtrack) / Audio Audio CD
common.buy 92.52 lei
Yumo: Strange Stories About Dreams Series Blind Box figure 8 cm Display (9) Joc / Jucărie Jucărie
common.buy 773.14 lei
Sortie à la médiathèque, niveau 1 - J'apprends à lire Montessori Charlotte Jouenne / Carte Carte broșată
common.buy 34.81 lei
Robur le conquerant Jules Verne / Carte Carte broșată
common.buy 43.80 lei
PHDA na pratica Rui Pedro Ribeiro / E-book Adobe ePub DRM
common.buy 46.10 lei
??????????? ?? ???(?????)? ????: ?? - Affe. ???? ?? ???? ColinHann / E-book Adobe ePub DRM
common.buy 5.63 lei
Abuso y planificación fiscal internacional: una perspectiva jurídica, económica JUAN ARRIETA / Carte Carte broșată
common.buy 627.50 lei
A VERDADE DAS SUAS CARICIAS WILLIAMS / Carte Carte
common.buy 28.74 lei
Missiq "Sblizhenie": Rasshirenie praw i wozmozhnostej zhenschin Anam Fatima / Carte Carte broșată
common.buy 179.19 lei
Cómo Promocionar Tu Libro En Internet: Para Autores Que Empiezan Claudio De Castro / Carte Carte broșată
common.buy 68.36 lei
Raumsoziologie Martina Löw / Carte Carte broșată
common.buy 100.36 lei
Didier Grousset/Brigitte Smadja: Il faut sauver Saïd: Filmanalyse Martin Thoböll / Carte Carte broșată
common.buy 186.61 lei
Beziehungsmanagement im Sportsponsoring? Thorben Meier / Carte Carte broșată
common.buy 367.69 lei
Leonor Merimee (1757-1836) Gaston Pinet / Carte Carte broșată
common.buy 83.84 lei
Balthaz Fils de Famille Francois Banier / Carte Carte broșată
common.buy 67.74 lei
Die Finanzierung der Reichshauptstadt Harald Engler / Carte Copertă tare
common.buy 1 791.15 lei
Energie de lumière infinie - Méditations créatives - Livre audio 2 CD Lafrance / Audio Audio CD
common.buy 142.18 lei
Raťapíška: Ako myška Raťapíška syr vyrobila Alexandra Cvečková / Carte Copertă tare
common.buy 46.41 lei
Top
Rolex RODR L PEZ LANDAURO / Carte Carte broșată
common.buy 86.24 lei
ontologia da alma em Sao Tomas de Aquino Moacir Ferreira Filho / Carte Carte broșată
common.buy 198.95 lei
Comment Jouer Au Golf VARDON-H / Carte Carte broșată
common.buy 112.07 lei

The two-volume set LNCS 10426 and LNCS 10427 constitutes the refereed proceedings of the 29th International Conference on Computer Aided Verification, CAV 2017, held in Heidelberg, Germany, in July 2017. The total of 50 full and 7 short papers presented together with 5 keynotes and tutorials in the proceedings was carefully reviewed and selected from 191 submissions. The CAV conference series is dedicated to the advancement of the theory and practice of computer-aided formal analysis of hardware and software systems. The conference covers the spectrum from theoretical results to concrete applications, with an emphasis on practical verification tools and the algorithms and techniques that are needed for their implementation.

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 Computer Aided Verification
Autor Rupak Majumdar, Viktor Kuncak
Limba engleză
Legare Carte - Carte broșată
Data publicării 2017
Număr pagini 601
EAN 9783319633862
ISBN 3319633864
Codul Libristo 16495653
Editura Springer International Publishing AG
Greutatea 9299
Dimensiuni 155 x 235 x 35

Categorii

Computing & Information Technology > Computer programming / software engineering > Algorithms & data structures
Computing & Information Technology > Computer programming / software engineering > Software Engineering
Computing & Information Technology > Computer science > Mathematical theory of computation
Computing & Information Technology > Computer science > Computer architecture & logic design
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

Sudoku Minesweeper - 200 Easy to Medium Puzzles 9x9 (Volume 7) Dart Veider / Carte Carte broșată
common.buy 42.44 lei
Storm Makers Jennifer E. Smith / Carte Carte broșată
common.buy 95.55 lei
Walkertown Area Historical Society Walkertown / Carte Carte broșată
common.buy 109.04 lei
Doberman Pinschers Christina Leighton / Carte Copertă tare
common.buy 185.04 lei
Top
The Hurricane Wars GUANZON THEA / Carte Carte broșată
common.buy 77.46 lei
ANNUAL REPORTS OF THE PRESIDENT AND TREA COLUMBIA UNIVERSITY / Carte Copertă tare
common.buy 190.48 lei
THE GEORGIAN; OR, THE MOOR OF TRIPOLI: A ELIZABETH THOMAS / Carte Copertă tare
common.buy 169.57 lei
Current Developments in Biotechnology and Bioengineering Ashok Pandey / Carte Carte broșată
common.buy 1 101.43 lei
First Principles of Gastroenterology and Hepatology in Adults and Children - Volume I - Gastroenterology: Volume I - Gastroenterology A B R Thomson / Carte Carte broșată
common.buy 231.67 lei
The Unofficial Disney Parks Cookbooks Boxed Set: The Unofficial Disney Parks Cookbook, the Unofficial Disney Parks EPCOT Cookbook, the Unofficial Disn Craft / Carte Copertă tare
common.buy 207.00 lei
Mobile Genetic Elements Yves Bigot / Carte Copertă tare
common.buy 560.17 lei
Rutherford College Catalog; 1924-1925 Rutherford College / Carte Carte broșată
common.buy 101.72 lei
Product Research 101: Find Winning Products to Sell on Amazon and Beyond Renae Clark / Carte Carte broșată
common.buy 44.84 lei
Hizballah Shimon Shapira / Carte Carte broșată
common.buy 306.53 lei
Universal Human: Creating Authentic Power and the New Consciousness Gary Zukav / Carte Carte broșată
common.buy 88.33 lei
Theory of Superconductivity J. Robert Schrieffer / Carte Copertă tare
common.buy 1 344.19 lei
Walking Into Lightning Ellen Lafleche / Carte Carte broșată
common.buy 80.08 lei
The Story of King Arthur and His Knights Howard Pyle / Carte Carte broșată
common.buy 75.79 lei
Computer Architecture Gerard Blanchet / Carte Copertă tare
common.buy 786.00 lei
Immunomodulatory Role of Black Seed Oil Muhammad Shahzad / Carte Carte broșată
common.buy 262.83 lei
Die Prophezeiung Cathy Cash Spellman / Videoclip Blu-ray
common.buy 184.63 lei
Blue Room David Hare / Carte Carte broșată
common.buy 66.38 lei
Odyssey Homer / Carte Carte broșată
common.buy 134.55 lei
Methods Of Qualitative Theory In Nonlinear Dynamics (Part Ii) Leonid Shilnikov / Carte Copertă tare
common.buy 1 060.55 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