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: Theorie, Tools, Experiments

5th International Conference, VSTTE 2013, Menlo Park, CA, USA, May 17-19, 2013, Revised Selected Papers

Jazyk AngličtinaAngličtina
Kniha Brožovaná
Kniha Verified Software: Theorie, Tools, Experiments Ernie Cohen
Libristo kód: 02433185
Nakladateľstvo Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, január 2014
This volume constitutes the thoroughly refereed post-conference proceedings of the 5th International... 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

Margherita Hack. La mia vita tra le stelle Simona Cerrato / Kniha Brožovaná
common.buy 15.06 €
Dance & love. La mia musica, la mia vita Gabry Ponte / Kniha Pevná
common.buy 20.52 €
Power Query w Excelu i Power BI. Zbieranie i przekształcanie danych Daniil Maslyuk / Kniha Brožovaná
common.buy 24.36 €
The Assent Unterwirf dich der Dunkelheit, 1 Blu-ray Pearry Reginald Teo / Video Blu-ray
common.buy 17.28 €
Kolorowanka. Kraina baśni. Wydanie 2022 Mariola Budek / Kniha Brožovaná
common.buy 4.44 €
Compras en Minutos Anthony Barrios / Kniha Brožovaná
common.buy 7.27 €
Une touche de bleu - Tome 04 Nozomi Suzuki / Kniha Brožovaná
common.buy 11.72 €
Iba s tebou Silvia Demovičová Simona / Kniha Pevná
common.buy 10.10 €
Kalangu Obonete S. Ubam / Kniha Pevná
common.buy 4.03 €
Consequencias clinicas da transmissao vertical de sifilis Claudio Quinan Balestrin Neto / Kniha Brožovaná
common.buy 29.41 €
SoC-basierte Erprobungsplattform fur CCD-Kameras mit Channel Link IF Ramin Jeyrani-Mameghani / Kniha Brožovaná
common.buy 49.94 €
El Castigador: Círculo de Sangre TSUMOTU NIHEI / Kniha Brožovaná
common.buy 25.98 €
Los musicatos: Y la caja de música ISABEL ASENSI LIDON / Kniha Brožovaná
common.buy 14.15 €
Vybrané kapitoly z klinické výživy II. Pavel Kohout / Kniha Brožovaná
common.buy 7.37 €
Auswanderung der protestantisch gesinnten Salzburger in den Jahren 1731 und 1732 Ludwig Clarus / Kniha Brožovaná
common.buy 35.68 €

This volume constitutes the thoroughly refereed post-conference proceedings of the 5th International Conference on Verified Software: Theories, Tools, and Experiments, VSTTE 2013, held in Menlo Park, CA, USA, in May 2013. The 17 revised full papers presented were carefully revised and selected from 35 submissions. The papers address a wide range of topics including education, requirements modeling, specification languages, specification/verification case-studies, formal calculi, software design methods, automatic code generation, refinement methodologies, compositional analysis, verification tools, tool integration, benchmarks, challenge problems, and integrated verification environments.

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: Theorie, Tools, Experiments
Autor Ernie Cohen, Andrey Rybalchenko
Jazyk Angličtina
Väzba Kniha - Brožovaná
Dátum vydania 2014
Počet strán 345
EAN 9783642541070
ISBN 3642541070
Libristo kód 02433185
Nakladateľstvo Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Váha 5504
Rozmery 155 x 235 x 20

Kategórie

Technológie, strojárstvo, poľnohospodárstvo > Elektronické a komunikačné inžinierstvo > Elektrotechnické inžinierstvo > Automatická kontrola v inžinierstve > Robotika
Výpočtové a informačné technológie > Počítačové programovanie/softvérové ​​inžinierstvo > Prekladače a interpretre
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 > Teória algoritmov
Výpočtové a informačné technológie > Informatika > Architektúra počítača a logic dizajn
Výpočtové a informačné technológie > Informatika > Umelá inteligencia
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ť

The Palgrave Handbook of Experimental Cinema Jonathan Walley / Kniha Brožovaná
common.buy 106.26 €
On Legitimacy in Global Governance Soren Hilbrich / Kniha Brožovaná
common.buy 116.88 €
HBR's 10 Must Reads on Strategy (including featured article &quote;What Is Strategy?&quote; by Michael E. Porter) Harvard Business Review / E-kniha Adobe ePub DRM
common.buy 29.11 €
Jane Austen: What Is Right To Be Done Memo Cube Insight Editions / Kniha Brožovaná
common.buy 15.16 €
Wytch Wars Sharon Anne Guthrie / Kniha Brožovaná
common.buy 9.80 €
Belinda Maria Edgeworth / Kniha Brožovaná
common.buy 10.71 €
WHERE I NEED TO BE Kimberly Knight / Kniha Brožovaná
common.buy 14.05 €
The Turtle Ship Helena Ku Rhee / Kniha Pevná
common.buy 18.09 €
Pripravujeme
Living in Provence René Stoeltie / Kniha Pevná
common.buy 22.84 €
What's my name? NEO Tiina Walsh / Kniha Brožovaná
common.buy 14.05 €
Learn from Me Fr Con Buckley / Kniha Brožovaná
common.buy 28.81 €
Live Successfully! Book No. 7 - How to Make Friends and be Persuasive Anon / Kniha Brožovaná
common.buy 13.84 €
Philosophical Issues in Pharmaceutics Dien Ho / Kniha Pevná
common.buy 102.93 €
Top
Kcd Boulet/Animal Spirit Susan Seddon Boulet / Tlačovina Karty
common.buy 11.01 €
Heirs of Salvation Gloria Laura Lavoie / Kniha Brožovaná
common.buy 12.73 €
Time-Frequency Analysis and Synthesis of Linear Signal Spaces Franz Hlawatsch / Kniha Brožovaná
common.buy 154.29 €
Religion and State in the American Jewish Experience Jonathan D. Sarna / Kniha Pevná
common.buy 98.58 €
Gentry Leaders In Peace And War Mary Wolffe / Kniha Pevná
common.buy 120.62 €
Cincinnati Day Trips Jennifer Renee Reed / Kniha Brožovaná
common.buy 18.29 €
Rome Franco Archibugi / Kniha Brožovaná
common.buy 63.79 €
New Initiatives On Lepton Flavor Violation And Neutrino Oscillation With High Intense Muon And Neutrino Sources William R Molzon / Kniha Pevná
common.buy 137.61 €
Look Back with Longing Suzanne Morris / Kniha Brožovaná
common.buy 18.90 €
Young Ladies Conduct John. Essex / Kniha Brožovaná
common.buy 21.83 €
Kingdoms & the Elves of the Reaches (Keeper Martin's Tales, Book 1) Robert Stanek / Kniha Brožovaná
common.buy 13.94 €

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ť?