A rendelés állapotának ellenőrzése
LIBRISTO
LIBROAMANTO
kötelező
Elfelejtett jelszó
Legyen része a világ minden tájáról összegyűlt könyvbarátok közösségének és élvezze a rengeteg előnyt. Ingyenes regisztráció
0
Ingyenes szállítás a FoxPost futárszolgálattal, 19 990 Ft feletti vásárlás esetén
DPD gyűjtőpont 990 Ft DPD futárszolgálat 1 190 Ft GLS pont 1 190 Ft Magyar Posta 1 795 Ft PostaPont / Csomagautomata 1 690 Ft Magyar Posta 1 690 Ft FoxPost 1 190 Ft Packeta 1 190 Ft GLS futár 1 690 Ft
phone Kapcsolat phoneHogyan vásároljunk
Ingyenes szállítás 19 990 Ft feletti rendelés esetén – Packeta, Fox Post Box és DPD csomagpont átvétellel

Tests and Proofs

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

Nyelv AngolAngol
Könyv Puha kötésű
Könyv Tests and Proofs Jasmin Christian Blanchette
Libristo kód: 09361553
Kiadó Springer International Publishing AG, június 2015
This book constitutes the refereed proceedings of the 9th International Conference on Tests and Proo... Teljes leírás
? points 130 b
19 042 Ft
Beszállítói készleten Küldés 5-8 napon belül

Akár 30 napos visszaküldési lehetőség

A vásárlók ilyet vásároltak

Gannibal 6 Masaaki Ninomiya / Könyv Puha kötésű
common.buy 3 329 Ft
Algorytmika praktyczna Stańczyk Piotr / Könyv Puha kötésű
common.buy 11 319 Ft
Hort- Bzw. Depotfunde Der Fr hbronzezeit in Mitteldeutschland Und Ihr Indikatorischer Wert F r Den Nachweis Sozialer Eliten Silvester Tamas / Könyv Puha kötésű
common.buy 6 249 Ft
Leggere la scuola. Antologia e laboratori per la scuola secondaria di primo grado Alice Bigli / Könyv Puha kötésű
common.buy 9 961 Ft
Chancen und Risiken im Category Management beim Aufbau einer Bio-Handelsmarke in der Drogeriebranche Philipp Voshege / Könyv Puha kötésű
common.buy 16 546 Ft
Nevyřešené záhady Egypta Magdalena Zachardová / Könyv Kemény kötésű
common.buy 3 887 Ft
Hameleony Gennadij Murzin / Könyv Puha kötésű
common.buy 15 464 Ft
Mesačná víla Samuel Salay / Könyv Kemény kötésű
common.buy 1 533 Ft
Salin Kaliske Helene Böhlau / Könyv Puha kötésű
common.buy 12 747 Ft
Enchantimals 01 - Au secours de Felicity ! Mattel / Könyv Puha kötésű
common.buy 3 316 Ft
Dikkat Kan Araniyor Zehra Ebrar Bakir / Könyv Puha kötésű
common.buy 4 278 Ft
Préhistoires d'Europe Lehoerff anne / Könyv Könyv
common.buy 11 784 Ft
Comptines pour se relaxer Gilles Diederichs / Könyv Puha kötésű
common.buy 6 456 Ft
Guarda Rural. Temario común para todas las modalidades Formación y Especialización en Seguridad (FYES) / Könyv Puha kötésű
common.buy 14 851 Ft

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.

Színésznő & Poliglott
EWA KASP részére
A videó lejátszása
Ewa Kasp
A Libristo rendelkezik az idegennyelvű könyvek legnagyobb kínálatával. Ezért vásárolom a könyveket itt.

Információ a könyvről

Teljes megnevezés Tests and Proofs
Szerző Jasmin Christian Blanchette, Nikolai Kosmatov
Nyelv Angol
Kötés Könyv - Puha kötésű
Kiadás éve 2015
Oldalszám 209
EAN 9783319212142
ISBN 3319212141
Libristo kód 09361553
Kiadó Springer International Publishing AG
Súly 3577
Méretek 155 x 235 x 14

Kategória

Számítástechnika és információtechnológia > Számítógépes programozás / szoftvermérnöki tudomány > Programozási és szoftveres nyelvek: általános jellegű
Számítástechnika és információtechnológia > Számítógépes programozás / szoftvermérnöki tudomány > Szoftvermérnöki tudomány
Számítástechnika és információtechnológia > Számítógéptudomány > Számítógéptudomány matematikai elmélete
Számítástechnika és információtechnológia > Számítógéptudomány > Komputermodellálás és szimuláció
Ajándékozza oda ezt a könyvet még ma
Nagyon egyszerű
1 Tegye a kosárba könyvet, és válassza ki a kiszállítás ajándékként opciót 2 Rögtön küldjük Önnek az utalványt 3 A könyv megérkezik a megajándékozott címére

Ezt is ajánljuk

Knowledge-Based Software Engineering: 2020 Hiroyuki Nakagawa / Könyv Kemény kötésű
common.buy 78 971 Ft
It Will Never Happen to Me: Growing Up with Addiction as Youngsters, Adolescents, and Adults Claudia Black / Könyv Puha kötésű
common.buy 5 549 Ft
Bonereapers Jeanne Matthews / Könyv Puha kötésű
common.buy 6 792 Ft
Larry Cohen Michael Doyle / Könyv Kemény kötésű
common.buy 19 990 Ft
Republic of Korea Health System Review Who Regional Office for the Western Paci / Könyv Puha kötésű
common.buy 10 016 Ft
Beastwalker Gama Ray Martinez / Könyv Puha kötésű
common.buy 4 964 Ft
Travels Through Central Africa to Timbuctoo and Across the Great Desert to Morocco, Performed in the Years 1824-28 Rene Caillie / Könyv Kemény kötésű
common.buy 26 097 Ft
Beautiful Book for Little Children John L Shorey / Könyv Puha kötésű
common.buy 5 899 Ft
Three Craws Melanie Mitchell / Könyv Leporelló
common.buy 2 892 Ft
Bantu Prophets in South Africa Bengt G. M. Sundkler / Könyv Puha kötésű
common.buy 19 829 Ft
Hamarosan
Department of Defense Posture for Artificial Intelligence William Shelton / Könyv Puha kötésű
common.buy 10 499 Ft
Coloring Book - I Spy: Coloring Book for Kids Ages 2-5 Year _ A Fun Guessing Game for Kids Dolly Bond School / Könyv Puha kötésű
common.buy 2 570 Ft
Policy-based Computing with SELINUX Nwamaka U. Okafor / Könyv Puha kötésű
common.buy 12 410 Ft
Ultimate Baby Food Cookbook Jayson Young / Könyv Puha kötésű
common.buy 3 606 Ft
Passage Justin Cronin / E-könyv Adobe ePub DRM
common.buy 1 547 Ft
Autodesk CFD 2023 Black Book Matt Weber / Könyv Kemény kötésű
common.buy 27 906 Ft
Cultural History of the Chinese Character "Ta ( , She)" Huang Xingtao / Könyv Kemény kötésű
common.buy 79 105 Ft
The World Almanac and Book of Facts 2024 Janssen / Könyv Kemény kötésű
common.buy 11 945 Ft
Recovery of degraded areas Bruno M. Araújo / Könyv Puha kötésű
common.buy 13 783 Ft
Postanarchism and Critical Art Practices Tihomir Topuzovski / Könyv Kemény kötésű
common.buy 45 005 Ft
Still Life Burke / Könyv Kemény kötésű
common.buy 8 703 Ft
20 Underwater Kingdom Bedtime Stories For Kids Age 3 - 8 Blume Potter / Könyv Kemény kötésű
common.buy 10 614 Ft
CCST Cisco Certified Support Technician Study Guide Todd Lammle / E-könyv Adobe ePub DRM
common.buy 20 165 Ft
Új
Lore of the Tides Analeigh Sbrana / Könyv Puha kötésű
common.buy 4 062 Ft

Belépés

Bejelentkezés a saját fiókba. Még nincs Libristo fiókja? Hozza létre most!

 
kötelező
kötelező
Elfelejtett jelszó

Nincs fiókja? Szerezze meg a Libristo fiók kedvezményeit!

A Libristo fióknak köszönhetően mindent a felügyelete alatt tarthat.

Libristo fiók létrehozása
Libroamiko könyvtanácsadó
Szia, Libroamiko vagyok, segíthetek?