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 Kurier 12.99 zł Punkt DPD 11.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
490.27 zł
Dostępna u dostawcy Wysyłamy za 5-8 dni

Nawet do 30 dni na zwrot

Klienci kupili także

Co-construction entre Idéalisme et Réalité Mounir / Książka Miękka
common.buy 108.65 zł
TOP
Svatí charismatici - Jak sloužit v moci Boží Patrick Reis / Książka Miękka
common.buy 46.53 zł
Après la pluie, le Beau Temps Comtesse de Segur / E-book Adobe ePub DRM
common.buy 70.51 zł
Consultor Para O Corretor De Im veis De Sucesso Amero Montenee / Książka Miękka
common.buy 80.66 zł
AUTOANALISIS CAVALIERE / Książka Miękka
common.buy 50.42 zł
Trichoderma Jaimin Pandya / Książka Miękka
common.buy 104.44 zł
Il Diritto Di Sciopero E Il Contratto Di Lavoro (1907) Francesco Carnelutti / Książka Miękka
common.buy 91.94 zł
Traite Sur l'Hydrophobie Ou Rage, Moyen de Prevenir Et de Guerir Cette Maladie BUISSON-F / Książka Miękka
common.buy 55.14 zł
LA MÚSICA Y LOS NÚMEROS ELI MAOR / Książka Miękka
common.buy 97.37 zł
Fundamenta Krestomatio L.L. Zamenhof / Książka Miękka
common.buy 75.84 zł
Magie der Natur: Eine Revolutions-Geschichte Caroline De La Motte Fouque / Książka Miękka
common.buy 48.27 zł
modernen Vater der Antike Annette M. Baertschi / Książka Twarda
common.buy 654.89 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ć

Making It to Semany Haig Urum / Książka Twarda
common.buy 180.19 zł
Traditional Jewelry of India Oppi Untracht / Książka Miękka
common.buy 163.49 zł
Latin Commentaries on Revelation Victorinus of Petovium / Książka Miękka
common.buy 236.88 zł
Your Black Friend Ben Passmore / Książka Miękka
common.buy 27.05 zł
Gas Card Reloaded Roxanne C Fredd / Książka Miękka
common.buy 75.84 zł
I Knew I Loved You When: Book 5: Pointe Royal Series Lee Wardlow / Książka Miękka
common.buy 36.99 zł
The Fugitives: The Tyrant Queen of Madagascar R M Ballantyne / Książka Miękka
common.buy 39.04 zł
First Observation of Coherent Elastic Neutrino-Nucleus Scattering Bjorn Scholz / Książka Twarda
common.buy 445.89 zł
Ireland, Slavery and the Caribbean Ciarán O'Neill / Książka Twarda
common.buy 435.53 zł
The Scorpion: Metamorphosis of Smoke John a Autero / Książka Miękka
common.buy 53.09 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
Doradca książkowy Libroamiko
Cześć, jestem Libroamiko, w czym mogę pomóc?