Sprawdzić stan zamówienia
LIBRISTO
LIBROAMANTO
obowiązkowe
Zapomniane hasło
Zostań członkiem wspólnoty miłośników książek z całego świata i zyskaj mnóstwo korzyści. Załóż konto bezpłatnie
0
Darmowa dostawa z usługą Inpost oraz Orlen od 299.00 zł
DPD Kurier 12.99 zł Poczta Polska 18.99 zł Paczkomat 13.99 zł InPost 12.99 zł Punkt DPD 13.99 zł
phone Kontakt phoneJak kupować
Darmowa dostawa dla zamówień powyżej 299,00 zł.

Formal Methods

Język AngielskiAngielski
Książka Miękka
Książka Formal Methods Naijun Zhan
Kod Libristo: 37633220
Wydawnictwo Springer Nature Switzerland AG, listopad 2021
This book constitutes the refereed proceedings of the 24th Symposium on Formal Methods, FM 2021, hel... Cały opis
? points 274 b
479.38 zł
Dostępna u dostawcy Wysyłamy za 5-8 dni

30 dni na zwrot towaru

Klienci kupili także

modernen Vater der Antike Annette M. Baertschi / Książka Twarda
common.buy 640.34 zł
Magie der Natur: Eine Revolutions-Geschichte Caroline De La Motte Fouque / Książka Miękka
common.buy 47.20 zł
Fundamenta Krestomatio L.L. Zamenhof / Książka Miękka
common.buy 74.16 zł
Trichoderma Jaimin Pandya / Książka Miękka
common.buy 102.12 zł
AUTOANALISIS CAVALIERE / Książka Miękka
common.buy 54.91 zł
Co-construction entre Idéalisme et Réalité Mounir / Książka Miękka
common.buy 106.93 zł

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.

Aktorka & Poliglotka
EWA KASP dla
Odtworzyć wideo
Ewa Kasp
Libristo ma największy wybór literatury obcojęzycznej. Dlatego tutaj kupuję swoje książki.

Informacje o książce

Pełna nazwa Formal Methods
Autor Naijun Zhan, Corina Pasareanu
Język Angielski
Oprawa Książka - Miękka
Data wydania 2021
Liczba stron 800
EAN 9783030908690
ISBN 3030908690
Kod Libristo 37633220
Wydawnictwo Springer Nature Switzerland AG
Waga 1234
Wymiary 155 x 235 x 44

Kategoria

Informatyka i technologie informacyjne (IT) > Informatyka (nauka) > Sztuczna inteligencja > Systemy ekspertowe / Systemy oparte na wiedzy
Informatyka i technologie informacyjne (IT) > Programowanie komputerowe i tworzenie oprogramowania > Inżynieria oprogramowania
Podaruj tę książkę jeszcze dziś
To łatwe
1 Dodaj książkę do koszyka i wybierz „dostarczyć jako prezent” 2 W odpowiedzi wyślemy Ci bon 3 Książka dotrze na adres obdarowanego

Mogłoby Cię także zainteresować

Traditional Jewelry of India Oppi Untracht / Książka Miękka
common.buy 159.85 zł
Making It to Semany Haig Urum / Książka Twarda
common.buy 176.19 zł
Your Black Friend Ben Passmore / Książka Miękka
common.buy 26.45 zł
Gas Card Reloaded Roxanne C Fredd / Książka Miękka
common.buy 74.16 zł
The Fugitives: The Tyrant Queen of Madagascar R M Ballantyne / Książka Miękka
common.buy 38.18 zł
First Observation of Coherent Elastic Neutrino-Nucleus Scattering Bjorn Scholz / Książka Twarda
common.buy 435.98 zł
Ireland, Slavery and the Caribbean Ciarán O'Neill / Książka Twarda
common.buy 425.86 zł

Logowanie

Zaloguj się do swojego konta. Nie masz jeszcze konta Libristo? Utwórz je teraz!

 
obowiązkowe
obowiązkowe
Zapomniane hasło

Nie masz konta? Zyskaj korzyści konta Libristo!

Dzięki kontu Libristo będziesz mieć wszystko pod kontrolą.

Utwórz konto Libristo