Zjistit stav objednávky
LIBRISTO
LIBROAMANTO
povinné
Zapomenuté heslo
Staňte se součástí komunity milovníků knih z celého světa a získejte hromadu výhod. Založit účet zdarma
0
Doprava zdarma se Zásilkovnou nad 1 499 Kč
Kurýr DPD 69 Kč PPL shop 49 Kč Balíkovna 69 Kč PPL kurýr 74 Kč PPL box 39 Kč Balíkovna 49 Kč Výdejní místo DPD 49 Kč Zásilkovna 39 Kč
phone Kontakt phoneJak nakupovat
Doprava zdarma při nákupu nad 1 499 Kč přes Zásilkovnu nebo PPL Box.

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
Nakladatelství Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, září 2008
This volume contains the proceedings of the second working conference on Verified Software: Theories... Celý popis
? points 118 b
1 182 Kč
Skladem u dodavatele Odesíláme za 5-8 dnů

30 dní na vrácení zboží

Zákazníci také koupili

Innovation collaborative BOUCHEZ / Kniha Brožovaná
common.buy 888 Kč
Mundwerk Thomas Godoj / Audio Audio CD
common.buy 269 Kč
MIRADAS CLAVERO / Kniha Kniha
common.buy 574 Kč
Ethisches Argumentieren Katharina Klöcker / Kniha Brožovaná
common.buy 1 137 Kč
Les derniers jours de la gauche Barbier / Kniha Brožovaná
common.buy 583 Kč
Das Problem Einer Internationalen Orthographie-Reform (1901) Th Sprater / Kniha Brožovaná
common.buy 489 Kč
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 217 Kč
Česko dětem 2 / Tiskovina Mapa
common.buy 78 Kč
Ako sa Ela naučila vidieť neviditeľné Zuzana Líšková / Kniha Pevná
common.buy 168 Kč
Die wahre Geschichte von McDonald's Ray Kroc / Kniha Brožovaná
common.buy 347 Kč
Mirabilia CONRAD ROSET / Kniha Brožovaná
common.buy 525 Kč
Flux Attwenger / Audio Audio CD
common.buy 508 Kč
Tentateur LaCroix-J / Kniha Brožovaná
common.buy 628 Kč
Gesänge der Liebe Hans-Peter Kolb / Kniha Pevná
common.buy 529 Kč
Mein Mathe-Lernheft - Sachrechnen und Größen Jan Boesten / Kniha List
common.buy 94 Kč
Traumazentrierte Psychotherapie, Studienausgabe Ulrich Sachsse / Kniha Brožovaná
common.buy 865 Kč
Versuch einer neuen Theorie des menschlichen Vorstellungsvermögens. Teilband 2. Tl.2 Karl L. Reinhold / Kniha Pevná
common.buy 1 650 Kč
Frost Thomas Bernhard / Kniha Brožovaná
common.buy 289 Kč

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 pro
Přehrát video
Ewa Kasp
Libristo má největší výběr cizojazyčné literatury. Proto své knihy kupuji tady.

Informace o knize

Plný název Verified Software: Theories, Tools, Experiments
Autor Natarajan Shankar, Jim Woodcock
Jazyk Angličtina
Vazba Kniha - Brožovaná
Datum vydání 2008
Počet stran 263
EAN 9783540878728
ISBN 3540878726
Libristo kód 01570696
Nakladatelství Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Váha 427
Rozměry 155 x 235 x 16

Kategorie

Výpočetní a informační technologie > Počítačové programování/softwarové inženýrství > Algoritmy a datové struktury
Výpočetní a informační technologie > Počítačové programování/softwarové inženýrství > Překladače a interpretry
Výpočetní a informační technologie > Počítačové programování/softwarové inženýrství > Programovací a skriptovací jazyky: obecně
Výpočetní a informační technologie > Počítačové programování/softwarové inženýrství > Softwarové inženýrství
Výpočetní a informační technologie > Informatika > Teorie algoritmů
Výpočetní a informační technologie > Informatika > Architektura počítače a logic design
Výpočetní a informační technologie > Informatika > Umělá inteligence
Darujte tuto knihu ještě dnes
Je to snadné
1 Přidejte knihu do košíku a zvolte doručit jako dárek 2 Obratem vám zašleme poukaz 3 Kniha dorazí na adresu obdarovaného

Mohlo by vás také zajímat

Modular Specification and Verification of Object-Oriented Programs Peter Müller / Kniha Brožovaná
common.buy 1 182 Kč
The Angel Children Linda Emmanuel / Kniha Brožovaná
common.buy 299 Kč
ALABAMA MOON MTI Watt Key / Kniha Brožovaná
common.buy 242 Kč
Crime Scene Investigation Jacqueline T. (Charleston Southern University Fish / Kniha Brožovaná
common.buy 2 552 Kč
New London John J. Ruddy / Kniha Brožovaná
common.buy 474 Kč
Laws of Love Patricia Cohen / Kniha Brožovaná
common.buy 694 Kč
Key Words in Islam: Ron Geaves / Kniha Brožovaná
common.buy 546 Kč
All the Lives We Never Lived Anuradha Roy / E-kniha Adobe ePub DRM
common.buy 184 Kč
Analysis of Educational Challenges in the New South Africa Zandile P. Nkabinde / Kniha Brožovaná
common.buy 893 Kč
ILLUMINATIONS Mark Wilson / Kniha Brožovaná
common.buy 340 Kč
How to Do Homework Without Throwing Up Trevor Romain / Kniha Brožovaná
common.buy 217 Kč
Promise and Peril Will R. Jordan / Kniha Brožovaná
common.buy 556 Kč
Moonwalking with Einstein Joshua Foer / E-kniha Adobe ePub DRM
common.buy 398 Kč
Way to Do a Thing Is to Do It CARL WELLS / Kniha Brožovaná
common.buy 491 Kč
KOREAN GRAMMAR CANVAS - WORKBOOK for BEGINNERS 2 Miss Vicky / Kniha Brožovaná
common.buy 444 Kč
C.O.W.: Creatures of War Thomax Green / Kniha Brožovaná
common.buy 299 Kč
Alexander the Great W B Godbey / Kniha Brožovaná
common.buy 166 Kč
Diary of a Softball Girl Amy Ballantyne / Kniha Brožovaná
common.buy 299 Kč
Gratitude Coloring Book: For Mindfulness & Relaxation - Suitable For Women, Teenagers, Girls - Inspirational Zen Stress Relieving - Non Religio Sammie Lou / Kniha Brožovaná
common.buy 196 Kč
Top
Becoming Myself Irvin D. Yalom / Kniha Brožovaná
common.buy 334 Kč
Top
After the Rain 3 Jun Mayuzuki / Kniha Brožovaná
common.buy 324 Kč
Twice Bought Robert Michael Ballantyne / Kniha Brožovaná
common.buy 471 Kč
(Sur)real Melissa Haag / Kniha Brožovaná
common.buy 258 Kč
King Atterberry Ink Christine Jones / Kniha Brožovaná
common.buy 320 Kč

Přihlášení

Přihlaste se ke svému účtu. Ještě nemáte Libristo účet? Vytvořte si ho nyní!

 
povinné
povinné
Zapomenuté heslo

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

Díky Libristo účtu budete mít vše pod kontrolou.

Vytvořit Libristo účet
Knižní rádce Libroamiko
Ahoj, jsem Libroamiko, můžu pomoct?