Zjistit stav objednávky
LIBRISTO
LIBROAMANTO
povinné
Zapomenuté heslo
Staňte se součástí komunity milovníků knih z celého světa a získejte hromadu výhod. Založit účet zdarma
0
Doprava zdarma se Zásilkovnou nad 1 499 Kč
Kurýr DPD 69 Kč PPL shop 49 Kč Balíkovna 69 Kč PPL kurýr 74 Kč PPL box 39 Kč Balíkovna 49 Kč Výdejní místo DPD 49 Kč Zásilkovna 39 Kč
phone Kontakt phoneJak nakupovat
Doprava zdarma při nákupu nad 1 499 Kč přes Zásilkovnu nebo PPL Box.

Formal Methods

Jazyk AngličtinaAngličtina
Kniha Brožovaná
Kniha Formal Methods Naijun Zhan
Libristo kód: 37633220
Nakladatelství Springer Nature Switzerland AG, listopad 2021
This book constitutes the refereed proceedings of the 24th Symposium on Formal Methods, FM 2021, hel... Celý popis
? points 259 b
2 592 Kč
Skladem u dodavatele Odesíláme za 5-8 dnů

30 dní na vrácení zboží

Zákazníci také koupili

modernen Vater der Antike Annette M. Baertschi / Kniha Pevná
common.buy 3 660 Kč
Magie der Natur: Eine Revolutions-Geschichte Caroline De La Motte Fouque / Kniha Brožovaná
common.buy 256 Kč
Fundamenta Krestomatio L.L. Zamenhof / Kniha Brožovaná
common.buy 403 Kč
Trichoderma Jaimin Pandya / Kniha Brožovaná
common.buy 550 Kč
AUTOANALISIS CAVALIERE / Kniha Brožovaná
common.buy 314 Kč
Co-construction entre Idéalisme et Réalité Mounir / Kniha Brožovaná
common.buy 611 Kč

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 pro
Přehrát video
Ewa Kasp
Libristo má největší výběr cizojazyčné literatury. Proto své knihy kupuji tady.

Informace o knize

Plný název Formal Methods
Autor Naijun Zhan, Corina Pasareanu
Jazyk Angličtina
Vazba Kniha - Brožovaná
Datum vydání 2021
Počet stran 800
EAN 9783030908690
ISBN 3030908690
Libristo kód 37633220
Nakladatelství Springer Nature Switzerland AG
Váha 1234
Rozměry 155 x 235 x 44

Kategorie

Výpočetní a informační technologie > Informatika > Umělá inteligence > Expertní systémy/systémy založené na znalostech
Výpočetní a informační technologie > Počítačové programování/softwarové inženýrství > Softwarové inženýrství
Darujte tuto knihu ještě dnes
Je to snadné
1 Přidejte knihu do košíku a zvolte doručit jako dárek 2 Obratem vám zašleme poukaz 3 Kniha dorazí na adresu obdarovaného

Mohlo by vás také zajímat

Traditional Jewelry of India Oppi Untracht / Kniha Brožovaná
common.buy 857 Kč
Making It to Semany Haig Urum / Kniha Pevná
common.buy 958 Kč
Your Black Friend Ben Passmore / Kniha Brožovaná
common.buy 144 Kč
Gas Card Reloaded Roxanne C Fredd / Kniha Brožovaná
common.buy 403 Kč
The Fugitives: The Tyrant Queen of Madagascar R M Ballantyne / Kniha Brožovaná
common.buy 206 Kč
First Observation of Coherent Elastic Neutrino-Nucleus Scattering Bjorn Scholz / Kniha Pevná
common.buy 2 357 Kč
Ireland, Slavery and the Caribbean Ciarán O'Neill / Kniha Pevná
common.buy 2 434 Kč

Přihlášení

Přihlaste se ke svému účtu. Ještě nemáte Libristo účet? Vytvořte si ho nyní!

 
povinné
povinné
Zapomenuté heslo

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

Díky Libristo účtu budete mít vše pod kontrolou.

Vytvořit Libristo účet