Проверка на състоянието на поръчката
LIBRISTO
LIBROAMANTO
задължително
Забравена парола
Станете част от общност от любители на книгите от цял свят и получавате много предимства. Създай на безплатен акаунт
0
Безплатна доставка със Еконт над 69.99 €
Куриер Speedy 3.49 € Пункт на Speedy 3.49 € ЕКОНТ 3.99 € Еконтомат/Офис на Еконт 3.99 € Ekont Box 3.99 € Sameday 3.99 € Sameday box 3.99 € Box Now 3.99 €
phone Контакт phoneКак се пазарува?
Над 4 милиона заглавия на английски и други езици! Открийте новата си история още днес! Безплатна доставка за поръчки над 69.99€

Verified Software: Theories, Tools, and Experiments

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

Език Английски езикАнглийски език
Книга С меки корици
Книга Verified Software: Theories, Tools, and Experiments Arie Gurfinkel
Код Либристо: 02896192
Издателство Springer International Publishing AG, януари 2016
This volume constitutes the thoroughly refereed post-conference§proceedings of the 7th International... Цялото описание
? points 148 b
61.19 €
119.68  лв
Външен склад в ограничено количество Изпращаме след 11-15 дни

30 дни за връщане на стоката

Клиентите са закупили също

Energía y civilización. Una historia Vaclav Smil / Книга С меки корици
common.buy 42.95 € 84.01 лв
Las Siete Dinastías / The Seven Dynasties Strukul / Книга С твърди корици
common.buy 20.31 € 39.72 лв
Звезда под странной луной Констанс Сэйерс / Книга С твърди корици
common.buy 21.24 € 41.54 лв
CHECK, PLEASE! 1. AMOR EN LA PISTA DE HOCKEY NGOZI UKAZU / Книга С меки корици
common.buy 23.78 € 46.51 лв
Autant en emporte le vent Tarditi / Книга Книга
common.buy 27.61 € 54.01 лв
Al tuo fianco. Le consulenze e la valutazione nel Writing and Reading Workshop Elisa Golinelli / Книга С меки корици
common.buy 25.49 € 49.85 лв
ADN 2025, m. 1 Buch, m. 1 Online-Zugang Jörg Holzhäuser / Книга Книга
common.buy 154.26 € 301.70 лв
Guide du Routard Milan et ses environs 2025/26 / Книга С меки корици
common.buy 16.16 € 31.61 лв
Top
Rodinný plánovací kalendář 2026 / Календар/тефтер Календар
common.buy 1.86 € 3.64 лв
Ottimizzazione dei parametri di tornitura controllabili per l'HSM dell'Inconel 718 Bollu Satyanarayana / Книга С меки корици
common.buy 60.88 € 119.07 лв
Hyundai Lantra/Elantra 1996 - 2006 Larry Warren / Книга С меки корици
common.buy 28.55 € 55.83 лв
A Dictionary of Post Classical Yemeni Arabic (2 Vols) M. Piamenta / Книга С твърди корици
common.buy 552.32 € 1 080.25 лв
Průvodce pro učitele k učebnicové sadě Český jazyk Marie Kozlová / Книга С меки корици
common.buy 11.50 € 22.49 лв
Изгодно
Tvoje dieťa ako šanca pre teba Zdeňka Jordánová / Книга С меки корици
common.buy 11.45 € 22.39 лв
(Vor-)Lesegeschichten mit Finn und Fine Cordula Amann-Fischer / Книга Лист
common.buy 8.54 € 16.71 лв
Optimisation de Forme Des Structures Abdessalem Jarraya / Книга С меки корици
common.buy 61.24 € 119.78 лв
Augustin's Lehre über den Tod und der autobiographische Wert seiner Confessiones Jennifer Abel / Книга С меки корици
common.buy 17.15 € 33.54 лв
Concours Ouvert Par La Ligue Du Parti National Hillon-A / Книга С меки корици
common.buy 13.73 € 26.85 лв
Histoire d'Un Morceau de Charbon Hement-E / Книга С меки корици
common.buy 20.31 € 39.72 лв
Servante Insoumise(la) Jane Harris / Книга С меки корици
common.buy 12.02 € 23.50 лв
La subordinación voluntaria de créditos Juan Luis Goldenberg Serrano / Книга С меки корици
common.buy 48.29 € 94.45 лв
Accompagner les petites filles victimes de violences sexuelles Julie Junquet / Книга С меки корици
common.buy 12.69 € 24.82 лв
Uriage Et Ses Eaux Salines Et Sulfureuses NIEPCE-A / Книга С меки корици
common.buy 15.54 € 30.39 лв
Alexander ve Oyuncak Fare Leo Lionni / Книга С меки корици
common.buy 12.90 € 25.22 лв

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.

Героиня & Полиглот
EWA KASP за
Пусни видеото
Ewa Kasp
В Libristo има най-богатия избор от чуждоезична литература. Затова купувам книгите си тук.

Информация за книгата

Пълно заглавие Verified Software: Theories, Tools, and Experiments
Автор Arie Gurfinkel, Seshia Sanjit
Език Английски език
Корици Книга - С меки корици
Дата на издаване 2016
Брой страници 223
Баркод 9783319296128
ISBN 3319296124
Код Либристо 02896192
Издателство Springer International Publishing AG
Тегло 3635
Размери 155 x 235 x 14

Категории

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
Подарете тази книга днес
Лесно е
1 Добавете книгата в количката си и изберете Доставка като подарък 2 В замяна ще ви изпратим ваучер 3 Книгата ще пристигне на адреса на получателя

Може би ще Ви заинтересува

Becoming a Powerhouse Librarian Jamie M. Gray / Книга С меки корици
common.buy 54.51 € 106.61 лв
Cheaper by the Dozen Frank B. Gilbreth / Книга С меки корици
common.buy 12.02 € 23.50 лв
The Signet Book of American Essays M. Jerry Weiss / Книга С меки корици
common.buy 9.22 € 18.03 лв
The Worth Of A Baby, And How Apple-Tree Court Was Won (1876) Hesba Stretton / Книга С твърди корици
common.buy 34.14 € 66.78 лв
God Makes Me Laugh Joseph a Grassi / Книга С меки корици
common.buy 17.30 € 33.84 лв
Изгодно
For The Life Of The World David Bentley Hart / Книга С меки корици
common.buy 14.81 € 28.98 лв
Hebrews and the General Epistles Kevin Anderson / Книга С меки корици
common.buy 18.39 € 35.97 лв
Inside the JBuilder OpenTools API Keith Wood / Книга С меки корици
common.buy 46.37 € 90.70 лв
Forest Hills Cemetery Anthony Mitchell Sammarco / Книга С твърди корици
common.buy 24.61 € 48.13 лв
Positively Haiku: Illustrated affirmations in 17 syllables Daria Ponomarenko / Книга С твърди корици
common.buy 20.31 € 39.72 лв
Medicine, Government and Public Health in Philip II's Spain CLOUSE / Книга С меки корици
common.buy 82.49 € 161.33 лв
Letters from Dorothy Osborne to Sir William Temple Dorothy Osborne / Книга С меки корици
common.buy 34.25 € 66.98 лв
A TREATISE ON FREE AGENCY: MAINTAINING T EDWARD DOWLING / Книга С твърди корици
common.buy 33.62 € 65.76 лв
Code of Federal Regulations, Title 29, Labor, Pt. 500-899, Revised as of July 1, 2017 National Archives and Records Administra / Книга С меки корици
common.buy 71.81 € 140.46 лв
Birds of Japan BRAZIL MARK / Книга С меки корици
common.buy 35.75 € 69.92 лв
Electromagnetic Waves-Based Cancer Diagnosis and Therapy Omid Bavi / Книга С меки корици
common.buy 191.15 € 373.86 лв
Prisoner of War, or, Five Months Among the Yankees Anthony M Keiley / Книга С меки корици
common.buy 22.90 € 44.78 лв
Four Perfects and Standardized Testing JOHN M. LAVERTY / Книга С меки корици
common.buy 27.92 € 54.62 лв
Zero 'g': Earth Without Gravity MR Srujan Joshi M / Книга С меки корици
common.buy 9.58 € 18.74 лв
No Turning Back: From Addiction to Dance Norma Fowler / Книга С меки корици
common.buy 8.54 € 16.71 лв
Punk Crisis Raymond Patton / Книга С меки корици
common.buy 31.45 € 61.51 лв
Beautifully Broken J.A. Owenby / Книга С меки корици
common.buy 15.07 € 29.48 лв
Make Each Day Count: A Christopher Thought for Every Day of the Year James Keller / Книга С меки корици
common.buy 38.34 € 74.99 лв
Winter Song Jean-Claude Mourlevat / Книга С меки корици
common.buy 10.72 € 20.97 лв

Вход

Влезте в акаунта си. Още нямате акаунт за Libristo? Създайте го сега!

 
задължително
задължително
Забравена парола

Нямате акаунт? Използвайте предимствата на акаунта за Libristo!

Благодарение на акаунта за Libristo държите всичко под контрол.

Създаване на акаунт за Libristo
Книжен съветник Libroamiko
Здравейте, аз съм Libroamiko, мога ли да помогна?