Над 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 €

Контакт

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

Помощ

Моят акаунт

▸ Празна :-(

Tools and Algorithms for the Construction and Analysis of Systems

Name: Tools and Algorithms for the Construction and Analysis of Systems
Brand: Springer, Berlin
SKU: 45117088
Price: 43.43 EUR
Availability: InStock
Author: Bernd Finkbeiner
ISBN: 9783031572487

30th International Conference, TACAS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings, Part II

Bernd Finkbeiner

Laura Kovács

Език

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

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

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

Издателство Springer, Berlin, юни 2024

The open access book 3-volume set LNCS 14570-14573 constitutes the proceedings of the 30th Internati... Цялото описание

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

105 b

43.43 €

84.93 лв

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

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

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

Beobachtungen Über Die Krankheiten Einer Armee, Sowohl Im Felde, Als In Garnison: In Drey Theilen... John Pringle

С меки корици

27.76 € 54.30 лв

Lokayatirim Amy Cortese

С меки корици

14.83 € 29.01 лв

Minería de datos JORDI CASAS

С меки корици

20.91 € 40.90 лв

Etudes Sur Les Bromeliacees (1860) Carl Koch

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

32.45 € 63.47 лв

Meurtre télécommandé Paul Kirchner

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

28.85 € 56.42 лв

The open access book 3-volume set LNCS 14570-14573 constitutes the proceedings of the 30th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2024, which was held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, during April 6-11, 2024, in Luxembourg.The 53 full papers and 16 short SVComp contributions included in these proceedings were carefully reviewed and selected from 159 submissions. They were organized in topical sections as follows:Part I: STA and SMT solving; synthesis; logic and decidability; program analysis and proofs; proof checking; Part II: Model Checking; automata and learning; software verification; probabilistic systems; simulations; Part III: Neural networks; testing and verification; games; concurrency; SV-Comp 2024.

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

EWA KASP за

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

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

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

Пълно заглавие Tools and Algorithms for the Construction and Analysis of Systems

Автор Bernd Finkbeiner, Laura Kovács

Език

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

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

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

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

Баркод 9783031572487

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

Издателство Springer, Berlin

Тегло 616

Размери 155 x 235

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

Cleatus Goes Camping Matthew Martin

С меки корици

19.01 € 37.17 лв

In the Clutches of the Viper Yoann

С меки корици

10.35 € 20.24 лв

Big Mo and Spotted Wolf: A Short Story of Inspiring Friendship in the Old West James M Lowrance

С меки корици

7.16 € 14.00 лв

The Practice of Sales of Real Property, with Precedents of Forms: Comprising Particulars and Conditions of Sale, Contracts, Conveyances, Assignments, William Hughes

С меки корици

31.47 € 61.56 лв