Menu
Află starea comenzii
Contactați-ne
Carte Formal Methods: Foundations and Applications Gustavo Carvalho

Formal Methods: Foundations and Applications

Autor: Gustavo Carvalho
Limbă: engleză
Legare: Carte broșată
Editura: Springer Nature Switzerland AG
Disponibilitate: În depozitul extern
Expediem în 5-8 zile
359.68 lei
This book constitutes the refereed proceedings of the 23rd Brazilian Symposium on Formal Methods, SB...

Informații despre carte

Autor
Gustavo Carvalho
Limbă
engleză
Legare
Carte - Carte broșată
Publicat
2020
Pagini
229
EAN
9783030638818
ISBN
3030638812
Enbook ID
33406078
Editura
Springer Nature Switzerland AG
Greutate
454
Dimensiuni
155 x 235 x 14

Descriere completă

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.

S-ar putea să te intereseze

Engineering Design Applications II

Andreas Öchsner
827.70 lei

Dark-adapted Eye

Barbara Vine
64.30 lei

Enlisted Personnel Trends in the Selected Reserve, 1986-1994

Sheila Nataraj Kirby
90.34 lei

Double Cougar Trouble

Terry Spear
80.55 lei

Frommer's Boston day by day

Leslie Brokaw
79.64 lei

Carbon-Based Polymer Nanocomposites for High-Performance Applications

Ana María Díez-Pascual
317.89 lei

Alien Hunter Conner Jones - Shatter of Krystal

M. Drewery
65.61 lei

Clienții care au cumpărat această carte au mai cumpărat și

Schriften aus der Hallenser Zeit 1804-1807

Hermann Patsch
1 156.90 lei

El listo y el tonto y otros relatos

RABI NAJMAN BRATSLAV
69.55 lei

Pflanzen im alten AEgypten

Franz Woenig
144.25 lei

Namenbuch der Strassen und Plaetze von Wien

Friedrich Umlauft
72.27 lei

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

P. Heinrich Denifle
133.45 lei

Colis 24vols aventuriers du cercle t2 octobre 2006

2 048.01 lei