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 Express One 3.49 € Zbirno mesto Express One 3.49 € Zbirno mesto Pošte Slovenije 3.49 € Dostava preko Pošte Slovenije 3.49 €
phone Kontakt phoneKako nakupovati
Brezplačna dostava za naročila nad 69,99 € na prevzemna mesta DPD in Express One.

Verified Software: Theories, Tools, and Experiments

7th International Conference, VSTTE 2015, San Francisco, CA, USA, July 18-19, 2015. Revised Selected Papers

Jezik AngleščinaAngleščina
Knjiga Mehka
Knjiga Verified Software: Theories, Tools, and Experiments Arie Gurfinkel
Koda Libristo: 02896192
Založba Springer International Publishing AG, januar 2016
This volume constitutes the thoroughly refereed post-conference§proceedings of the 7th International... Celoten opis
? points 118 b
48.83 €
Na zalogi pri dobavitelju Odposlali bomo v 5-8 dneh

Do 30 dni za vračilo

Drugi so kupili tudi

Guide du Routard Milan et ses environs 2025/26 / Knjiga Mehka
common.buy 14.05 €
Звезда под странной луной Констанс Сэйерс / Knjiga Trda
common.buy 19.30 €
Ottimizzazione dei parametri di tornitura controllabili per l'HSM dell'Inconel 718 Bollu Satyanarayana / Knjiga Mehka
common.buy 46.10 €
Accompagner les petites filles victimes de violences sexuelles Julie Junquet / Knjiga Mehka
common.buy 11.32 €
Las Siete Dinastías / The Seven Dynasties Strukul / Knjiga Trda
common.buy 16.67 €
Alexander ve Oyuncak Fare Leo Lionni / Knjiga Mehka
common.buy 11.52 €
Al tuo fianco. Le consulenze e la valutazione nel Writing and Reading Workshop Elisa Golinelli / Knjiga Mehka
common.buy 22.03 €
Energía y civilización. Una historia Vaclav Smil / Knjiga Mehka
common.buy 20.92 €
ADN 2025, m. 1 Buch, m. 1 Online-Zugang Jörg Holzhäuser / Knjiga Knjiga
common.buy 131.95 €
Autant en emporte le vent Tarditi / Knjiga Knjiga
common.buy 24.06 €
CHECK, PLEASE! 1. AMOR EN LA PISTA DE HOCKEY NGOZI UKAZU / Knjiga Mehka
common.buy 20.31 €
La subordinación voluntaria de créditos Juan Luis Goldenberg Serrano / Knjiga Mehka
common.buy 41.85 €
Průvodce pro učitele k učebnicové sadě Český jazyk Marie Kozlová / Knjiga Mehka
common.buy 9.90 €
Poceni
Tvoje dieťa ako šanca pre teba Zdeňka Jordánová / Knjiga Mehka
common.buy 11.42 €
(Vor-)Lesegeschichten mit Finn und Fine Cordula Amann-Fischer / Knjiga Preglednica
common.buy 7.47 €
Die Zeitung in der Republik. Thomas Koch / Knjiga Mehka
common.buy 86.04 €
Optimisation de Forme Des Structures Abdessalem Jarraya / Knjiga Mehka
common.buy 41.14 €
Augustin's Lehre über den Tod und der autobiographische Wert seiner Confessiones Jennifer Abel / Knjiga Mehka
common.buy 15.26 €
Concours Ouvert Par La Ligue Du Parti National Hillon-A / Knjiga Mehka
common.buy 12.43 €
Histoire d'Un Morceau de Charbon Hement-E / Knjiga Mehka
common.buy 18.19 €
Servante Insoumise(la) Jane Harris / Knjiga Mehka
common.buy 10.40 €
Kalvin Elete Es a Kalvinizmus: Emlekul a Nagy Reformator Halala Haromszazados Fordulatara Imre Rvsz / Knjiga Mehka
common.buy 23.55 €
A Dictionary of Post Classical Yemeni Arabic (2 Vols) M. Piamenta / Knjiga Trda
common.buy 502.23 €
Uriage Et Ses Eaux Salines Et Sulfureuses NIEPCE-A / Knjiga Mehka
common.buy 14.75 €

This volume constitutes the thoroughly refereed post-conference§proceedings of the 7th International Conference on Verified Software:§Theories, Tools and Experiments, VSTTE 2015, held in July 2015 in San Francisco, CA, USA.§The goal of this conference is to advance the state of the art§in the science and technology of software verification, through the§interaction of theory development, tool evolution, and experimental§validation and large-scale verification efforts that involve collaboration, theory unification, tool integration, and formalized domain knowledge.

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: Theories, Tools, and Experiments
Avtor Arie Gurfinkel, Seshia Sanjit
Jezik Angleščina
Vezava Knjiga - Mehka
Datum izida 2016
Število strani 223
EAN 9783319296128
ISBN 3319296124
Koda Libristo 02896192
Založba Springer International Publishing AG
Teža 3635
Mere 155 x 235 x 14

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

Four Perfects and Standardized Testing JOHN M. LAVERTY / Knjiga Mehka
common.buy 26.48 €
Medieval Law and Punishment Donna Trembinski / Knjiga Trda
common.buy 25.98 €
God Makes Me Laugh Joseph a Grassi / Knjiga Mehka
common.buy 16.17 €
Positively Haiku: Illustrated affirmations in 17 syllables Daria Ponomarenko / Knjiga Trda
common.buy 19.30 €
Forest Hills Cemetery Anthony Mitchell Sammarco / Knjiga Trda
common.buy 23.04 €
Medicine, Government and Public Health in Philip II's Spain CLOUSE / Knjiga Mehka
common.buy 78.35 €
Becoming a Powerhouse Librarian Jamie M. Gray / Knjiga Mehka
common.buy 48.53 €
A TREATISE ON FREE AGENCY: MAINTAINING T EDWARD DOWLING / Knjiga Trda
common.buy 31.84 €
Electromagnetic Waves-Based Cancer Diagnosis and Therapy Omid Bavi / Knjiga Mehka
common.buy 182.50 €
Top
Birds of Japan BRAZIL MARK / Knjiga Mehka
common.buy 29.11 €
Prisoner of War, or, Five Months Among the Yankees Anthony M Keiley / Knjiga Mehka
common.buy 14.35 €
Beautifully Broken J.A. Owenby / Knjiga Mehka
common.buy 14.05 €
Hebrews and the General Epistles Kevin Anderson / Knjiga Mehka
common.buy 17.38 €
Zero 'g': Earth Without Gravity MR Srujan Joshi M / Knjiga Mehka
common.buy 8.99 €
No Turning Back: From Addiction to Dance Norma Fowler / Knjiga Mehka
common.buy 8.08 €
Punk Crisis Raymond Patton / Knjiga Mehka
common.buy 29.92 €
A Child's Garden of Verses Robert Louis Stevenson / Knjiga Mehka
common.buy 9.39 €
Code of Federal Regulations, Title 29, Labor, Pt. 500-899, Revised as of July 1, 2017 National Archives and Records Administra / Knjiga Mehka
common.buy 65.51 €
Inside the JBuilder OpenTools API Keith Wood / Knjiga Mehka
common.buy 43.87 €
Letters from Dorothy Osborne to Sir William Temple Dorothy Osborne / Knjiga Mehka
common.buy 22.74 €
Virtual Clinical Trials: Challenges and Opportunities: Proceedings of a Workshop National Academies Of Sciences Engineeri / Knjiga Mehka
common.buy 58.94 €
Fundamentals of Human Resource Management, Fourteenth Edition Susan L. Verhulst / Knjiga Mehka
common.buy 116.17 €
Portugal Company Laws and Regulations Handbook Volume 1 Strategic Information and Basic Regulations Inc Ibp / Knjiga Mehka
common.buy 91.30 €
Make Each Day Count: A Christopher Thought for Every Day of the Year James Keller / Knjiga Mehka
common.buy 36.39 €

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?