Sprawdzić stan zamówienia
LIBRISTO
LIBROAMANTO
obowiązkowe
Zapomniane hasło
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
0
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 12.99 zł Punkt DPD 13.99 zł
phone Kontakt phoneJak kupować
Darmowa dostawa dla zamówień powyżej 299,00 zł.

Verified Software: Theories, Tools, Experiments

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

Język AngielskiAngielski
Książka Miękka
Książka Verified Software: Theories, Tools, Experiments Natarajan Shankar
Kod Libristo: 01570696
Wydawnictwo Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, wrzesień 2008
This volume contains the proceedings of the second working conference on Verified Software: Theories... Cały opis
? points 125 b
218.99 zł
Dostępna u dostawcy Wysyłamy za 5-8 dni

30 dni na zwrot towaru

Klienci kupili także

Innovation collaborative BOUCHEZ / Książka Miękka
common.buy 155.56 zł
Mundwerk Thomas Godoj / Audio CD Audio
common.buy 49.57 zł
MIRADAS CLAVERO / Książka Książka
common.buy 100.56 zł
Ethisches Argumentieren Katharina Klöcker / Książka Miękka
common.buy 199.22 zł
Les derniers jours de la gauche Barbier / Książka Miękka
common.buy 102.16 zł
Das Problem Einer Internationalen Orthographie-Reform (1901) Th Sprater / Książka Miękka
common.buy 90.02 zł
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 / Książka Miękka
common.buy 39.94 zł
Česko dětem 2 / Prasa Mapa
common.buy 14.14 zł
Ako sa Ela naučila vidieť neviditeľné Zuzana Líšková / Książka Twarda
common.buy 29.60 zł
Die wahre Geschichte von McDonald's Ray Kroc / Książka Miękka
common.buy 64.83 zł
Mirabilia CONRAD ROSET / Książka Miękka
common.buy 91.93 zł
Flux Attwenger / Audio CD Audio
common.buy 93.33 zł
Tentateur LaCroix-J / Książka Miękka
common.buy 115.41 zł
Gesänge der Liebe Hans-Peter Kolb / Książka Twarda
common.buy 98.45 zł
Mein Mathe-Lernheft - Sachrechnen und Größen Jan Boesten / Książka Karta
common.buy 17.35 zł
Traumazentrierte Psychotherapie, Studienausgabe Ulrich Sachsse / Książka Miękka
common.buy 160.48 zł
Versuch einer neuen Theorie des menschlichen Vorstellungsvermögens. Teilband 2. Tl.2 Karl L. Reinhold / Książka Twarda
common.buy 289.05 zł
Frost Thomas Bernhard / Książka Miękka
common.buy 53.79 zł

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.

Aktorka & Poliglotka
EWA KASP dla
Odtworzyć wideo
Ewa Kasp
Libristo ma największy wybór literatury obcojęzycznej. Dlatego tutaj kupuję swoje książki.

Informacje o książce

Pełna nazwa Verified Software: Theories, Tools, Experiments
Autor Natarajan Shankar, Jim Woodcock
Język Angielski
Oprawa Książka - Miękka
Data wydania 2008
Liczba stron 263
EAN 9783540878728
ISBN 3540878726
Kod Libristo 01570696
Wydawnictwo Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Waga 427
Wymiary 155 x 235 x 16

Kategoria

Informatyka i technologie informacyjne (IT) > Programowanie komputerowe i tworzenie oprogramowania > Algorytmy i struktury danych
Informatyka i technologie informacyjne (IT) > Programowanie komputerowe i tworzenie oprogramowania > Kompilatory i interpretery
Informatyka i technologie informacyjne (IT) > Programowanie komputerowe i tworzenie oprogramowania > Języki skryptowe – zagadnienia ogólne
Informatyka i technologie informacyjne (IT) > Programowanie komputerowe i tworzenie oprogramowania > Inżynieria oprogramowania
Informatyka i technologie informacyjne (IT) > Informatyka (nauka) > Matematyczna teoria obliczeń
Informatyka i technologie informacyjne (IT) > Informatyka (nauka) > Projektowanie architektury komputerowej i projektowanie logiczne
Informatyka i technologie informacyjne (IT) > Informatyka (nauka) > Sztuczna inteligencja
Podaruj tę książkę jeszcze dziś
To łatwe
1 Dodaj książkę do koszyka i wybierz „dostarczyć jako prezent” 2 W odpowiedzi wyślemy Ci bon 3 Książka dotrze na adres obdarowanego

Mogłoby Cię także zainteresować

Modular Specification and Verification of Object-Oriented Programs Peter Müller / Książka Miękka
common.buy 218.99 zł
The Angel Children Linda Emmanuel / Książka Miękka
common.buy 55.39 zł
ALABAMA MOON MTI Watt Key / Książka Miękka
common.buy 45.16 zł
Crime Scene Investigation Jacqueline T. (Charleston Southern University Fish / Książka Miękka
common.buy 468.31 zł
New London John J. Ruddy / Książka Miękka
common.buy 88.41 zł
Laws of Love Patricia Cohen / Książka Miękka
common.buy 121.53 zł
Key Words in Islam: Ron Geaves / Książka Miękka
common.buy 99.86 zł
All the Lives We Never Lived Anuradha Roy / E-book Adobe ePub DRM
common.buy 32.21 zł
Analysis of Educational Challenges in the New South Africa Zandile P. Nkabinde / Książka Miękka
common.buy 165.20 zł
ILLUMINATIONS Mark Wilson / Książka Miękka
common.buy 62.92 zł
How to Do Homework Without Throwing Up Trevor Romain / Książka Miękka
common.buy 43.25 zł
Promise and Peril Will R. Jordan / Książka Miękka
common.buy 102.27 zł
Moonwalking with Einstein Joshua Foer / E-book Adobe ePub DRM
common.buy 69.75 zł
Way to Do a Thing Is to Do It CARL WELLS / Książka Miękka
common.buy 90.22 zł
KOREAN GRAMMAR CANVAS - WORKBOOK for BEGINNERS 2 Miss Vicky / Książka Miękka
common.buy 86.01 zł
C.O.W.: Creatures of War Thomax Green / Książka Miękka
common.buy 55.19 zł
Alexander the Great W B Godbey / Książka Miękka
common.buy 30.50 zł
Diary of a Softball Girl Amy Ballantyne / Książka Miękka
common.buy 55.39 zł
Gratitude Coloring Book: For Mindfulness & Relaxation - Suitable For Women, Teenagers, Girls - Inspirational Zen Stress Relieving - Non Religio Sammie Lou / Książka Miękka
common.buy 36.22 zł
TOP
Becoming Myself Irvin D. Yalom / Książka Miękka
common.buy 66.94 zł
TOP
After the Rain 3 Jun Mayuzuki / Książka Miękka
common.buy 60.61 zł
Twice Bought Robert Michael Ballantyne / Książka Miękka
common.buy 87.41 zł
(Sur)real Melissa Haag / Książka Miękka
common.buy 48.17 zł
King Atterberry Ink Christine Jones / Książka Miękka
common.buy 59.01 zł

Logowanie

Zaloguj się do swojego konta. Nie masz jeszcze konta Libristo? Utwórz je teraz!

 
obowiązkowe
obowiązkowe
Zapomniane hasło

Nie masz konta? Zyskaj korzyści konta Libristo!

Dzięki kontu Libristo będziesz mieć wszystko pod kontrolą.

Utwórz konto Libristo
Doradca książkowy Libroamiko
Cześć, jestem Libroamiko, w czym mogę pomóc?