Brezplačna dostava za naročila nad 69.99 € na paketomatih Pošte Slovenije.
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č
Dostava
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 €
Brezplačna dostava Zásilkovna nad 69.99 €
Svetovalec pri nakupu
Moj račun
▸
Prazna :-(
0
Brezplačna dostava za naročila nad 69.99 € na paketomatih Pošte Slovenije.
Integrated Formal Methods
16th International Conference, IFM 2020, Lugano, Switzerland, November 16-20, 2020, Proceedings
Jezik
Angleščina
Angleščina
E-knjiga
Adobe ePub DRM
This book constitutes the refereed proceedings of the 16th International Conference on Integrated Fo...
Celoten opis
Koda Libristo: 41009969
?
132 b
132 b
54.48
€
Na zalogi
Prenesi zdaj
This book constitutes the refereed proceedings of the 16th International Conference on Integrated Formal Methods, IFM 2019, held in Lugano, Switzerland, in November 2020.The 24 full papers and 2 short papers were carefully reviewed and selected from 63 submissions. The papers cover a broad spectrum of topics: Integrating Machine Learning and Formal Modelling; Modelling and Verification in B and Event-B; Program Analysis and Testing; Verification of Interactive Behaviour; Formal Verification; Static Analysis; Domain-Specific Approaches; and Algebraic Techniques.
Igralka
&
Poliglotka
EWA KASP
za
Predvajaj video
Libristo ima največjo izbiro tujejezične literature. Zato svoje knjige kupujem tukaj.
O knjigi
Polni naslov
Integrated Formal Methods
Avtor
Brijesh Dongol, Elena Troubitsyna
Jezik
Angleščina
Angleščina
Vezava
E-knjiga - Adobe ePub DRM
Datum izida
2020
EAN
9783030634612
Koda Libristo
41009969
Založba
Springer
Kategorije
Computing & Information Technology
>
Computer science
>
Artificial intelligence
>
Expert systems / knowledge-based systems
Computing & Information Technology
>
Computer science
>
Artificial intelligence
>
Natural language & machine translation
