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 Kurier 12.99 zł Punkt DPD 13.99 zł
phone Kontakt phoneJak kupować
Darmowa dostawa dla zamówień powyżej 299,00 zł.

Verified Software: Theorie, Tools, Experiments

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

Język AngielskiAngielski
Książka Miękka
Książka Verified Software: Theorie, Tools, Experiments Ernie Cohen
Kod Libristo: 02433185
Wydawnictwo Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, styczeń 2014
This volume constitutes the thoroughly refereed post-conference proceedings of the 5th International... Cały opis
? points 125 b
219.88 zł
Dostępna u dostawcy Wysyłamy za 5-8 dni

Nawet do 30 dni na zwrot

Klienci kupili także

SoC-basierte Erprobungsplattform fur CCD-Kameras mit Channel Link IF Ramin Jeyrani-Mameghani / Książka Miękka
common.buy 212.82 zł
El Castigador: Círculo de Sangre TSUMOTU NIHEI / Książka Miękka
common.buy 110.84 zł
Consequencias clinicas da transmissao vertical de sifilis Claudio Quinan Balestrin Neto / Książka Miękka
common.buy 125.45 zł
Los musicatos: Y la caja de música ISABEL ASENSI LIDON / Książka Miękka
common.buy 60.66 zł
Une touche de bleu - Tome 04 Nozomi Suzuki / Książka Miękka
common.buy 50.07 zł
The Assent Unterwirf dich der Dunkelheit, 1 Blu-ray Pearry Reginald Teo / Wideo Blu-ray
common.buy 73.86 zł
Auswanderung der protestantisch gesinnten Salzburger in den Jahren 1731 und 1732 Ludwig Clarus / Książka Miękka
common.buy 151.76 zł
Dance & love. La mia musica, la mia vita Gabry Ponte / Książka Twarda
common.buy 83.03 zł
Power Query w Excelu i Power BI. Zbieranie i przekształcanie danych Daniil Maslyuk / Książka Miękka
common.buy 80.51 zł

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.

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: Theorie, Tools, Experiments
Autor Ernie Cohen, Andrey Rybalchenko
Język Angielski
Oprawa Książka - Miękka
Data wydania 2014
Liczba stron 345
EAN 9783642541070
ISBN 3642541070
Kod Libristo 02433185
Wydawnictwo Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Waga 5504
Wymiary 155 x 235 x 20

Kategoria

Technika, inżynieria i rolnictwo, procesy przemysłowe > Elektronika i telekomunikacja > Inżynieria elektroniczna > Automatyka przemysłowa > Robotyka
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ć

New Initiatives On Lepton Flavor Violation And Neutrino Oscillation With High Intense Muon And Neutrino Sources William R Molzon / Książka Twarda
common.buy 614.21 zł
The Palgrave Handbook of Experimental Cinema Jonathan Walley / Książka Miękka
common.buy 452.57 zł
On Legitimacy in Global Governance Soren Hilbrich / Książka Miękka
common.buy 497.61 zł
HBR's 10 Must Reads on Strategy (including featured article &quote;What Is Strategy?&quote; by Michael E. Porter) Harvard Business Review / E-book Adobe ePub DRM
common.buy 121.32 zł
Jane Austen: What Is Right To Be Done Memo Cube Insight Editions / Książka Miękka
common.buy 71.44 zł
Wytch Wars Sharon Anne Guthrie / Książka Miękka
common.buy 43.93 zł
Belinda Maria Edgeworth / Książka Miękka
common.buy 48.16 zł
WHERE I NEED TO BE Kimberly Knight / Książka Miękka
common.buy 63.18 zł
The Turtle Ship Helena Ku Rhee / Książka Twarda
common.buy 77.18 zł
Zapowiedź
Living in Provence René Stoeltie / Książka Twarda
common.buy 97.44 zł
What's my name? NEO Tiina Walsh / Książka Miękka
common.buy 63.28 zł
Learn from Me Fr Con Buckley / Książka Miękka
common.buy 122.63 zł
Live Successfully! Book No. 7 - How to Make Friends and be Persuasive Anon / Książka Miękka
common.buy 55.62 zł
TOP
Kcd Boulet/Animal Spirit Susan Seddon Boulet / Prasa Karty
common.buy 50.07 zł
Gentry Leaders In Peace And War Mary Wolffe / Książka Twarda
common.buy 536.31 zł
Time-Frequency Analysis and Synthesis of Linear Signal Spaces Franz Hlawatsch / Książka Miękka
common.buy 656.83 zł
Religion and State in the American Jewish Experience Jonathan D. Sarna / Książka Twarda
common.buy 718.01 zł
Heirs of Salvation Gloria Laura Lavoie / Książka Miękka
common.buy 56.83 zł
Cincinnati Day Trips Jennifer Renee Reed / Książka Miękka
common.buy 82.83 zł
Rome Franco Archibugi / Książka Miękka
common.buy 284.78 zł
Look Back with Longing Suzanne Morris / Książka Miękka
common.buy 85.85 zł
Young Ladies Conduct John. Essex / Książka Miękka
common.buy 97.64 zł
Kingdoms & the Elves of the Reaches (Keeper Martin's Tales, Book 1) Robert Stanek / Książka Miękka
common.buy 62.27 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?