Menu
Sprawdź status swojego zamówienia
Skontaktuj się z nami
Książka Formal Methods Naijun Zhan

Formal Methods

Autor: Naijun Zhan, Corina Pasareanu
Język: Angielski
Oprawa: Miękka
Wydawca: Springer Nature Switzerland AG
Dostępność: Dostępna u dostawcy
Wysyłamy za 5-8 dni
465.73 zł
This book constitutes the refereed proceedings of the 24th Symposium on Formal Methods, FM 2021, hel...

Informacje o książce

Autor
Naijun Zhan, Corina Pasareanu
Język
Angielski
Oprawa
Książka - Miękka
Data wydania
2021
strony
800
EAN
9783030908690
ISBN
3030908690
Enbook ID
37633220
Wydawca
Springer Nature Switzerland AG
Waga
1234
Wymiary
155 x 235 x 44

Pełny opis

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.

Możesz być zainteresowany

Traditional Jewelry of India

Oppi Untracht
155.30 zł

Making It to Semany

Haig Urum
171.17 zł

Your Black Friend

Ben Passmore
25.70 zł

Gas Card Reloaded

Roxanne C Fredd
72.05 zł

The Fugitives: The Tyrant Queen of Madagascar

R M Ballantyne
37.09 zł

First Observation of Coherent Elastic Neutrino-Nucleus Scattering

Bjorn Scholz
423.57 zł

Ireland, Slavery and the Caribbean

Ciarán O'Neill
413.73 zł

Klienci, którzy kupili tę książkę, kupili również

modernen Vater der Antike

Annette M. Baertschi
622.11 zł

Magie der Natur: Eine Revolutions-Geschichte

Caroline De La Motte Fouque
45.85 zł

Fundamenta Krestomatio

L.L. Zamenhof
72.05 zł

Trichoderma

Jaimin Pandya
99.21 zł

AUTOANALISIS

CAVALIERE
53.35 zł

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

Mounir
103.89 zł