Menu
Zjistit stav objednávky
Kontaktujte nás
Kniha Formal Methods: Foundations and Applications Gustavo Carvalho

Formal Methods: Foundations and Applications

Autor: Gustavo Carvalho
Jazyk: Angličtina
Vazba: Brožovaná
Vydavatel: Springer Nature Switzerland AG
Dostupnost: Skladem u dodavatele
Odesíláme za 5-8 dnů
1 489 Kč
This book constitutes the refereed proceedings of the 23rd Brazilian Symposium on Formal Methods, SB...

Informace o knize

Autor
Gustavo Carvalho
Jazyk
Angličtina
Vazba
Kniha - Brožovaná
Vydáno
2020
Stránek
229
EAN
9783030638818
ISBN
3030638812
Enbook ID
33406078
Vydavatel
Springer Nature Switzerland AG
Hmotnost
454
Rozměry
155 x 235 x 14

Kompletní popis

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.

Mohlo by vás zajímat

Engineering Design Applications II

Andreas Öchsner
3 426 Kč

Dark-adapted Eye

Barbara Vine
259 Kč

Enlisted Personnel Trends in the Selected Reserve, 1986-1994

Sheila Nataraj Kirby
381 Kč

Double Cougar Trouble

Terry Spear
336 Kč

Frommer's Boston day by day

Leslie Brokaw
329 Kč

Carbon-Based Polymer Nanocomposites for High-Performance Applications

Ana María Díez-Pascual
1 308 Kč

Alien Hunter Conner Jones - Shatter of Krystal

M. Drewery
275 Kč

Zákaznicí kteří koupili tuto knihu koupili také

Schriften aus der Hallenser Zeit 1804-1807

Hermann Patsch
5 071 Kč

El listo y el tonto y otros relatos

RABI NAJMAN BRATSLAV
321 Kč

Pflanzen im alten AEgypten

Franz Woenig
592 Kč

Namenbuch der Strassen und Plaetze von Wien

Friedrich Umlauft
334 Kč

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

P. Heinrich Denifle
559 Kč

Colis 24vols aventuriers du cercle t2 octobre 2006

9 450 Kč