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.92 €
Na zalogi pri dobavitelju Odposlali bomo v 5-8 dneh

Do 30 dni za vračilo

Drugi so kupili tudi

Infinisterres BERTHOLOM / Knjiga Mehka
common.buy 17.52 €
Auxiliares del Servicio Vasco de Salud, Osaki Detza CASTILLO TORRES / Knjiga Mehka
common.buy 34.64 €
Las Siete Dinastías / The Seven Dynasties Strukul / Knjiga Trda
common.buy 16.70 €
Energía y civilización. Una historia Vaclav Smil / Knjiga Mehka
common.buy 20.96 €
CHECK, PLEASE! 1. AMOR EN LA PISTA DE HOCKEY NGOZI UKAZU / Knjiga Mehka
common.buy 20.35 €
Autant en emporte le vent Tarditi / Knjiga Knjiga
common.buy 23.80 €
Звезда под странной луной Констанс Сэйерс / Knjiga Trda
common.buy 19.34 €
ADN 2025, m. 1 Buch, m. 1 Online-Zugang Jörg Holzhäuser / Knjiga Knjiga
common.buy 131.99 €
Guide du Routard Milan et ses environs 2025/26 / Knjiga Mehka
common.buy 13.87 €
Ottimizzazione dei parametri di tornitura controllabili per l'HSM dell'Inconel 718 Bollu Satyanarayana / Knjiga Mehka
common.buy 46.18 €
Hyundai Lantra/Elantra 1996 - 2006 Larry Warren / Knjiga Mehka
common.buy 27.44 €
A Dictionary of Post Classical Yemeni Arabic (2 Vols) M. Piamenta / Knjiga Trda
common.buy 514.11 €
Kruh věčných návratů Karel Naxera / Knjiga Mehka
common.buy 7.89 €
Průvodce pro učitele k učebnicové sadě Český jazyk Marie Kozlová / Knjiga Mehka
common.buy 10.73 €
Poceni
Tvoje dieťa ako šanca pre teba Zdeňka Jordánová / Knjiga Mehka
common.buy 11.44 €
(Vor-)Lesegeschichten mit Finn und Fine Cordula Amann-Fischer / Knjiga Preglednica
common.buy 7.18 €
Die Zeitung in der Republik. Thomas Koch / Knjiga Mehka
common.buy 86.00 €
Optimisation de Forme Des Structures Abdessalem Jarraya / Knjiga Mehka
common.buy 41.22 €
Augustin's Lehre über den Tod und der autobiographische Wert seiner Confessiones Jennifer Abel / Knjiga Mehka
common.buy 15.29 €
Concours Ouvert Par La Ligue Du Parti National Hillon-A / Knjiga Mehka
common.buy 12.45 €
Histoire d'Un Morceau de Charbon Hement-E / Knjiga Mehka
common.buy 18.22 €
Servante Insoumise(la) Jane Harris / Knjiga Mehka
common.buy 10.22 €
La subordinación voluntaria de créditos Juan Luis Goldenberg Serrano / Knjiga Mehka
common.buy 41.83 €
Le cas Paradot Brilman / Knjiga Mehka
common.buy 22.28 €

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

Beautifully Broken J.A. Owenby / Knjiga Mehka
common.buy 14.07 €
God Makes Me Laugh Joseph a Grassi / Knjiga Mehka
common.buy 16.20 €
Modern Techniques of Gel Electrophoresis Jill Clark / Knjiga Trda
common.buy 90.25 €
Hebrews and the General Epistles Kevin Anderson / Knjiga Mehka
common.buy 17.41 €
Positively Haiku: Illustrated affirmations in 17 syllables Daria Ponomarenko / Knjiga Trda
common.buy 19.34 €
Forest Hills Cemetery Anthony Mitchell Sammarco / Knjiga Trda
common.buy 23.09 €
Show Me Your Torts: 120 Pages I 6x9 I Karo Funny Notebooks / Knjiga Mehka
common.buy 8.09 €
Medicine, Government and Public Health in Philip II's Spain CLOUSE / Knjiga Mehka
common.buy 78.50 €
Becoming a Powerhouse Librarian Jamie M. Gray / Knjiga Mehka
common.buy 48.62 €
A TREATISE ON FREE AGENCY: MAINTAINING T EDWARD DOWLING / Knjiga Trda
common.buy 31.90 €
Electromagnetic Waves-Based Cancer Diagnosis and Therapy Omid Bavi / Knjiga Mehka
common.buy 182.84 €
Top
Birds of Japan BRAZIL MARK / Knjiga Mehka
common.buy 29.17 €
Portugal Company Laws and Regulations Handbook Volume 1 Strategic Information and Basic Regulations Inc Ibp / Knjiga Mehka
common.buy 91.47 €
Prisoner of War, or, Five Months Among the Yankees Anthony M Keiley / Knjiga Mehka
common.buy 14.38 €
Medieval Law and Punishment Donna Trembinski / Knjiga Trda
common.buy 26.43 €
Understanding the Science of Climate Change: Talking Points- Impacts to the Great Lakes Amanda Schramm / Knjiga Mehka
common.buy 11.84 €
Four Perfects and Standardized Testing JOHN M. LAVERTY / Knjiga Mehka
common.buy 27.54 €
Zero 'g': Earth Without Gravity MR Srujan Joshi M / Knjiga Mehka
common.buy 9.01 €
No Turning Back: From Addiction to Dance Norma Fowler / Knjiga Mehka
common.buy 8.09 €
Punk Crisis Raymond Patton / Knjiga Mehka
common.buy 43.04 €
Secret History of Magic Peter Lamont / Knjiga Trda
common.buy 19.24 €
Fundamentals of Human Resource Management, Fourteenth Edition Susan L. Verhulst / Knjiga Mehka
common.buy 116.39 €
A Child's Garden of Verses Robert Louis Stevenson / Knjiga Mehka
common.buy 9.41 €
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.63 €

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?