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

Formal Methods

Autor: Naijun Zhan, Corina Pasareanu
Jazyk: Angličtina
Vazba: Brožovaná
Vydavatel: Springer Nature Switzerland AG
Dostupnost: Skladem u dodavatele
Odesíláme za 5-8 dnů
2 514 Kč
This book constitutes the refereed proceedings of the 24th Symposium on Formal Methods, FM 2021, hel...

Informace o knize

Autor
Naijun Zhan, Corina Pasareanu
Jazyk
Angličtina
Vazba
Kniha - Brožovaná
Vydáno
2021
Stránek
800
EAN
9783030908690
ISBN
3030908690
Enbook ID
37633220
Vydavatel
Springer Nature Switzerland AG
Hmotnost
1234
Rozměry
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 zajímat

Traditional Jewelry of India

Oppi Untracht
831 Kč

Making It to Semany

Haig Urum
929 Kč

Your Black Friend

Ben Passmore
140 Kč

Gas Card Reloaded

Roxanne C Fredd
391 Kč

The Fugitives: The Tyrant Queen of Madagascar

R M Ballantyne
200 Kč

First Observation of Coherent Elastic Neutrino-Nucleus Scattering

Bjorn Scholz
2 286 Kč

Ireland, Slavery and the Caribbean

Ciarán O'Neill
2 361 Kč

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

modernen Vater der Antike

Annette M. Baertschi
3 550 Kč

Magie der Natur: Eine Revolutions-Geschichte

Caroline De La Motte Fouque
248 Kč

Fundamenta Krestomatio

L.L. Zamenhof
391 Kč

Trichoderma

Jaimin Pandya
534 Kč

AUTOANALISIS

CAVALIERE
305 Kč

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

Mounir
593 Kč