Menu
Află starea comenzii
Contactați-ne
Carte Formal Methods Naijun Zhan

Formal Methods

Autor: Naijun Zhan, Corina Pasareanu
Limbă: engleză
Legare: Carte broșată
Editura: Springer Nature Switzerland AG
Disponibilitate: În depozitul extern
Expediem în 5-8 zile
606.92 lei
This book constitutes the refereed proceedings of the 24th Symposium on Formal Methods, FM 2021, hel...

Informații despre carte

Autor
Naijun Zhan, Corina Pasareanu
Limbă
engleză
Legare
Carte - Carte broșată
Publicat
2021
Pagini
800
EAN
9783030908690
ISBN
3030908690
Enbook ID
37633220
Editura
Springer Nature Switzerland AG
Greutate
1234
Dimensiuni
155 x 235 x 44

Descriere completă

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.

S-ar putea să te intereseze

Traditional Jewelry of India

Oppi Untracht
204.18 lei

Making It to Semany

Haig Urum
221.84 lei

Your Black Friend

Ben Passmore
33.18 lei

Gas Card Reloaded

Roxanne C Fredd
93.71 lei

The Fugitives: The Tyrant Queen of Madagascar

R M Ballantyne
48.11 lei

First Observation of Coherent Elastic Neutrino-Nucleus Scattering

Bjorn Scholz
551.94 lei

Ireland, Slavery and the Caribbean

Ciarán O'Neill
541.45 lei

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

modernen Vater der Antike

Annette M. Baertschi
809.51 lei

Magie der Natur: Eine Revolutions-Geschichte

Caroline De La Motte Fouque
59.41 lei

Fundamenta Krestomatio

L.L. Zamenhof
93.71 lei

Trichoderma

Jaimin Pandya
130.03 lei

AUTOANALISIS

CAVALIERE
65.97 lei

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

Mounir
128.32 lei