Provjerite status narudžbe
LIBRISTO
LIBROAMANTO
obvezno
Zaboravljena zaporka
Pridružite se zajednici ljubitelja knjige iz cijelog svijeta i ostvarite mnoštvo pogodnosti. Izradite besplatni račun
0
Besplatna dostava Overseas kurirskom službom iznad 69.99 €
DPD kurir 3.99 € Pošta 4.99 € Overseas 4.99 € Box Now 4.49 € GLS 4.99 € DPD točka 3.49 € GLS paketomat 3.99 €
phone Kontakt phoneKako kupovati
Besplatna dostava putem Box Now paketomata i Overseas kurirske službe iznad 69,99 €.

Verified Software: Theorie, Tools, Experiments

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

Jezik EngleskiEngleski
Knjiga Meki uvez
Knjiga Verified Software: Theorie, Tools, Experiments Ernie Cohen
Libristo kod: 02433185
Nakladnici Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, siječanj 2014
This volume constitutes the thoroughly refereed post-conference proceedings of the 5th International... Cijeli opis
? points 125 b
51.75 €
Vanjske zalihe Šaljemo za 5-8 dana

30 dana za povrat kupljenih proizvoda

Kupci su kupili i

SoC-basierte Erprobungsplattform fur CCD-Kameras mit Channel Link IF Ramin Jeyrani-Mameghani / Knjiga Meki uvez
common.buy 47.39 €
Consequencias clinicas da transmissao vertical de sifilis Claudio Quinan Balestrin Neto / Knjiga Meki uvez
common.buy 29.46 €
Los musicatos: Y la caja de música ISABEL ASENSI LIDON / Knjiga Meki uvez
common.buy 13.66 €
Une touche de bleu - Tome 04 Nozomi Suzuki / Knjiga Meki uvez
common.buy 11.33 €
The Assent Unterwirf dich der Dunkelheit, 1 Blu-ray Pearry Reginald Teo / Video Blu-ray
common.buy 16.50 €
Auswanderung der protestantisch gesinnten Salzburger in den Jahren 1731 und 1732 Ludwig Clarus / Knjiga Meki uvez
common.buy 35.74 €
Dance & love. La mia musica, la mia vita Gabry Ponte / Knjiga Tvrdi uvez
common.buy 19.54 €
Power Query w Excelu i Power BI. Zbieranie i przekształcanie danych Daniil Maslyuk / Knjiga Meki uvez
common.buy 22.98 €

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.

Glumica & Poliglotkinja
EWA KASP za
Pusti video
Ewa Kasp
Libristo ima najveći izbor literature na stranim jezicima. Zato svoje knjige kupujem ovdje.

Informacije o knjizi

Puni naziv Verified Software: Theorie, Tools, Experiments
Autor Ernie Cohen, Andrey Rybalchenko
Jezik Engleski
Uvez Knjiga - Meki uvez
Datum izdanja 2014
Broj stranica 345
EAN 9783642541070
ISBN 3642541070
Libristo kod 02433185
Nakladnici Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Težina 5504
Dimenzije 155 x 235 x 20

Kategorija

Technology, Engineering, Agriculture > Electronics & communications engineering > Electronics engineering > Automatic control engineering > Robotics
Computing & Information Technology > Computer programming / software engineering > Compilers & interpreters
Computing & Information Technology > Computer programming / software engineering > Programming & scripting languages: general
Computing & Information Technology > Computer programming / software engineering > Software Engineering
Computing & Information Technology > Computer science > Mathematical theory of computation
Computing & Information Technology > Computer science > Computer architecture & logic design
Computing & Information Technology > Computer science > Artificial intelligence
Poklonite ovu knjigu još danas
To je jednostavno
1 Dodajte knjigu u košaricu i odaberite isporuku kao poklon 2 Zauzvrat ćemo vam poslati kupon 3 Knjiga dolazi na adresu poklonoprimca

Moglo bi vas zanimati i

New Initiatives On Lepton Flavor Violation And Neutrino Oscillation With High Intense Muon And Neutrino Sources William R Molzon / Knjiga Tvrdi uvez
common.buy 144.52 €
The Palgrave Handbook of Experimental Cinema Jonathan Walley / Knjiga Meki uvez
common.buy 106.44 €
On Legitimacy in Global Governance Soren Hilbrich / Knjiga Meki uvez
common.buy 117.07 €
HBR's 10 Must Reads on Strategy (including featured article &quote;What Is Strategy?&quote; by Michael E. Porter) Harvard Business Review / E-knjiga Adobe ePub DRM
common.buy 26.93 €
Jane Austen: What Is Right To Be Done Memo Cube Insight Editions / Knjiga Meki uvez
common.buy 14.78 €
Wytch Wars Sharon Anne Guthrie / Knjiga Meki uvez
common.buy 10.32 €
Belinda Maria Edgeworth / Knjiga Meki uvez
common.buy 11.33 €
WHERE I NEED TO BE Kimberly Knight / Knjiga Meki uvez
common.buy 14.88 €
The Turtle Ship Helena Ku Rhee / Knjiga Tvrdi uvez
common.buy 18.63 €
Pripremamo
Living in Provence René Stoeltie / Knjiga Tvrdi uvez
common.buy 22.07 €
What's my name? NEO Tiina Walsh / Knjiga Meki uvez
common.buy 14.88 €
Learn from Me Fr Con Buckley / Knjiga Meki uvez
common.buy 27.34 €
Live Successfully! Book No. 7 - How to Make Friends and be Persuasive Anon / Knjiga Meki uvez
common.buy 13.87 €
Top
Kcd Boulet/Animal Spirit Susan Seddon Boulet / Tiskanica Karte
common.buy 11.74 €
Time-Frequency Analysis and Synthesis of Linear Signal Spaces Franz Hlawatsch / Knjiga Meki uvez
common.buy 154.55 €
Religion and State in the American Jewish Experience Jonathan D. Sarna / Knjiga Tvrdi uvez
common.buy 143.10 €
Heirs of Salvation Gloria Laura Lavoie / Knjiga Meki uvez
common.buy 13.36 €
Gentry Leaders In Peace And War Mary Wolffe / Knjiga Tvrdi uvez
common.buy 120.92 €
Cincinnati Day Trips Jennifer Renee Reed / Knjiga Meki uvez
common.buy 19.44 €
Rome Franco Archibugi / Knjiga Meki uvez
common.buy 66.94 €
Look Back with Longing Suzanne Morris / Knjiga Meki uvez
common.buy 20.15 €
Young Ladies Conduct John. Essex / Knjiga Meki uvez
common.buy 22.98 €
Kingdoms & the Elves of the Reaches (Keeper Martin's Tales, Book 1) Robert Stanek / Knjiga Meki uvez
common.buy 14.68 €

Prijava

Prijavite se na svoj račun. Još nemate Libristo račun? Otvorite ga odmah!

 
obvezno
obvezno
Zaboravljena zaporka

Nemate račun? Ostvarite pogodnosti uz Libristo račun!

Sve ćete imati pod kontrolom uz Libristo račun.

Otvoriti Libristo račun
Književni savjetnik Libroamiko
Dobar dan, ja sam Libroamiko, mogu li vam pomoći?