Menu
Rendelés állapotának ellenőrzése
Kapcsolat
Könyv Formal Methods Naijun Zhan

Formal Methods

Szerző: Naijun Zhan, Corina Pasareanu
Nyelv: Angol
Kötés: Puha kötésű
Kiadó: Springer Nature Switzerland AG
Elérhetőség: Beszállítói készleten
Küldés 5-8 napon belül
42 378 Ft
This book constitutes the refereed proceedings of the 24th Symposium on Formal Methods, FM 2021, hel...

Információk a könyvről

Szerző
Naijun Zhan, Corina Pasareanu
Nyelv
Angol
Kötés
Könyv - Puha kötésű
Kiadva
2021
oldal
800
EAN
9783030908690
ISBN
3030908690
Enbook ID
37633220
Kiadó
Springer Nature Switzerland AG
Súly
1234
Méretek
155 x 235 x 44

Teljes leírás

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.

Érdekelheti

Traditional Jewelry of India

Oppi Untracht
14 316 Ft

Making It to Semany

Haig Urum
15 456 Ft

Your Black Friend

Ben Passmore
2 307 Ft

Gas Card Reloaded

Roxanne C Fredd
6 534 Ft

The Fugitives: The Tyrant Queen of Madagascar

R M Ballantyne
3 343 Ft

First Observation of Coherent Elastic Neutrino-Nucleus Scattering

Bjorn Scholz
38 537 Ft

Ireland, Slavery and the Caribbean

Ciarán O'Neill
38 707 Ft

Azok a vásárlók, akik ezt a könyvet megvásárolták, a következőket is megvásárolták

modernen Vater der Antike

Annette M. Baertschi
57 579 Ft

Magie der Natur: Eine Revolutions-Geschichte

Caroline De La Motte Fouque
4 156 Ft

Fundamenta Krestomatio

L.L. Zamenhof
6 534 Ft

Trichoderma

Jaimin Pandya
9 092 Ft

AUTOANALISIS

CAVALIERE
4 470 Ft

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

Mounir
8 697 Ft