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

Контакт

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

Помощ

Моят акаунт

▸ Празна :-(

Formal Methods - The Next 30 Years

Name: Formal Methods - The Next 30 Years
Brand: Springer Nature Switzerland AG
SKU: 24519927
Price: 54.25 EUR
Availability: InStock
Author: Maurice ter Beek
ISBN: 9783030309411

Third World Congress, FM 2019, Porto, Portugal, October 7-11, 2019, Proceedings

Maurice ter Beek

Annabelle McIver

José N. Oliveira

Език

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

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

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

Издателство Springer Nature Switzerland AG, септември 2019

This book constitutes the refereed proceedings of the 23rd Symposium on Formal Methods, FM 2019, hel... Цялото описание

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

132 b

54.25 €

106.10 лв

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

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

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

Archiv fur Geschichte des Buchwesens, Band 28, Archiv fur Geschichte des Buchwesens (1987) Monika Estermann

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

177.09 € 346.37 лв

Revue de littérature comparée - N°4/2006

С меки корици

21.45 € 41.95 лв

Les Mangeurs de nuit Marie Charrel

С меки корици

13.20 € 25.81 лв

Terpentín Lukáš Cabala

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

17.74 € 34.69 лв

This book constitutes the refereed proceedings of the 23rd Symposium on Formal Methods, FM 2019, held in Porto, Portugal, in the form of the Third World Congress on Formal Methods, in October 2019. The 44 full papers presented together with 3 invited presentations were carefully reviewed and selected from 129 submissions. The papers are organized in topical sections named: Invited Presentations; Verification; Synthesis Techniques; Concurrency; Model Checking Circus; Model Checking; Analysis Techniques; Specification Languages; Reasoning Techniques; Modelling Languages; Learning-Based Techniques and Applications; Refactoring and Reprogramming; I-Day Presentations.