Verifică starea comenzii
LIBRISTO
LIBROAMANTO
obligatoriu
Parolă uitată
Faceți parte dintr-o comunitate de iubitori de cărți din întreaga lume și beneficiați de o mulțime de avantaje Creați-vă un cont gratuit
0
Transport gratuit la punctele de livrare Pick Up peste 349.00 lei
Packeta 15.00 lei Serviciul de curierat Cargus 28.00 lei Easybox 20.00 lei FAN Courier 20.00 lei Punct FAN 16.00 lei Punct DPD 17.00 lei Curier Sameday 24.00 lei Curier DPD 25.00 lei
phone Contact phoneCum să cumpăr
Livrare gratuită pentru comenzile peste 349,00 lei.

Verified Software: Theories, Tools, and Experiments

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

Limba englezăengleză
Carte Carte broșată
Carte Verified Software: Theories, Tools, and Experiments Arie Gurfinkel
Codul Libristo: 02896192
Editura Springer International Publishing AG, ianuarie 2016
This volume constitutes the thoroughly refereed post-conference§proceedings of the 7th International... Descrierea completă
? points 132 b
284.05 lei
În depozitul extern Expediem în 5-8 zile

Până la 30 de zile pentru returnare

Clienții au cumpărat de asemenea

Energía y civilización. Una historia Vaclav Smil / Carte Carte broșată
common.buy 215.39 lei
Las Siete Dinastías / The Seven Dynasties Strukul / Carte Copertă tare
common.buy 99.61 lei
Звезда под странной луной Констанс Сэйерс / Carte Copertă tare
common.buy 104.79 lei
CHECK, PLEASE! 1. AMOR EN LA PISTA DE HOCKEY NGOZI UKAZU / Carte Carte broșată
common.buy 117.74 lei
Autant en emporte le vent Tarditi / Carte Carte
common.buy 138.24 lei
Al tuo fianco. Le consulenze e la valutazione nel Writing and Reading Workshop Elisa Golinelli / Carte Carte broșată
common.buy 127.26 lei
ADN 2025, m. 1 Buch, m. 1 Online-Zugang Jörg Holzhäuser / Carte Carte
common.buy 765.39 lei
Guide du Routard Milan et ses environs 2025/26 / Carte Carte broșată
common.buy 81.08 lei
Top
Rodinný plánovací kalendář 2026 / Calendar / Agendă Calendar
common.buy 9.00 lei
Ottimizzazione dei parametri di tornitura controllabili per l'HSM dell'Inconel 718 Bollu Satyanarayana / Carte Carte broșată
common.buy 270.38 lei
Hyundai Lantra/Elantra 1996 - 2006 Larry Warren / Carte Carte broșată
common.buy 148.60 lei
A Dictionary of Post Classical Yemeni Arabic (2 Vols) M. Piamenta / Carte Copertă tare
common.buy 2 870.42 lei
Průvodce pro učitele k učebnicové sadě Český jazyk Marie Kozlová / Carte Carte broșată
common.buy 57.15 lei
Leftin
Tvoje dieťa ako šanca pre teba Zdeňka Jordánová / Carte Carte broșată
common.buy 59.54 lei
(Vor-)Lesegeschichten mit Finn und Fine Cordula Amann-Fischer / Carte Foaie
common.buy 42.65 lei
Optimisation de Forme Des Structures Abdessalem Jarraya / Carte Carte broșată
common.buy 241.70 lei
Augustin's Lehre über den Tod und der autobiographische Wert seiner Confessiones Jennifer Abel / Carte Carte broșată
common.buy 89.26 lei
Concours Ouvert Par La Ligue Du Parti National Hillon-A / Carte Carte broșată
common.buy 74.86 lei
Histoire d'Un Morceau de Charbon Hement-E / Carte Carte broșată
common.buy 111.00 lei
Servante Insoumise(la) Jane Harris / Carte Carte broșată
common.buy 60.16 lei
La subordinación voluntaria de créditos Juan Luis Goldenberg Serrano / Carte Carte broșată
common.buy 240.25 lei
Accompagner les petites filles victimes de violences sexuelles Julie Junquet / Carte Carte broșată
common.buy 66.16 lei
Uriage Et Ses Eaux Salines Et Sulfureuses NIEPCE-A / Carte Carte broșată
common.buy 84.91 lei
Alexander ve Oyuncak Fare Leo Lionni / Carte Carte broșată
common.buy 66.89 lei

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.

Actriță & Poliglotă
EWA KASP pentru
Redă videoclipul
Ewa Kasp
Libristo are cea mai mare selecție de literatură în limbi străine. De aceea îmi cumpăr cărțile de aici.

Informații despre carte

Titlu complet Verified Software: Theories, Tools, and Experiments
Autor Arie Gurfinkel, Seshia Sanjit
Limba engleză
Legare Carte - Carte broșată
Data publicării 2016
Număr pagini 223
EAN 9783319296128
ISBN 3319296124
Codul Libristo 02896192
Editura Springer International Publishing AG
Greutatea 3635
Dimensiuni 155 x 235 x 14

Categorii

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
Dăruiește această carte chiar astăzi
Este foarte ușor
1 Adaugă cartea în coș și selectează Livrează ca un cadou 2 Îți vom trimite un voucher în schimb 3 Cartea va ajunge direct la adresa destinatarului

Ar putea de asemenea, să te intereseze

Becoming a Powerhouse Librarian Jamie M. Gray / Carte Carte broșată
common.buy 270.17 lei
Cheaper by the Dozen Frank B. Gilbreth / Carte Carte broșată
common.buy 62.54 lei
The Signet Book of American Essays M. Jerry Weiss / Carte Carte broșată
common.buy 48.04 lei
God Makes Me Laugh Joseph a Grassi / Carte Carte broșată
common.buy 95.78 lei
Top
For The Life Of The World David Bentley Hart / Carte Carte broșată
common.buy 111.00 lei
Hebrews and the General Epistles Kevin Anderson / Carte Carte broșată
common.buy 100.75 lei
Inside the JBuilder OpenTools API Keith Wood / Carte Carte broșată
common.buy 253.81 lei
Forest Hills Cemetery Anthony Mitchell Sammarco / Carte Copertă tare
common.buy 136.27 lei
Positively Haiku: Illustrated affirmations in 17 syllables Daria Ponomarenko / Carte Copertă tare
common.buy 111.00 lei
Medicine, Government and Public Health in Philip II's Spain CLOUSE / Carte Carte broșată
common.buy 429.55 lei
Letters from Dorothy Osborne to Sir William Temple Dorothy Osborne / Carte Carte broșată
common.buy 133.48 lei
A TREATISE ON FREE AGENCY: MAINTAINING T EDWARD DOWLING / Carte Copertă tare
common.buy 183.50 lei
Code of Federal Regulations, Title 29, Labor, Pt. 500-899, Revised as of July 1, 2017 National Archives and Records Administra / Carte Carte broșată
common.buy 374.14 lei
Birds of Japan BRAZIL MARK / Carte Carte broșată
common.buy 174.90 lei
Electromagnetic Waves-Based Cancer Diagnosis and Therapy Omid Bavi / Carte Carte broșată
common.buy 952.52 lei
Prisoner of War, or, Five Months Among the Yankees Anthony M Keiley / Carte Carte broșată
common.buy 84.29 lei
Four Perfects and Standardized Testing JOHN M. LAVERTY / Carte Carte broșată
common.buy 152.22 lei
Zero 'g': Earth Without Gravity MR Srujan Joshi M / Carte Carte broșată
common.buy 52.39 lei
No Turning Back: From Addiction to Dance Norma Fowler / Carte Carte broșată
common.buy 46.80 lei
Punk Crisis Raymond Patton / Carte Carte broșată
common.buy 156.15 lei
Beautifully Broken J.A. Owenby / Carte Carte broșată
common.buy 83.46 lei
Virtual Clinical Trials: Challenges and Opportunities: Proceedings of a Workshop National Academies Of Sciences Engineeri / Carte Carte broșată
common.buy 336.66 lei
Make Each Day Count: A Christopher Thought for Every Day of the Year James Keller / Carte Carte broșată
common.buy 209.39 lei
Winter Song Jean-Claude Mourlevat / Carte Carte broșată
common.buy 52.80 lei

Logare

Conectare la contul de utilizator Încă nu ai un cont Libristo? Crează acum!

 
obligatoriu
obligatoriu
Parolă uitată

Nu ai un cont? Beneficii cu contul Libristo!

Datorită contului Libristo, vei avea totul sub control.

Creare cont Libristo
Consilier de cărți Libroamiko
Bună ziua, sunt Libroamiko, vă pot ajuta?