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 Kurier 12.99 zł Punkt DPD 13.99 zł
phone Kontakt phoneJak kupować
Darmowa dostawa dla zamówień powyżej 299,00 zł.

Verified Software. Theories, Tools, and Experiments

9th International Conference, VSTTE 2017, Heidelberg, Germany, July 22-23, 2017, Revised Selected Papers

Język AngielskiAngielski
Książka Miękka
Książka Verified Software. Theories, Tools, and Experiments Andrei Paskevich
Kod Libristo: 18622645
Wydawnictwo Springer International Publishing AG, grudzień 2017
This volume constitutes the thoroughly refereed post-conference proceedings of the 9th International... Cały opis
? points 125 b
221.48 zł
Dostępna u dostawcy Wysyłamy za 5-8 dni

Nawet do 30 dni na zwrot

Klienci kupili także

Zeszyt 3 linie z tłem niebieski Praca Zbiorowa / Książka Miękka
common.buy 11.46 zł
Saga Dune 1-6. La mayor epopeya de todos los tiempos Frank Herbert / Książka Miękka
common.buy 240.76 zł
Alle Arten von Karma / Książka Miękka
common.buy 73.48 zł
Zapowiedź
Le Code Secret Priya Hemenway / Książka Twarda
common.buy 68.00 zł
SLYTHERIN J.K. ROWLING / Książka Miękka
common.buy 56.33 zł
Pamiętnik z powstania warszawskiego Mirona Białoszewskiego. Wojciechowska Małgorzata / Książka Miękka
common.buy 9.73 zł
Camino de servidumbre Friedrich A. von Hayek / Książka Miękka
common.buy 72.46 zł
TOP
Prufungstraining DaF Jürgen Weigmann / Książka Miękka
common.buy 98.86 zł
Paganismo, ?En Tu Cristianismo? Barna / Książka Miękka
common.buy 63.43 zł
BA MUNCH GERMAN Ulrich Bischoff / Książka Twarda
common.buy 58.15 zł
Black and White - The Jazz Piano, Bildband und 4 Audio-CDs Peter Bölke / Książka Twarda
common.buy 227.16 zł
Asterix - Asterix Gallus Rene Goscinny / Książka Twarda
common.buy 84.65 zł

This volume constitutes the thoroughly refereed post-conference proceedings of the 9th International Conference on Verified Software: Theories, Tools, and Experiments, VSTTE 2017, held in Heidelberg, Germany, in July 2017. The 12 full papers presented were carefully revised and selected from 20 submissions. The papers describe large-scale verification efforts that involve collaboration, theory unification, tool integration, and formalized domain knowledge as well as novel experiments and case studies evaluating verification techniques and technologies.

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 Verified Software. Theories, Tools, and Experiments
Autor Andrei Paskevich, Thomas Wies
Język Angielski
Oprawa Książka - Miękka
Data wydania 2017
Liczba stron 211
EAN 9783319723075
ISBN 3319723073
Kod Libristo 18622645
Wydawnictwo Springer International Publishing AG
Waga 454
Wymiary 155 x 235 x 10

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) > Modelowanie i symulacje komputerowe
Informatyka i technologie informacyjne (IT) > Informatyka (nauka) > Sztuczna inteligencja
Informatyka i technologie informacyjne (IT) > Technologia informacyjna (IT) – zagadnienia ogólne
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ć

Living Faiths Buddhism Student Book CONSTANCE / Książka Miękka
common.buy 112.66 zł
Top Hits from TV, Movies & Musicals Instrumental Solos Alfred Publishing / Książka Miękka
common.buy 119.06 zł
Yugoslav Fighter Colours 1918-1941. Volume 1 Djordie Nikolic / Książka Twarda
common.buy 187.27 zł
TOP
Nordic Tales Chronicle Books / Książka Twarda
common.buy 89.62 zł
TOP Zapowiedź
Textures from Nature in Textile Art Marian Jazmik / Książka Twarda
common.buy 104.14 zł
Microdosing with Amanita Muscaria Baba Masha / Książka Miękka
common.buy 67.69 zł
Lizards and Snakes of Alabama Craig Guyer / Książka Miękka
common.buy 138.14 zł
Wilhelm Von Humboldts Linguistical Studies George J Adler / Książka Miękka
common.buy 91.04 zł
Untranslatable Julia Klatt Singer / Książka Miękka
common.buy 53.69 zł
My Favorite Thing Is Monsters Emil Ferris / Książka Miękka
common.buy 146.36 zł
TOP
Leaders Eat Last Simon Sinek / Książka Twarda
common.buy 98.15 zł
On Kindness Adam Phillips / Książka Miękka
common.buy 58.25 zł
TOP
Becoming a Supple Leopard Kelly Starrett / Książka Twarda
common.buy 225.03 zł
High-Tech High-Touch Recruiting Barbara Bruno / Książka Miękka
common.buy 188.99 zł
Unlocking Employment Law Chris Turner / E-book Adobe ePub DRM
common.buy 319.63 zł
TOP
No One Belongs Here More Than You Miranda July / Książka Miękka
common.buy 41.81 zł
Management 3.0 Jurgen Appelo / Książka Miękka
common.buy 187.47 zł
Conquest of Gaul Julius Caesar / Książka Miękka
common.buy 42.52 zł
TOP
This Time It's Real Ann Liang / Książka Miękka
common.buy 39.17 zł
Definitive Guide to ARM (R) Cortex (R)-M3 and Cortex (R)-M4 Processors Joseph Yiu / Książka Miękka
common.buy 261.37 zł
Gender in STEM Education in the Arab Gulf Countries Martina Dickson / E-book Adobe ePub DRM
common.buy 745.55 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?