Над 4 милиона заглавия на английски и други езици! Открийте новата си история още днес! Безплатна доставка за поръчки над 69.99€

Проверка на състоянието на поръчката

Станете част от общност от любители на книгите от цял свят и получавате много предимства. Създай на безплатен акаунт

Безплатна доставка със Еконт над 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 €

Контакт

Как се пазарува?

Помощ

Моят акаунт

▸ Празна :-(

Computer Aided Verification

Name: Computer Aided Verification
Brand: Springer International Publishing AG
SKU: 39439333
Price: 43.68 EUR
Availability: InStock
Author: Sharon Shoham
ISBN: 9783031131875

34th International Conference, CAV 2022, Haifa, Israel, August 7-10, 2022, Proceedings, Part II

Sharon Shoham

Yakir Vizel

Език

Английски език

Книга С меки корици

Код Либристо: 39439333

Издателство Springer International Publishing AG, август 2022

This open access two-volume set LNCS 13371 and 13372 constitutes the refereed proceedings of the 34r... Цялото описание

Код Либристо: 39439333

105 b

43.68 €

85.43 лв

Външен склад Изпращаме след 5-8 дни

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

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

Fuhrungsinformationen aus dem World Wide Web Maik Discher

С меки корици

36.01 € 70.43 лв

Product Line Development am Beispiel einer Software-Plattform fur den Healthcare-Markt Mathis Zimmermann

С меки корици

37.93 € 74.18 лв

Vergleichende und funktionelle Anatomie der Wirbeltiere Milton Hildebrand

С меки корици

64.82 € 126.78 лв

MARCO POLO Reiseführer Ibiza, Formentera Andreas Drouve

С меки корици

14.09 € 27.56 лв

Obrazkowe ćwiczenia logopedyczne dla przedszkolaków - Ś, Ź, Ć, DŹ Czarnik Barbara

С меки корици

5.02 € 9.82 лв

Auxilia - Heavenly flames and infernal desires Whisper Publishing

С меки корици

17.92 € 35.06 лв

Cuba (libre?) oder die Ein-Dollar-Republik Lutz Simon

С меки корици

27.51 € 53.81 лв

Wenn dies die Zeit ist Vladimir Zarev

С твърди корици

18.18 € 35.56 лв

Paul, Lisa & Co. Monika Bovermann

С меки корици

10.25 € 20.06 лв

Imaginaire et idéologie du plurilinguisme littéraire et numérique K. Alfons Knauth

С меки корици

37.41 € 73.16 лв

Personenschutz - kompakt und effektiv Steve Tompson

С твърди корици

84.87 € 166.00 лв

Der Hörfunk und die Frauen Anfang der 20er Jahre Tatjana Kumpf

С меки корици

17.15 € 33.54 лв

Un Mot Sur Les Pretendus Inventeurs Et Sur Quelques Moyens Et Procedes Distillatoires Barre-A

С меки корици

13.73 € 26.85 лв

Peones y Operarios de Servicios Múltiples. Test y Supuestos Prácticos Sin datos

С меки корици

29.38 € 57.45 лв

La vuelta al mundo en 80 días Jules Verne

С меки корици

11.29 € 22.08 лв

Sécuriser davantage l'anesthésie : est-ce possible ? Yves Auroy

С меки корици

71.81 € 140.46 лв

Mujeres del Nuevo Testamento Pia Septien

С меки корици

9.17 € 17.93 лв

Ciencias Naturales 1a Eso Proyecto Bilinga E Workbook One Mara Mercedes Bautista Arnedo

С меки корици

14.19 € 27.76 лв

This open access two-volume set LNCS 13371 and 13372 constitutes the refereed proceedings of the 34rd International Conference on Computer Aided Verification, CAV 2022, which was held in Haifa, Israel, in August 2022. The 40 full papers presented together with 9 tool papers and 2 case studies were carefully reviewed and selected from 209 submissions. The papers were organized in the following topical sections: Part I: Invited papers; formal methods for probabilistic programs; formal methods for neural networks; software Verification and model checking; hyperproperties and security; formal methods for hardware, cyber-physical, and hybrid systems. Part II: Probabilistic techniques; automata and logic; deductive verification and decision procedures; machine learning; synthesis and concurrency. This is an open access book.

Героиня & Полиглот

EWA KASP за

Пусни видеото

В Libristo има най-богатия избор от чуждоезична литература. Затова купувам книгите си тук.

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

Пълно заглавие Computer Aided Verification

Автор Sharon Shoham, Yakir Vizel

Език

Английски език

Корици Книга - С меки корици

Дата на издаване 2022

Брой страници 549

Баркод 9783031131875

Код Либристо 39439333

Издателство Springer International Publishing AG

Тегло 866

Размери 155 x 235 x 31

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

Women in Sports Amelia S Halloway

С твърди корици

191.10 € 373.76 лв

Black Box Captain Terrance W MacDonald

С меки корици

21.34 € 41.74 лв

Transgenic Crop Plants Albert G. Abbott

С меки корици

217.21 € 424.84 лв

One Piece, Vol. 76 Eiichiro Oda

С меки корици

9.48 € 18.54 лв

Aquaculture John S. Lucas

С твърди корици

130.21 € 254.67 лв

History of Europe During the French Revolution Archibald Alison

С твърди корици

45.85 € 89.68 лв

Documentary History of the State of Maine, Volume 12 Maine Historical Society

С твърди корици

39.27 € 76.81 лв

Islands of the Damned R. V. Burgin

С меки корици

15.80 € 30.90 лв

Speakout Upper Intermediate 2nd Edition Flexi Students' Book 1 with MyEnglishLab Pack J. J. Wilson

С меки корици

25.23 € 49.35 лв

The Hating Game Sally Thorne

С меки корици

10.10 € 19.75 лв

NKJV, Gift and Award Bible, Leather-Look, Blue, Red Letter, Comfort Print Thomas Nelson

С меки корици

8.44 € 16.51 лв

Blood Surfer Debra Jess

С меки корици

15.75 € 30.80 лв

Help Me! Guide to the Apple Watch: Step-by-Step User Guide for Apple's First Generation Smartwatch Charles Hughes

С меки корици

8.54 € 16.71 лв

Law, Life and Laughter Irvine Smth

С меки корици

10.46 € 20.46 лв

I, Siglavy LISBETH ASAY

С меки корици

13.73 € 26.85 лв

Resistance mechanisms in Sorghum bicolor against Striga Gerardo Suazo Tejada

С меки корици

51.92 € 101.54 лв

Stranger Things: Suspicious Minds Gwenda Bond

С меки корици

10.82 € 21.17 лв

Braiding Sweetgrass Robin Wall Kimmerer

С меки корици

12.69 € 24.82 лв

Oracle of the 7 Energies Colette Baron-Reid

Карти

23.16 € 45.29 лв

Records of Big Game: With the Distribution, Characteristics, Dimensions, Weights, Horn and Tusk Measurements of the Different Species (1903 Rowland Ward

С меки корици

42.12 € 82.38 лв