Brezplačna dostava za naročila nad 69.99 € na paketomatih Pošte Slovenije.

Preverjanje stanja naročila

Postanite del skupnosti ljubiteljev knjig z vsega sveta in uživajte v številnih ugodnostih. Ustvarite brezplačen račun

Brezplačna dostava Zásilkovna nad 69.99 €

Zbirna točka GLS 4.49 € Zbirna točka DPD 2.99 € Kurirska služba GLS 5.49 € Kurir DPD 3.49 € Kurirska služba 3.49 € Zbirno mesto 3.49 € Zbirno mesto 3.49 € Dostava preko Pošte Slovenije 3.49 €

Kontakt

Kako nakupovati

Pomoč

Moj račun

▸ Prazna :-(

Brezplačna dostava za naročila nad 69.99 € na paketomatih Pošte Slovenije.

Formal Methods

Name: Formal Methods
Brand: Springer
SKU: 41016754
Price: 120.31 EUR
Availability: InStock
Author: Marieke Huisman
ISBN: 9783030908706

24th International Symposium, FM 2021, Virtual Event, November 20-26, 2021, Proceedings

Marieke Huisman

Corina Pasareanu

Naijun Zhan

Jezik

Angleščina

E-knjiga Adobe ePub DRM

Koda Libristo: 41016754

Založba Springer, november 2021

This book constitutes the refereed proceedings of the 24th Symposium on Formal Methods, FM 2021, hel... Celoten opis

Koda Libristo: 41016754

291 b

120.31 €

Na zalogi Prenesi zdaj

Drugi so kupili tudi

Sich(er) fühlen: Dein Körper ist der Schlüssel Kathleen Kunze

Mehka

14.37 €

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.