Status van bestelling controleren
LIBRISTO
LIBROAMANTO
verplicht
Wachtwoord vergeten
Word lid van een gemeenschap van boekenliefhebbers van over de hele wereld en krijg een heleboel voordelen. Gratis account aanmaken
0
Gratis bezorging met Zásilkovna boven 59.99 €
DPD koerier 5.49 € DHL koeriersdienst 5.49 € GLS koerier 4.99 € DPD-punt 3.99 €
phone Contact phoneHoe winkelen bij ons werkt
Gratis verzending vanaf 59,99 euro.

Tests and Proofs

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

Taal EngelsEngels
Boek Gebonden (paperback)
Boek Tests and Proofs Jasmin Christian Blanchette
Libristo-code: 09361553
Uitgeverij Springer International Publishing AG, juni 2015
This book constitutes the refereed proceedings of the 9th International Conference on Tests and Proo... Volledige beschrijving
? points 120 b
49.62 €
In extern magazijn Wordt binnen 5-8 dagen verzonden

Retourneren binnen 30 dagen

Klanten kochten ook

Gannibal 6 Masaaki Ninomiya / Boek Gebonden (paperback)
common.buy 8.60 €
Algorytmika praktyczna Stańczyk Piotr / Boek Gebonden (paperback)
common.buy 32.10 €
Hort- Bzw. Depotfunde Der Fr hbronzezeit in Mitteldeutschland Und Ihr Indikatorischer Wert F r Den Nachweis Sozialer Eliten Silvester Tamas / Boek Gebonden (paperback)
common.buy 16.20 €
Leggere la scuola. Antologia e laboratori per la scuola secondaria di primo grado Alice Bigli / Boek Gebonden (paperback)
common.buy 27.94 €
Chancen und Risiken im Category Management beim Aufbau einer Bio-Handelsmarke in der Drogeriebranche Philipp Voshege / Boek Gebonden (paperback)
common.buy 42.83 €
Nevyřešené záhady Egypta Magdalena Zachardová / Boek Gebonden (harde band)
common.buy 11.03 €
Hameleony Gennadij Murzin / Boek Gebonden (paperback)
common.buy 40.10 €
Cahiers du Cinéma N°754 - Herbier - avril 2019 / Boek Gebonden (paperback)
common.buy 9.21 €
Mesačná víla Samuel Salay / Boek Gebonden (harde band)
common.buy 4.35 €
Salin Kaliske Helene Böhlau / Boek Gebonden (paperback)
common.buy 33.01 €
Enchantimals 01 - Au secours de Felicity ! Mattel / Boek Gebonden (paperback)
common.buy 9.41 €
Dikkat Kan Araniyor Zehra Ebrar Bakir / Boek Gebonden (paperback)
common.buy 11.23 €
Préhistoires d'Europe Lehoerff anne / Boek Boek
common.buy 33.31 €
Comptines pour se relaxer Gilles Diederichs / Boek Gebonden (paperback)
common.buy 18.22 €
Guarda Rural. Temario común para todas las modalidades Formación y Especialización en Seguridad (FYES) / Boek Gebonden (paperback)
common.buy 42.12 €

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.

Actrice & Polyglot
EWA KASP voor
Video afspelen
Ewa Kasp
Libristo heeft de grootste selectie boeken in vreemde talen. Daarom koop ik mijn boeken hier.

Informatie over het boek

Volledige naam Tests and Proofs
Auteur Jasmin Christian Blanchette, Nikolai Kosmatov
Taal Engels
Bindwijze Boek - Gebonden (paperback)
Datum van uitgifte 2015
Aantal pagina's 209
EAN 9783319212142
ISBN 3319212141
Libristo-code 09361553
Uitgeverij Springer International Publishing AG
Gewicht 3577
Afmetingen 155 x 235 x 14

Categorieën

Informatica en informatietechnologie > Computerprogrammering / softwareontwikkeling > Programmeren en scripttalen: algemeen
Informatica en informatietechnologie > Computerprogrammering / softwareontwikkeling > Softwareontwikkeling
Informatica en informatietechnologie > Informatica > Wiskundige systeemtheorie
Informatica en informatietechnologie > Informatica > Computermodellering en -simulatie
Geef dit boek vandaag nog cadeau
Dat gaat heel eenvoudig
1 Voeg het boek toe aan je winkelwagentje en selecteer Als cadeau bezorgen 2 Je krijgt van ons per omgaand een voucher 3 Het boek wordt bezorgd op het adres van de ontvanger

Dit vind je misschien ook interessant

Knowledge-Based Software Engineering: 2020 Hiroyuki Nakagawa / Boek Gebonden (harde band)
common.buy 206.00 €
It Will Never Happen to Me: Growing Up with Addiction as Youngsters, Adolescents, and Adults Claudia Black / Boek Gebonden (paperback)
common.buy 14.27 €
Bonereapers Jeanne Matthews / Boek Gebonden (paperback)
common.buy 17.21 €
Larry Cohen Michael Doyle / Boek Gebonden (harde band)
common.buy 52.56 €
Republic of Korea Health System Review Who Regional Office for the Western Paci / Boek Gebonden (paperback)
common.buy 26.53 €
Beastwalker Gama Ray Martinez / Boek Gebonden (paperback)
common.buy 13.06 €
Travels Through Central Africa to Timbuctoo and Across the Great Desert to Morocco, Performed in the Years 1824-28 Rene Caillie / Boek Gebonden (harde band)
common.buy 69.06 €
Beautiful Book for Little Children John L Shorey / Boek Gebonden (paperback)
common.buy 15.28 €
Three Craws Melanie Mitchell / Boek Leporello (harmonicaboek)
common.buy 8.19 €
Bantu Prophets in South Africa Bengt G. M. Sundkler / Boek Gebonden (paperback)
common.buy 52.45 €
Wordt verwacht
Department of Defense Posture for Artificial Intelligence William Shelton / Boek Gebonden (paperback)
common.buy 29.77 €
Coloring Book - I Spy: Coloring Book for Kids Ages 2-5 Year _ A Fun Guessing Game for Kids Dolly Bond School / Boek Gebonden (paperback)
common.buy 6.78 €
Policy-based Computing with SELINUX Nwamaka U. Okafor / Boek Gebonden (paperback)
common.buy 32.10 €
Ultimate Baby Food Cookbook Jayson Young / Boek Gebonden (paperback)
common.buy 9.41 €
Passage Justin Cronin / E-book Adobe ePub DRM
common.buy 4.35 €
Autodesk CFD 2023 Black Book Matt Weber / Boek Gebonden (harde band)
common.buy 73.42 €
Cultural History of the Chinese Character "Ta ( , She)" Huang Xingtao / Boek Gebonden (harde band)
common.buy 209.34 €
The World Almanac and Book of Facts 2024 Janssen / Boek Gebonden (harde band)
common.buy 33.82 €
Recovery of degraded areas Bruno M. Araújo / Boek Gebonden (paperback)
common.buy 35.74 €
Postanarchism and Critical Art Practices Tihomir Topuzovski / Boek Gebonden (harde band)
common.buy 127.51 €
Still Life Burke / Boek Gebonden (harde band)
common.buy 22.37 €
20 Underwater Kingdom Bedtime Stories For Kids Age 3 - 8 Blume Potter / Boek Gebonden (harde band)
common.buy 27.94 €
CCST Cisco Certified Support Technician Study Guide Todd Lammle / E-book Adobe ePub DRM
common.buy 52.05 €
Nieuw
Lore of the Tides Analeigh Sbrana / Boek Gebonden (paperback)
common.buy 11.54 €

Inloggen

Log in op je account. Heb je nog geen Libristo-account? Maak nu een account aan!

 
verplicht
verplicht
Wachtwoord vergeten

Heb je geen account? Profiteer van de voordelen van een Libristo-account!

Met een Libristo-account heb je alles onder controle.

Een Libristo-account aanmaken
Boekadviseur Libroamiko
Hoi, ik ben Libroamiko, kan ik helpen?