Zistiť stav objednávky
LIBRISTO
LIBROAMANTO
povinné
Zabudnuté heslo
Staňte sa súčasťou komunity milovníkov kníh z celého sveta a získajte hromadu výhod. Založiť účet zdarma
0
Doprava zadarmo s Packetou nad 59.99 €
Kuriér DPD 2.99 € Kuriér GLS 3.99 € Zberné miesto GLS 2.49 € SPS 3.99 € SPS Parcel Shop 2.99 € Packeta kurýr 3.99 € Slovenská pošta 3.99 € Zberné miesto DPD 2.99 € Packeta 2.99 €
phone Kontakt phoneAko nakupovať
Doprava zdarma pre objednávky nad 59,99 € s Packetou a SPS Boxmi.

Verified Software. Theories, Tools, and Experiments

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

Jazyk AngličtinaAngličtina
Kniha Brožovaná
Kniha Verified Software. Theories, Tools, and Experiments Ruzica Piskac
Libristo kód: 20392651
Nakladateľstvo Springer Nature Switzerland AG, november 2018
This volume constitutes the thoroughly refereed post-conference proceedings of the 10th Internationa... Celý popis
? points 125 b
51.66 €
Skladom u dodávateľa Odosielame za 5-8 dní

Až 30 dní na vrátenie tovaru

Zákazníci tiež kúpili

PoesÃ-as / Kniha Pevná
common.buy 29.21 €
Maregelvollzugsrecht Heinz Kammeier / E-kniha Adobe ePub DRM
common.buy 178.66 €
Les conséquences sanitaires des eaux de crue sur la vie des habitants des bidonvilles Bulli Dibba / Kniha Brožovaná
common.buy 39.22 €
Une analyse de la biopolitique apr?s la révolution moléculaire Juan David Betancourt Ramirez / Kniha Brožovaná
common.buy 55.10 €
Vao Thiền NGUY N MINH / Kniha Brožovaná
common.buy 9.39 €
Weihnachtsbluten in Sitte und Sage Wilhelm Mannhardt / Kniha Brožovaná
common.buy 16.17 €

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.

Herečka & Polyglotka
EWA KASP pre
Prehrať video
Ewa Kasp
Libristo má najväčší výber cudzojazyčnej literatúry. Preto si knihy kupujem tu.

Informácie o knihe

Celý názov Verified Software. Theories, Tools, and Experiments
Autor Ruzica Piskac, Philipp Rümmer
Jazyk Angličtina
Väzba Kniha - Brožovaná
Dátum vydania 2018
Počet strán 345
EAN 9783030035914
Libristo kód 20392651
Nakladateľstvo Springer Nature Switzerland AG
Váha 557
Rozmery 155 x 235 x 20

Kategórie

Výpočtové a informačné technológie > Informatika > Umelá inteligencia > Expertné systémy/systémy založené na vedomostiach
Výpočtové a informačné technológie > Počítačové programovanie/softvérové ​​inžinierstvo > Programovacie a skriptovacie jazyky: všeobecne
Výpočtové a informačné technológie > Počítačové programovanie/softvérové ​​inžinierstvo > Softvérové ​​inžinierstvo
Výpočtové a informačné technológie > Informatika > Systémová analýza a systémový dizajn
Výpočtové a informačné technológie > Informačné technológie: všeobecné témy
Darujte túto knihu ešte dnes
Je to jednoduché
1 Pridajte knihu do košíka a vyberte možnosť doručiť ako darček 2 Obratom Vám zašleme poukaz 3 Knihu zašleme na adresu obdarovaného

Mohlo by vás tiež zaujímať

Garage Sale Diamonds Suzi Weinert / Kniha Brožovaná
common.buy 18.39 €
Lost Children Timothy Shay Arthur / Kniha Pevná
common.buy 38.21 €
Chapters of a Life John Nieman / Kniha Brožovaná
common.buy 16.57 €
Stressbusters: Tips to Feel Healthy, Alive and Energized Katherine Butler / Kniha Pevná
common.buy 19.61 €
Empires and the Reach of the Global Tony Ballantyne / Kniha Brožovaná
common.buy 34.77 €
The Reluctant Dragon Kenneth Grahame / Kniha Brožovaná
common.buy 8.28 €
Human Aura WILLIAM WA ATKINSON / Kniha Pevná
common.buy 27.39 €
The Wisdom of Solomon 1917 W. O. E. Oesterley / Kniha Pevná
common.buy 33.66 €
Crayola (R) Insect Colors / Kniha Brožovaná
common.buy 8.89 €
les Cles de la PNL ROMAIN MARY / Kniha Brožovaná
common.buy 17.58 €

Prihlásenie

Prihláste sa k svojmu účtu. Ešte nemáte Libristo účet? Vytvorte si ho teraz!

 
povinné
povinné
Zabudnuté heslo

Nemáte účet? Získajte výhody Libristo účtu!

Vďaka Libristo účtu budete mať všetko pod kontrolou.

Vytvoriť Libristo účet
Knižný radca Libroamiko
Ahoj, som Libroamiko, môžem pomôcť?