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 € Zberné miesto GLS 2.49 € SPS 3.99 € SPS Parcel Shop 2.99 € Packeta kurýr 3.99 € Pošta 3.99 € Zberné miesto DPD 2.99 € Kuriér GLS 3.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, Experiments

Second International Conference, VSTTE 2008, Toronto, Canada, October 6-9, 2008, Proceedings

Jazyk AngličtinaAngličtina
Kniha Brožovaná
Kniha Verified Software: Theories, Tools, Experiments Natarajan Shankar
Libristo kód: 01570696
Nakladateľstvo Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, september 2008
This volume contains the proceedings of the second working conference on Verified Software: Theories... Celý popis
? points 125 b
51.75 €
Skladom u dodávateľa Odosielame za 5-8 dní

30 dní na vrátenie tovaru

Zákazníci tiež kúpili

Innovation collaborative BOUCHEZ / Kniha Brožovaná
common.buy 36.76 €
Mundwerk Thomas Godoj / Audio Audio CD
common.buy 11.74 €
MIRADAS CLAVERO / Kniha Kniha
common.buy 23.79 €
Ethisches Argumentieren Katharina Klöcker / Kniha Brožovaná
common.buy 47.09 €
Les derniers jours de la gauche Barbier / Kniha Brožovaná
common.buy 24.10 €
Das Problem Einer Internationalen Orthographie-Reform (1901) Th Sprater / Kniha Brožovaná
common.buy 20.25 €
Feuilles de travail pour la thérapie cognitivo-comportementale pour la dépression: Manuel de CBT pour faire face ? l'humeur de contrôle de l'anxiété, Jacquelyn Lefebvre / Kniha Brožovaná
common.buy 9.00 €
Česko dětem 2 / Tlačovina Mapa
common.buy 3.53 €
Ako sa Ela naučila vidieť neviditeľné Zuzana Líšková / Kniha Pevná
common.buy 6.07 €
Die wahre Geschichte von McDonald's Ray Kroc / Kniha Brožovaná
common.buy 15.28 €
Mirabilia CONRAD ROSET / Kniha Brožovaná
common.buy 21.77 €
Flux Attwenger / Audio Audio CD
common.buy 22.07 €
Tentateur LaCroix-J / Kniha Brožovaná
common.buy 26.02 €
Gesänge der Liebe Hans-Peter Kolb / Kniha Pevná
common.buy 23.28 €
Mein Mathe-Lernheft - Sachrechnen und Größen Jan Boesten / Kniha List
common.buy 4.04 €
Traumazentrierte Psychotherapie, Studienausgabe Ulrich Sachsse / Kniha Brožovaná
common.buy 37.87 €
Versuch einer neuen Theorie des menschlichen Vorstellungsvermögens. Teilband 2. Tl.2 Karl L. Reinhold / Kniha Pevná
common.buy 68.25 €
Frost Thomas Bernhard / Kniha Brožovaná
common.buy 12.65 €

This volume contains the proceedings of the second working conference on Verified Software: Theories, Tools, and Experiments, VSTTE 2008, held in Toronto, Canada, in October 2008. §The 16 papers presented together with 4 invited talks were carefully revised and selected for inclusion in the book. This second conference formally inaugurates the Verified Software Initiative (VSI), a fifteen-year, co-operative, international project directed at the scientific challenges of large-scale software verification. The scope of the cooperative effort includes the sharing and interoperability of tools, the alignment of theory and practice, the identification of challenge problems, the construction of benchmark suites, and the execution of large-scale experiments.

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, Experiments
Autor Natarajan Shankar, Jim Woodcock
Jazyk Angličtina
Väzba Kniha - Brožovaná
Dátum vydania 2008
Počet strán 263
EAN 9783540878728
ISBN 3540878726
Libristo kód 01570696
Nakladateľstvo Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Váha 427
Rozmery 155 x 235 x 16

Kategórie

Výpočtové a informačné technológie > Počítačové programovanie/softvérové ​​inžinierstvo > Algoritmy a dátové štruktúry
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ť

Modular Specification and Verification of Object-Oriented Programs Peter Müller / Kniha Brožovaná
common.buy 51.75 €
The Angel Children Linda Emmanuel / Kniha Brožovaná
common.buy 12.35 €
ALABAMA MOON MTI Watt Key / Kniha Brožovaná
common.buy 10.02 €
New London John J. Ruddy / Kniha Brožovaná
common.buy 19.64 €
Laws of Love Patricia Cohen / Kniha Brožovaná
common.buy 30.27 €
Key Words in Islam: Ron Geaves / Kniha Brožovaná
common.buy 22.58 €
All the Lives We Never Lived Anuradha Roy / E-kniha Adobe ePub DRM
common.buy 7.59 €
Analysis of Educational Challenges in the New South Africa Zandile P. Nkabinde / Kniha Brožovaná
common.buy 38.98 €
ILLUMINATIONS Mark Wilson / Kniha Brožovaná
common.buy 14.07 €
How to Do Homework Without Throwing Up Trevor Romain / Kniha Brožovaná
common.buy 9.61 €
Promise and Peril Will R. Jordan / Kniha Brožovaná
common.buy 22.98 €
Moonwalking with Einstein Joshua Foer / E-kniha Adobe ePub DRM
common.buy 16.50 €
Way to Do a Thing Is to Do It CARL WELLS / Kniha Brožovaná
common.buy 20.35 €
KOREAN GRAMMAR CANVAS - WORKBOOK for BEGINNERS 2 Miss Vicky / Kniha Brožovaná
common.buy 19.33 €
C.O.W.: Creatures of War Thomax Green / Kniha Brožovaná
common.buy 12.35 €
Alexander the Great W B Godbey / Kniha Brožovaná
common.buy 6.88 €
Diary of a Softball Girl Amy Ballantyne / Kniha Brožovaná
common.buy 12.35 €
Gratitude Coloring Book: For Mindfulness & Relaxation - Suitable For Women, Teenagers, Girls - Inspirational Zen Stress Relieving - Non Religio Sammie Lou / Kniha Brožovaná
common.buy 8.09 €
Top
Becoming Myself Irvin D. Yalom / Kniha Brožovaná
common.buy 14.78 €
Top
After the Rain 3 Jun Mayuzuki / Kniha Brožovaná
common.buy 13.36 €
Twice Bought Robert Michael Ballantyne / Kniha Brožovaná
common.buy 19.44 €
(Sur)real Melissa Haag / Kniha Brožovaná
common.buy 10.62 €
King Atterberry Ink Christine Jones / Kniha Brožovaná
common.buy 13.26 €
Digital Renaissance Joel Waldfogel / Kniha Brožovaná
common.buy 21.56 €

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