Sprawdzić stan zamówienia
LIBRISTO
LIBROAMANTO
obowiązkowe
Zapomniane hasło
Zostań członkiem wspólnoty miłośników książek z całego świata i zyskaj mnóstwo korzyści. Załóż konto bezpłatnie
0
Darmowa dostawa z usługą Inpost oraz Orlen od 299.00 zł
DPD Kurier 12.99 zł Poczta Polska 18.99 zł Paczkomat 13.99 zł InPost 12.99 zł Punkt DPD 13.99 zł
phone Kontakt phoneJak kupować
Darmowa dostawa dla zamówień powyżej 299,00 zł.

Tests and Proofs

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

Język AngielskiAngielski
Książka Miękka
Książka Tests and Proofs Jasmin Christian Blanchette
Kod Libristo: 09361553
Wydawnictwo Springer International Publishing AG, czerwiec 2015
This book constitutes the refereed proceedings of the 9th International Conference on Tests and Proo... Cały opis
? points 120 b
210.08 zł
Dostępna u dostawcy Wysyłamy za 5-8 dni

30 dni na zwrot towaru

Klienci kupili także

Gannibal 6 Masaaki Ninomiya / Książka Miękka
common.buy 36.39 zł
Algorytmika praktyczna Stańczyk Piotr / Książka Miękka
common.buy 119.52 zł
Hort- Bzw. Depotfunde Der Fr hbronzezeit in Mitteldeutschland Und Ihr Indikatorischer Wert F r Den Nachweis Sozialer Eliten Silvester Tamas / Książka Miękka
common.buy 68.58 zł
Leggere la scuola. Antologia e laboratori per la scuola secondaria di primo grado Alice Bigli / Książka Miękka
common.buy 112.91 zł
Chancen und Risiken im Category Management beim Aufbau einer Bio-Handelsmarke in der Drogeriebranche Philipp Voshege / Książka Miękka
common.buy 181.30 zł
Nevyřešené záhady Egypta Magdalena Zachardová / Książka Twarda
common.buy 46.52 zł
Hameleony Gennadij Murzin / Książka Miękka
common.buy 169.46 zł
Cahiers du Cinéma N°754 - Herbier - avril 2019 / Książka Miękka
common.buy 39.00 zł
Mesačná víla Samuel Salay / Książka Twarda
common.buy 18.34 zł
Salin Kaliske Helene Böhlau / Książka Miękka
common.buy 139.68 zł
Enchantimals 01 - Au secours de Felicity ! Mattel / Książka Miękka
common.buy 39.70 zł
Dikkat Kan Araniyor Zehra Ebrar Bakir / Książka Miękka
common.buy 47.42 zł
Préhistoires d'Europe Lehoerff anne / Książka Książka
common.buy 141.08 zł
Comptines pour se relaxer Gilles Diederichs / Książka Miękka
common.buy 77.01 zł
Guarda Rural. Temario común para todas las modalidades Formación y Especialización en Seguridad (FYES) / Książka Miękka
common.buy 178.19 zł

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.

Aktorka & Poliglotka
EWA KASP dla
Odtworzyć wideo
Ewa Kasp
Libristo ma największy wybór literatury obcojęzycznej. Dlatego tutaj kupuję swoje książki.

Informacje o książce

Pełna nazwa Tests and Proofs
Autor Jasmin Christian Blanchette, Nikolai Kosmatov
Język Angielski
Oprawa Książka - Miękka
Data wydania 2015
Liczba stron 209
EAN 9783319212142
ISBN 3319212141
Kod Libristo 09361553
Wydawnictwo Springer International Publishing AG
Waga 3577
Wymiary 155 x 235 x 14

Kategoria

Informatyka i technologie informacyjne (IT) > Programowanie komputerowe i tworzenie oprogramowania > Języki skryptowe – zagadnienia ogólne
Informatyka i technologie informacyjne (IT) > Programowanie komputerowe i tworzenie oprogramowania > Inżynieria oprogramowania
Informatyka i technologie informacyjne (IT) > Informatyka (nauka) > Matematyczna teoria obliczeń
Informatyka i technologie informacyjne (IT) > Informatyka (nauka) > Modelowanie i symulacje komputerowe
Podaruj tę książkę jeszcze dziś
To łatwe
1 Dodaj książkę do koszyka i wybierz „dostarczyć jako prezent” 2 W odpowiedzi wyślemy Ci bon 3 Książka dotrze na adres obdarowanego

Mogłoby Cię także zainteresować

Knowledge-Based Software Engineering: 2020 Hiroyuki Nakagawa / Książka Twarda
common.buy 871.12 zł
It Will Never Happen to Me: Growing Up with Addiction as Youngsters, Adolescents, and Adults Claudia Black / Książka Miękka
common.buy 60.56 zł
Bonereapers Jeanne Matthews / Książka Miękka
common.buy 72.79 zł
Larry Cohen Michael Doyle / Książka Twarda
common.buy 222.31 zł
Republic of Korea Health System Review Who Regional Office for the Western Paci / Książka Miękka
common.buy 112.20 zł
Beastwalker Gama Ray Martinez / Książka Miękka
common.buy 55.14 zł
Travels Through Central Africa to Timbuctoo and Across the Great Desert to Morocco, Performed in the Years 1824-28 Rene Caillie / Książka Twarda
common.buy 292.11 zł
Beautiful Book for Little Children John L Shorey / Książka Miękka
common.buy 64.57 zł
Three Craws Melanie Mitchell / Książka Leporelo
common.buy 32.58 zł
Bantu Prophets in South Africa Bengt G. M. Sundkler / Książka Miękka
common.buy 221.91 zł
Zapowiedź
Department of Defense Posture for Artificial Intelligence William Shelton / Książka Miękka
common.buy 119.92 zł
Coloring Book - I Spy: Coloring Book for Kids Ages 2-5 Year _ A Fun Guessing Game for Kids Dolly Bond School / Książka Miękka
common.buy 28.57 zł
Policy-based Computing with SELINUX Nwamaka U. Okafor / Książka Miękka
common.buy 135.97 zł
Ultimate Baby Food Cookbook Jayson Young / Książka Miękka
common.buy 39.90 zł
Passage Justin Cronin / E-book Adobe ePub DRM
common.buy 18.54 zł
Autodesk CFD 2023 Black Book Matt Weber / Książka Twarda
common.buy 310.56 zł
Cultural History of the Chinese Character "Ta ( , She)" Huang Xingtao / Książka Twarda
common.buy 885.56 zł
The World Almanac and Book of Facts 2024 Janssen / Książka Twarda
common.buy 134.27 zł
Recovery of degraded areas Bruno M. Araújo / Książka Miękka
common.buy 151.01 zł
Postanarchism and Critical Art Practices Tihomir Topuzovski / Książka Twarda
common.buy 487.95 zł
Still Life Burke / Książka Twarda
common.buy 94.86 zł
20 Underwater Kingdom Bedtime Stories For Kids Age 3 - 8 Blume Potter / Książka Twarda
common.buy 118.12 zł
CCST Cisco Certified Support Technician Study Guide Todd Lammle / E-book Adobe ePub DRM
common.buy 220.41 zł
Nowość
Lore of the Tides Analeigh Sbrana / Książka Miękka
common.buy 45.82 zł

Logowanie

Zaloguj się do swojego konta. Nie masz jeszcze konta Libristo? Utwórz je teraz!

 
obowiązkowe
obowiązkowe
Zapomniane hasło

Nie masz konta? Zyskaj korzyści konta Libristo!

Dzięki kontu Libristo będziesz mieć wszystko pod kontrolą.

Utwórz konto Libristo
Doradca książkowy Libroamiko
Cześć, jestem Libroamiko, w czym mogę pomóc?