Menu
Виж статуса на поръчката
Свържете се с нас
Книга Formal Methods - The Next 30 Years Maurice ter Beek

Formal Methods - The Next 30 Years

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

Автор: Maurice ter Beek, Annabelle McIver, José N. Oliveira
Език: Английски език
Корици: С меки корици
Издател: Springer Nature Switzerland AG
Наличност: Външен склад
Изпращаме след 5-8 дни
52.63 € 102.94 лв
This book constitutes the refereed proceedings of the 23rd Symposium on Formal Methods, FM 2019, hel...

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

Автор
Maurice ter Beek, Annabelle McIver, José N. Oliveira
Език
Английски език
Корици
Книга - С меки корици
Издадена
2019
страници
774
EAN
9783030309411
Enbook ID
24519927
Издател
Springer Nature Switzerland AG
Теглоt
1199
Размери
155 x 235 x 43

Пълно описание

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.

Може също да ви хареса

Let's Speak Spanish Practically

Enrique Maya
14.25 € 27.88 лв

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

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

Monika Estermann
171.82 € 336.04 лв

Les Mangeurs de nuit

Marie Charrel
12.95 € 25.34 лв

Terpentín

Lukáš Cabala
17.21 € 33.65 лв