Zistiť stav objednávky
LIBRISTO
LIBROAMANTO
povinné
Zabudnuté heslo
Staňte sa súčasťou komunity milovníkov kníh z celého sveta a získajte hromadu výhod. Založiť účet zdarma
0
Doprava zadarmo s Packetou nad 59.99 €
Kuriér DPD 2.99 € Zberné miesto GLS 2.99 € SPS 3.99 € Kuriér GLS 3.49 € SPS Parcel Shop 2.99 € Packeta kurýr 3.99 € Pošta 3.99 € Zberné miesto DPD 2.99 € Zberné miesto DPD 0.00 € Packeta 2.99 €
phone Kontakt phoneAko nakupovať
Doprava zdarma pre objednávky nad 59,99 € s Packetou a SPS Boxmi.

Formal Methods

Jazyk AngličtinaAngličtina
Kniha Brožovaná
Kniha Formal Methods Naijun Zhan
Libristo kód: 37633220
Nakladateľstvo Springer Nature Switzerland AG, november 2021
This book constitutes the refereed proceedings of the 24th Symposium on Formal Methods, FM 2021, hel... Celý popis
? points 274 b
113.43 €
Skladom u dodávateľa Odosielame za 5-8 dní

30 dní na vrátenie tovaru

Zákazníci tiež kúpili

modernen Vater der Antike Annette M. Baertschi / Kniha Pevná
common.buy 159.41 €
Magie der Natur: Eine Revolutions-Geschichte Caroline De La Motte Fouque / Kniha Brožovaná
common.buy 10.62 €
Fundamenta Krestomatio L.L. Zamenhof / Kniha Brožovaná
common.buy 16.70 €
Trichoderma Jaimin Pandya / Kniha Brožovaná
common.buy 24.20 €
AUTOANALISIS CAVALIERE / Kniha Brožovaná
common.buy 12.95 €
Co-construction entre Idéalisme et Réalité Mounir / Kniha Brožovaná
common.buy 25.31 €

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.

Herečka & Polyglotka
EWA KASP pre
Prehrať video
Ewa Kasp
Libristo má najväčší výber cudzojazyčnej literatúry. Preto si knihy kupujem tu.

Informácie o knihe

Celý názov Formal Methods
Autor Naijun Zhan, Corina Pasareanu
Jazyk Angličtina
Väzba Kniha - Brožovaná
Dátum vydania 2021
Počet strán 800
EAN 9783030908690
ISBN 3030908690
Libristo kód 37633220
Nakladateľstvo Springer Nature Switzerland AG
Váha 1234
Rozmery 155 x 235 x 44

Kategórie

Výpočtové a informačné technológie > Informatika > Umelá inteligencia > Expertné systémy/systémy založené na vedomostiach
Výpočtové a informačné technológie > Počítačové programovanie/softvérové ​​inžinierstvo > Softvérové ​​inžinierstvo
Darujte túto knihu ešte dnes
Je to jednoduché
1 Pridajte knihu do košíka a vyberte možnosť doručiť ako darček 2 Obratom Vám zašleme poukaz 3 Knihu zašleme na adresu obdarovaného

Mohlo by vás tiež zaujímať

Traditional Jewelry of India Oppi Untracht / Kniha Brožovaná
common.buy 35.44 €
Making It to Semany Haig Urum / Kniha Pevná
common.buy 39.59 €
Your Black Friend Ben Passmore / Kniha Brožovaná
common.buy 6.27 €
Gas Card Reloaded Roxanne C Fredd / Kniha Brožovaná
common.buy 16.70 €
The Fugitives: The Tyrant Queen of Madagascar R M Ballantyne / Kniha Brožovaná
common.buy 8.50 €
First Observation of Coherent Elastic Neutrino-Nucleus Scattering Bjorn Scholz / Kniha Pevná
common.buy 103.10 €
Ireland, Slavery and the Caribbean Ciarán O'Neill / Kniha Pevná
common.buy 106.64 €

Prihlásenie

Prihláste sa k svojmu účtu. Ešte nemáte Libristo účet? Vytvorte si ho teraz!

 
povinné
povinné
Zabudnuté heslo

Nemáte účet? Získajte výhody Libristo účtu!

Vďaka Libristo účtu budete mať všetko pod kontrolou.

Vytvoriť Libristo účet