Darmowa dostawa dla zamówień powyżej 299,00 zł.

Sprawdzić stan zamówienia

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

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ł

Kontakt

Jak kupować

Pomoc

Moje konto

▸ Pusty :-(

Darmowa dostawa dla zamówień powyżej 299,00 zł.

Verified Software. Theories, Tools, and Experiments

10th International Conference, VSTTE 2018, Oxford, UK, July 18-19, 2018, Revised Selected Papers

Ruzica Piskac

Philipp Rümmer

Język

Angielski

Książka Miękka

Kod Libristo: 20392651

Wydawnictwo Springer Nature Switzerland AG, listopad 2018

This volume constitutes the thoroughly refereed post-conference proceedings of the 10th Internationa... Cały opis

Kod Libristo: 20392651

125 b

221.36 zł

Dostępna u dostawcy Wysyłamy za 5-8 dni

Nawet do 30 dni na zwrot

Klienci kupili także

PoesÃ-as

Twarda

131.57 zł

Maregelvollzugsrecht Heinz Kammeier

Adobe ePub DRM

757.53 zł

Les conséquences sanitaires des eaux de crue sur la vie des habitants des bidonvilles Bulli Dibba

Miękka

168.00 zł

Une analyse de la biopolitique apr?s la révolution moléculaire Juan David Betancourt Ramirez

Miękka

236.37 zł

Vao Thiền NGUY N MINH

Miękka

42.50 zł

Weihnachtsbluten in Sitte und Sage Wilhelm Mannhardt

Miękka

69.18 zł

This volume constitutes the thoroughly refereed post-conference proceedings of the 10th International Conference on Verified Software: Theories, Tools, and Experiments, VSTTE 2018, held in Oxford, UK, in July 2018. The 19 full papers presented were carefully revised and selected from 24 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.