Preverjanje stanja naročila
LIBRISTO
LIBROAMANTO
obvezno
Pozabljeno geslo
Postanite del skupnosti ljubiteljev knjig z vsega sveta in uživajte v številnih ugodnostih. Ustvarite brezplačen račun
0
Brezplačna dostava Zásilkovna nad 69.99 €
Zbirna točka GLS 4.49 € Zbirna točka DPD 2.99 € Kurirska služba GLS 5.49 € Kurir DPD 3.49 € Kurirska služba 3.49 € Zbirno mesto 3.49 € Zbirno mesto 3.49 € Dostava preko Pošte Slovenije 3.49 €
phone Kontakt phoneKako nakupovati
Brezplačna dostava za naročila nad 69.99 € na paketomatih Pošte Slovenije.

Verified Software: Theorie, Tools, Experiments

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

Jezik AngleščinaAngleščina
Knjiga Mehka
Knjiga Verified Software: Theorie, Tools, Experiments Ernie Cohen
Koda Libristo: 02433185
Založba Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, januar 2014
This volume constitutes the thoroughly refereed post-conference proceedings of the 5th International... Celoten opis
? points 118 b
48.91 €
Na zalogi pri dobavitelju Odposlali bomo v 5-8 dneh

30 dni za vračilo blaga

Drugi so kupili tudi

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

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.

Igralka & Poliglotka
EWA KASP za
Predvajaj video
Ewa Kasp
Libristo ima največjo izbiro tujejezične literature. Zato svoje knjige kupujem tukaj.

O knjigi

Polni naslov Verified Software: Theorie, Tools, Experiments
Avtor Ernie Cohen, Andrey Rybalchenko
Jezik Angleščina
Vezava Knjiga - Mehka
Datum izida 2014
Število strani 345
EAN 9783642541070
ISBN 3642541070
Koda Libristo 02433185
Založba Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Teža 5504
Mere 155 x 235 x 20

Kategorije

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
Podarite to knjigo še danes
To je povsem preprosto
1 Dodajte knjigo v košarico in izberite dostavo kot darilo 2 V zameno vam bomo poslali kupon 3 Knjiga bo dostavljena na naslov obdarovanca

Morda bi vas zanimalo tudi

New Initiatives On Lepton Flavor Violation And Neutrino Oscillation With High Intense Muon And Neutrino Sources William R Molzon / Knjiga Trda
common.buy 137.84 €
The Palgrave Handbook of Experimental Cinema Jonathan Walley / Knjiga Mehka
common.buy 100.87 €
On Legitimacy in Global Governance Soren Hilbrich / Knjiga Mehka
common.buy 110.89 €
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 25.41 €
Jane Austen: What Is Right To Be Done Memo Cube Insight Editions / Knjiga Mehka
common.buy 13.76 €
Wytch Wars Sharon Anne Guthrie / Knjiga Mehka
common.buy 9.81 €
Belinda Maria Edgeworth / Knjiga Mehka
common.buy 10.62 €
WHERE I NEED TO BE Kimberly Knight / Knjiga Mehka
common.buy 14.07 €
The Turtle Ship Helena Ku Rhee / Knjiga Trda
common.buy 17.61 €
Kmalu
Living in Provence René Stoeltie / Knjiga Trda
common.buy 21.16 €
What's my name? NEO Tiina Walsh / Knjiga Mehka
common.buy 14.07 €
Learn from Me Fr Con Buckley / Knjiga Mehka
common.buy 25.82 €
Live Successfully! Book No. 7 - How to Make Friends and be Persuasive Anon / Knjiga Mehka
common.buy 13.87 €
Top
Kcd Boulet/Animal Spirit Susan Seddon Boulet / Tiskani izdelki Karte
common.buy 11.03 €
Time-Frequency Analysis and Synthesis of Linear Signal Spaces Franz Hlawatsch / Knjiga Mehka
common.buy 146.14 €
Religion and State in the American Jewish Experience Jonathan D. Sarna / Knjiga Trda
common.buy 137.23 €
Heirs of Salvation Gloria Laura Lavoie / Knjiga Mehka
common.buy 12.75 €
Gentry Leaders In Peace And War Mary Wolffe / Knjiga Trda
common.buy 115.65 €
Cincinnati Day Trips Jennifer Renee Reed / Knjiga Mehka
common.buy 18.32 €
Rome Franco Archibugi / Knjiga Mehka
common.buy 63.90 €
Look Back with Longing Suzanne Morris / Knjiga Mehka
common.buy 18.93 €
Young Ladies Conduct John. Essex / Knjiga Mehka
common.buy 21.87 €
Kingdoms & the Elves of the Reaches (Keeper Martin's Tales, Book 1) Robert Stanek / Knjiga Mehka
common.buy 13.97 €

Prijava

Prijavite se v svoj račun. Še nimate računa Libristo? Ustvarite ga zdaj!

 
obvezno
obvezno
Pozabljeno geslo

Še nimate računa? Izkoristite prednosti računa Libristo!

Z računom Libristo boste imeli vedno vse pod nadzorom.

Ustvarite račun Libristo
Knjižni svetovalec Libroamiko
Pozdravljeni, sem Libroamiko, vam lahko pomagam?