Menu
Zistiť stav objednávky
Kontaktujte nás
Kniha Formal Methods Naijun Zhan

Formal Methods

Autor: Naijun Zhan, Corina Pasareanu
Jazyk: Angličtina
Väzba: Brožovaná
Vydavateľ: Springer Nature Switzerland AG
Dostupnosť: Skladom u dodávateľa
Odosielame za 5-8 dní
109.91 €
This book constitutes the refereed proceedings of the 24th Symposium on Formal Methods, FM 2021, hel...

Informácie o knihe

Autor
Naijun Zhan, Corina Pasareanu
Jazyk
Angličtina
Väzba
Kniha - Brožovaná
Vydalo
2021
Stránok
800
EAN
9783030908690
ISBN
3030908690
Enbook ID
37633220
Vydavateľ
Springer Nature Switzerland AG
Hmotnosť
1234
Rozmery
155 x 235 x 44

Kompletný popis

This book constitutes the refereed proceedings of the 24th Symposium on Formal Methods, FM 2021, held virtually in November 2021.The 43 full papers presented together with 4 invited presentations were carefully reviewed and selected from 131 submissions. The papers are organized in topical sections named: Invited Presentations. - Interactive Theorem Proving, Neural Networks & Active Learning, Logics & Theory, Program Verification I, Hybrid Systems, Program Verification II, Automata, Analysis of Complex Systems, Probabilities, Industry Track Invited Papers, Industry Track, Divide et Impera: Efficient Synthesis of Cyber-Physical System.

Mohlo by vás zaujímať

Traditional Jewelry of India

Oppi Untracht
34.34 €

Making It to Semany

Haig Urum
38.36 €

Your Black Friend

Ben Passmore
6.08 €

Gas Card Reloaded

Roxanne C Fredd
16.18 €

The Fugitives: The Tyrant Queen of Madagascar

R M Ballantyne
8.23 €

First Observation of Coherent Elastic Neutrino-Nucleus Scattering

Bjorn Scholz
99.90 €

Ireland, Slavery and the Caribbean

Ciarán O'Neill
103.33 €

Zákazníci, ktorí si kúpili túto knihu, kúpili tiež

modernen Vater der Antike

Annette M. Baertschi
154.47 €

Magie der Natur: Eine Revolutions-Geschichte

Caroline De La Motte Fouque
10.30 €

Fundamenta Krestomatio

L.L. Zamenhof
16.18 €

Trichoderma

Jaimin Pandya
23.45 €

AUTOANALISIS

CAVALIERE
12.55 €

Co-construction entre Idéalisme et Réalité

Mounir
24.53 €