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č Balíkovna 69 Kč PPL kurýr 74 Kč PPL box 39 Kč Zásilkovna 39 Kč Výdejní místo DPD 49 Kč PPL shop 49 Kč Balíkovna 49 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 591 Kč
Skladem u dodavatele Odesíláme za 5-8 dnů

Až 30 dní na vrácení zboží

Zákazníci také koupili

Svatí charismatici - Jak sloužit v moci Boží Patrick Reis / Kniha Brožovaná
common.buy 219 Kč
Vidrák, gólyák, denevérek Czernák Eszter / Kniha Pevná
common.buy 273 Kč
giardini di Palazzo Giacomelli Luciana Crosato Larcher / Kniha Brožovaná
common.buy 386 Kč
Вернер. Математика: Алгебра и начала математического анализа, геометрия 10 класс Базовый уровень. Учебник. / Kniha Brožovaná
common.buy 528 Kč
LA MÚSICA Y LOS NÚMEROS ELI MAOR / Kniha Brožovaná
common.buy 542 Kč
Consultor Para O Corretor De Im veis De Sucesso Amero Montenee / Kniha Brožovaná
common.buy 390 Kč
AUTOANALISIS CAVALIERE / Kniha Brožovaná
common.buy 309 Kč
De la très haute pauvreté Agamben giorgio / Kniha Brožovaná
common.buy 309 Kč
Après la pluie, le Beau Temps Comtesse de Segur / E-kniha Adobe ePub DRM
common.buy 404 Kč
Co-construction entre Idéalisme et Réalité Mounir / Kniha Brožovaná
common.buy 583 Kč
Trichoderma Jaimin Pandya / Kniha Brožovaná
common.buy 549 Kč
Il Diritto Di Sciopero E Il Contratto Di Lavoro (1907) Francesco Carnelutti / Kniha Brožovaná
common.buy 502 Kč
BABADADA, Ikinyarwanda - magyar nyelv, inkoranyamagambo mu mashusho - kepes szotar Babadada Gmbh / Kniha Brožovaná
common.buy 668 Kč
Taschenführer zur ICD-10-Klassifikation psychischer Störungen Horst Dilling / Kniha Brožovaná
common.buy 822 Kč
Traite Sur l'Hydrophobie Ou Rage, Moyen de Prevenir Et de Guerir Cette Maladie BUISSON-F / Kniha Brožovaná
common.buy 300 Kč
Nebojte se klasiky! 10 Antonín Dvořák Rusalka Luděk Munzar; Klára Sedláčková Oltová; Ilja Racek; Antonín Dvořák / Audio Audio CD
common.buy 171 Kč
Fundamenta Krestomatio L.L. Zamenhof / Kniha Brožovaná
common.buy 413 Kč
Magie der Natur: Eine Revolutions-Geschichte Caroline De La Motte Fouque / Kniha Brožovaná
common.buy 262 Kč
Gottfried Kellers Leben, seine Briefe und Tagebucher Gottfried Keller / Kniha Brožovaná
common.buy 832 Kč
Fiel a Si Misma Danielle Steel / Kniha Brožovaná
common.buy 310 Kč
Evolutionare Medizin Werner Buselmaier / Kniha Brožovaná
common.buy 328 Kč
modernen Vater der Antike Annette M. Baertschi / Kniha Pevná
common.buy 3 641 Kč
"letztes Selbstportrait (Camouflage) Von Andy Warhol. Eine Ikonografie Silke Strecker / Kniha Brožovaná
common.buy 328 Kč
Produktionswirtschaft - Controlling Industrieller Produktion Jens Lauber / Kniha Pevná
common.buy 1 187 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

End of Poverty Peter Edward / Kniha Pevná
common.buy 1 344 Kč
Gas Card Reloaded Roxanne C Fredd / Kniha Brožovaná
common.buy 413 Kč
Magic Whistle and the Tiny Bag of Wishes Ellah Louise Ramsey / Kniha Brožovaná
common.buy 286 Kč
Jesus... William Dallmann / Kniha Brožovaná
common.buy 658 Kč
Thanksgiving Coloring Book Harper Hall / Kniha Brožovaná
common.buy 252 Kč
The Scorpion: Metamorphosis of Smoke John a Autero / Kniha Brožovaná
common.buy 288 Kč
Ireland, Slavery and the Caribbean Ciarán O'Neill / Kniha Pevná
common.buy 2 465 Kč
The Fire Starter Jess Parker / Kniha Brožovaná
common.buy 194 Kč
First Observation of Coherent Elastic Neutrino-Nucleus Scattering Bjorn Scholz / Kniha Pevná
common.buy 2 356 Kč
Top
Sinjar Susan Shand / Kniha Pevná
common.buy 575 Kč
The Fugitives: The Tyrant Queen of Madagascar R M Ballantyne / Kniha Brožovaná
common.buy 211 Kč
I Knew I Loved You When: Book 5: Pointe Royal Series Lee Wardlow / Kniha Brožovaná
common.buy 201 Kč
Your Black Friend Ben Passmore / Kniha Brožovaná
common.buy 153 Kč
West Yellowstone Paul Shea / Kniha Pevná
common.buy 573 Kč
Effective Teaching in Higher Education Madeleine J. Atkins / Kniha Pevná
common.buy 6 087 Kč
Jamie's Kitchen Jamie Oliver / Kniha Brožovaná
common.buy 408 Kč
21st Century Case for a Managed Economy Sean Harkin / Kniha Brožovaná
common.buy 632 Kč
Introduction to Optical Mineralogy William D. Nesse / Kniha Brožovaná
common.buy 4 304 Kč
Traditional Jewelry of India Oppi Untracht / Kniha Brožovaná
common.buy 1 419 Kč
Stealth Dragon Services Lucinda Hare / Kniha Brožovaná
common.buy 346 Kč
Making It to Semany Haig Urum / Kniha Pevná
common.buy 921 Kč
THE THIRD EYE-The Mystery of Sri Sri Ramakrishna's Visions / Kniha Brožovaná
common.buy 421 Kč
Latin Commentaries on Revelation Victorinus of Petovium / Kniha Brožovaná
common.buy 1 275 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
Knižní rádce Libroamiko
Ahoj, jsem Libroamiko, můžu pomoct?