Provjerite status narudžbe
LIBRISTO
LIBROAMANTO
obvezno
Zaboravljena zaporka
Pridružite se zajednici ljubitelja knjige iz cijelog svijeta i ostvarite mnoštvo pogodnosti. Izradite besplatni račun
0
Besplatna dostava Overseas kurirskom službom iznad 69.99 €
DPD kurir 3.99 € Pošta 4.99 € Overseas 4.99 € Box Now 4.49 € GLS 4.99 € DPD točka 3.49 € GLS paketomat 3.99 €
phone Kontakt phoneKako kupovati
Besplatna dostava putem Box Now paketomata i Overseas kurirske službe iznad 69,99 €.

Formal Methods

Jezik EngleskiEngleski
Knjiga Meki uvez
Knjiga Formal Methods Naijun Zhan
Libristo kod: 37633220
Nakladnici Springer Nature Switzerland AG, studeni 2021
This book constitutes the refereed proceedings of the 24th Symposium on Formal Methods, FM 2021, hel... Cijeli opis
? points 274 b
113.17 €
Vanjske zalihe Šaljemo za 5-8 dana

30 dana za povrat kupljenih proizvoda

Kupci su kupili i

modernen Vater der Antike Annette M. Baertschi / Knjiga Tvrdi uvez
common.buy 159.05 €
Magie der Natur: Eine Revolutions-Geschichte Caroline De La Motte Fouque / Knjiga Meki uvez
common.buy 11.11 €
Fundamenta Krestomatio L.L. Zamenhof / Knjiga Meki uvez
common.buy 17.47 €
Trichoderma Jaimin Pandya / Knjiga Meki uvez
common.buy 24.14 €
AUTOANALISIS CAVALIERE / Knjiga Meki uvez
common.buy 12.32 €
Co-construction entre Idéalisme et Réalité Mounir / Knjiga Meki uvez
common.buy 24.14 €

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.

Glumica & Poliglotkinja
EWA KASP za
Pusti video
Ewa Kasp
Libristo ima najveći izbor literature na stranim jezicima. Zato svoje knjige kupujem ovdje.

Informacije o knjizi

Puni naziv Formal Methods
Autor Naijun Zhan, Corina Pasareanu
Jezik Engleski
Uvez Knjiga - Meki uvez
Datum izdanja 2021
Broj stranica 800
EAN 9783030908690
ISBN 3030908690
Libristo kod 37633220
Nakladnici Springer Nature Switzerland AG
Težina 1234
Dimenzije 155 x 235 x 44

Kategorija

Computing & Information Technology > Computer science > Artificial intelligence > Expert systems / knowledge-based systems
Computing & Information Technology > Computer programming / software engineering > Software Engineering
Poklonite ovu knjigu još danas
To je jednostavno
1 Dodajte knjigu u košaricu i odaberite isporuku kao poklon 2 Zauzvrat ćemo vam poslati kupon 3 Knjiga dolazi na adresu poklonoprimca

Moglo bi vas zanimati i

Traditional Jewelry of India Oppi Untracht / Knjiga Meki uvez
common.buy 37.68 €
Making It to Semany Haig Urum / Knjiga Tvrdi uvez
common.buy 41.52 €
Your Black Friend Ben Passmore / Knjiga Meki uvez
common.buy 6.26 €
Gas Card Reloaded Roxanne C Fredd / Knjiga Meki uvez
common.buy 17.47 €
The Fugitives: The Tyrant Queen of Madagascar R M Ballantyne / Knjiga Meki uvez
common.buy 8.98 €
First Observation of Coherent Elastic Neutrino-Nucleus Scattering Bjorn Scholz / Knjiga Tvrdi uvez
common.buy 102.86 €
Ireland, Slavery and the Caribbean Ciarán O'Neill / Knjiga Tvrdi uvez
common.buy 106.40 €

Prijava

Prijavite se na svoj račun. Još nemate Libristo račun? Otvorite ga odmah!

 
obvezno
obvezno
Zaboravljena zaporka

Nemate račun? Ostvarite pogodnosti uz Libristo račun!

Sve ćete imati pod kontrolom uz Libristo račun.

Otvoriti Libristo račun