Menu
Виж статуса на поръчката
Свържете се с нас
Книга Formal Methods: Foundations and Applications Gustavo Carvalho

Formal Methods: Foundations and Applications

Автор: Gustavo Carvalho
Език: Английски език
Корици: С меки корици
Издател: Springer Nature Switzerland AG
Наличност: Външен склад
Изпращаме след 5-8 дни
68.58 € 134.12 лв
This book constitutes the refereed proceedings of the 23rd Brazilian Symposium on Formal Methods, SB...

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

Автор
Gustavo Carvalho
Език
Английски език
Корици
Книга - С меки корици
Издадена
2020
страници
229
EAN
9783030638818
ISBN
3030638812
Enbook ID
33406078
Издател
Springer Nature Switzerland AG
Теглоt
454
Размери
155 x 235 x 14

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

This book constitutes the refereed proceedings of the 23rd Brazilian Symposium on Formal Methods, SBMF 2020, which was supposed to take place in Ouro Preto, Brazil, in November 2020. Instead the symposium took place virtually due to the COVID-19 pandemic.The 10 regular papers presented together with 3 invited talks in this book were carefully reviewed and selected from 17 submissions. The papers are organized in topical sections such as: experience reports; models, languages and semantics; and software product lines.Chapter 'Safety Assurance of a High Voltage Controller for an Industrial Robotic System' is available open access under a Creative Commons Attribution 4.0 International License via link.springer.com.

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

Engineering Design Applications II

Andreas Öchsner
157.83 € 308.69 лв

Dark-adapted Eye

Barbara Vine
12.29 € 24.03 лв

Enlisted Personnel Trends in the Selected Reserve, 1986-1994

Sheila Nataraj Kirby
17.25 € 33.75 лв

Double Cougar Trouble

Terry Spear
14.64 € 28.64 лв

Frommer's Boston day by day

Leslie Brokaw
15.20 € 29.72 лв

Carbon-Based Polymer Nanocomposites for High-Performance Applications

Ana María Díez-Pascual
57.34 € 112.15 лв

Alien Hunter Conner Jones - Shatter of Krystal

M. Drewery
11.94 € 23.34 лв

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

Schriften aus der Hallenser Zeit 1804-1807

Hermann Patsch
231.63 € 453.03 лв

El listo y el tonto y otros relatos

RABI NAJMAN BRATSLAV
13.89 € 27.17 лв

Pflanzen im alten AEgypten

Franz Woenig
27.49 € 53.76 лв

Namenbuch der Strassen und Plaetze von Wien

Friedrich Umlauft
14.54 € 28.45 лв

Archiv Fur Litteratur Und Kirchen-Geschichte Des Mittelalters V1, Book 1 (1885)

P. Heinrich Denifle
24.28 € 47.48 лв

Colis 24vols aventuriers du cercle t2 octobre 2006

407.52 € 797.05 лв