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 Cargus 28.00 lei Easybox 20.00 lei FAN 20.00 lei Punct FAN 16.00 lei Punct DPD 17.00 lei Curier Sameday 24.00 lei Curier DPD 25.00 lei
phone Contact phoneCum să cumpăr
Livrare gratuită pentru comenzile peste 349,00 lei.

Tests and Proofs

9th International Conference, TAP 2015, Held as Part of STAF 2015, L`Aquila, Italy, July 22-24, 2015. Proceedings

Limba englezăengleză
Carte Carte broșată
Carte Tests and Proofs Jasmin Christian Blanchette
Codul Libristo: 09361553
Editura Springer International Publishing AG, iunie 2015
This book constitutes the refereed proceedings of the 9th International Conference on Tests and Proo... Descrierea completă
? points 126 b
274.60 lei
În depozitul extern Expediem în 5-8 zile

30 de zile pentru retur bunuri

Clienții au cumpărat de asemenea

Gannibal 6 Masaaki Ninomiya / Carte Carte broșată
common.buy 47.95 lei
Algorytmika praktyczna Stańczyk Piotr / Carte Carte broșată
common.buy 168.26 lei
Hort- Bzw. Depotfunde Der Fr hbronzezeit in Mitteldeutschland Und Ihr Indikatorischer Wert F r Den Nachweis Sozialer Eliten Silvester Tamas / Carte Carte broșată
common.buy 89.86 lei
Leggere la scuola. Antologia e laboratori per la scuola secondaria di primo grado Alice Bigli / Carte Carte broșată
common.buy 146.78 lei
Chancen und Risiken im Category Management beim Aufbau einer Bio-Handelsmarke in der Drogeriebranche Philipp Voshege / Carte Carte broșată
common.buy 237.90 lei
Nevyřešené záhady Egypta Magdalena Zachardová / Carte Copertă tare
common.buy 57.75 lei
Hameleony Gennadij Murzin / Carte Carte broșată
common.buy 222.57 lei
Cahiers du Cinéma N°754 - Herbier - avril 2019 / Carte Carte broșată
common.buy 48.36 lei
Mesačná víla Samuel Salay / Carte Copertă tare
common.buy 22.82 lei
Salin Kaliske Helene Böhlau / Carte Carte broșată
common.buy 183.48 lei
Enchantimals 01 - Au secours de Felicity ! Mattel / Carte Carte broșată
common.buy 49.30 lei
Dikkat Kan Araniyor Zehra Ebrar Bakir / Carte Carte broșată
common.buy 61.92 lei
Préhistoires d'Europe Lehoerff anne / Carte Carte
common.buy 174.93 lei
Comptines pour se relaxer Gilles Diederichs / Carte Carte broșată
common.buy 95.49 lei
Guarda Rural. Temario común para todas las modalidades Formación y Especialización en Seguridad (FYES) / Carte Carte broșată
common.buy 221.01 lei

This book constitutes the refereed proceedings of the 9th International Conference on Tests and Proofs, TAP 2015, held in L` Aquila, Italy, in July 2015, as part of the STAF 2015 Federated Conferences. The 11 revised full papers and 1 short papers presented together with 3 invited talks were carefully reviewed and selected from 21 submissions. The accepted papers contribute to various testing techniques (model-based, property-based, grammar-based, bounded-exhaustive), fault localization, model-driven engineering, as well as model coverage, consistency, and validation, among others. Many papers rely on interactive and automatic§theorem provers, including SMT solvers and model checkers.

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 Tests and Proofs
Autor Jasmin Christian Blanchette, Nikolai Kosmatov
Limba engleză
Legare Carte - Carte broșată
Data publicării 2015
Număr pagini 209
EAN 9783319212142
ISBN 3319212141
Codul Libristo 09361553
Editura Springer International Publishing AG
Greutatea 3577
Dimensiuni 155 x 235 x 14

Categorii

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 > Mathematical theory of computation
Computing & Information Technology > Computer science > Computer modelling & simulation
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

Knowledge-Based Software Engineering: 2020 Hiroyuki Nakagawa / Carte Copertă tare
common.buy 1 138.98 lei
It Will Never Happen to Me: Growing Up with Addiction as Youngsters, Adolescents, and Adults Claudia Black / Carte Carte broșată
common.buy 79.64 lei
Bonereapers Jeanne Matthews / Carte Carte broșată
common.buy 95.28 lei
Larry Cohen Michael Doyle / Carte Copertă tare
common.buy 289.19 lei
Republic of Korea Health System Review Who Regional Office for the Western Paci / Carte Carte broșată
common.buy 145.22 lei
Beastwalker Gama Ray Martinez / Carte Carte broșată
common.buy 71.82 lei
Travels Through Central Africa to Timbuctoo and Across the Great Desert to Morocco, Performed in the Years 1824-28 Rene Caillie / Carte Copertă tare
common.buy 378.44 lei
Beautiful Book for Little Children John L Shorey / Carte Carte broșată
common.buy 84.85 lei
Three Craws Melanie Mitchell / Carte Cărți pliante
common.buy 42.94 lei
Bantu Prophets in South Africa Bengt G. M. Sundkler / Carte Carte broșată
common.buy 287.42 lei
Curând
Department of Defense Posture for Artificial Intelligence William Shelton / Carte Carte broșată
common.buy 156.06 lei
Coloring Book - I Spy: Coloring Book for Kids Ages 2-5 Year _ A Fun Guessing Game for Kids Dolly Bond School / Carte Carte broșată
common.buy 37.10 lei
Policy-based Computing with SELINUX Nwamaka U. Okafor / Carte Carte broșată
common.buy 178.68 lei
Ultimate Baby Food Cookbook Jayson Young / Carte Carte broșată
common.buy 52.12 lei
Passage Justin Cronin / E-book Adobe ePub DRM
common.buy 23.03 lei
Autodesk CFD 2023 Black Book Matt Weber / Carte Copertă tare
common.buy 403.77 lei
Cultural History of the Chinese Character "Ta ( , She)" Huang Xingtao / Carte Copertă tare
common.buy 1 147.01 lei
The World Almanac and Book of Facts 2024 Janssen / Carte Copertă tare
common.buy 177.54 lei
Recovery of degraded areas Bruno M. Araújo / Carte Carte broșată
common.buy 198.39 lei
Postanarchism and Critical Art Practices Tihomir Topuzovski / Carte Copertă tare
common.buy 637.20 lei
Still Life Burke / Carte Copertă tare
common.buy 124.78 lei
20 Underwater Kingdom Bedtime Stories For Kids Age 3 - 8 Blume Potter / Carte Copertă tare
common.buy 153.45 lei
CCST Cisco Certified Support Technician Study Guide Todd Lammle / E-book Adobe ePub DRM
common.buy 273.35 lei
Nou
Lore of the Tides Analeigh Sbrana / Carte Carte broșată
common.buy 60.56 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?