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ł
Poczta Polska 20.99 zł DPD Kurier 12.99 zł InPost Kurier 12.99 zł Paczkomat 13.99 zł
phone Kontakt phoneJak kupować
Darmowa dostawa dla zamówień powyżej 299,00 zł.

Integrated Formal Methods

Język AngielskiAngielski
Książka Miękka
Książka Integrated Formal Methods Brijesh Dongol
Kod Libristo: 33397354
Wydawnictwo Springer Nature Switzerland AG, listopad 2020
This book constitutes the refereed proceedings of the 16th International Conference on Integrated Fo... Cały opis
? points 118 b
213.04 zł
Dostępna u dostawcy Wysyłamy za 5-8 dni

Nawet do 30 dni na zwrot

Klienci kupili także

Jamais rien ne meurt Viet Thanh Nguyen / Książka Miękka
common.buy 52.12 zł
Lang Lang: The Disney Book DG / Audio CD Audio
common.buy 58.67 zł
Royaume d`Europe Achim Roder / Książka Miękka
common.buy 63.01 zł
Ein Handbuch über Straßen für Nicht-Ingenieure Shaibu Bawa / Książka Miękka
common.buy 168.38 zł
Ardic Kutulu Set / Książka Miękka
common.buy 130.97 zł
Bewegtes Lernen! Mathe Heike Beckmann / Książka Karta
common.buy 90.23 zł
La educación infantil que queremos GARCIA FERNANDEZ / Książka Miękka
common.buy 110.10 zł
Zapowiedź
La folle histoire du PSG - Nouvelle Edition DEGORRE-D Książka Miękka
common.buy 110.20 zł
Jamais plus Colleen Hoover / Książka Miękka
common.buy 94.57 zł
Z dans le bordel ! Israël Książka Twarda
common.buy 99.91 zł
Le sang et la pierre - ou la quete d'Alberic, il y a mille ans en Aquitaine Aubard Książka Miękka
common.buy 44.56 zł
Fabrique littéraire de lieux autres Toma / Książka Miękka
common.buy 74.00 zł
Kindeswohl und Elternrecht. Eine Untersuchung am Beispiel des Sozialen Frühwarnsystems Franziska Preuß / Książka Miękka
common.buy 98.00 zł
State-of-the-Art und Bedarf von Business Intelligence Serdar Danis / Książka Miękka
common.buy 186.93 zł

This book constitutes the refereed proceedings of the 16th International Conference on Integrated Formal Methods, IFM 2019, held in Lugano, Switzerland, in November 2020.The 24 full papers and 2 short papers were carefully reviewed and selected from 63 submissions. The papers cover a broad spectrum of topics: Integrating Machine Learning and Formal Modelling; Modelling and Verification in B and Event-B; Program Analysis and Testing; Verification of Interactive Behaviour; Formal Verification; Static Analysis; Domain-Specific Approaches; and Algebraic Techniques.

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 Integrated Formal Methods
Autor Brijesh Dongol
Język Angielski
Oprawa Książka - Miękka
Data wydania 2020
Liczba stron 461
EAN 9783030634605
ISBN 3030634604
Kod Libristo 33397354
Wydawnictwo Springer Nature Switzerland AG
Waga 724
Wymiary 155 x 235 x 26

Kategoria

Informatyka i technologie informacyjne (IT) > Informatyka (nauka) > Sztuczna inteligencja > Systemy ekspertowe / Systemy oparte na wiedzy
Informatyka i technologie informacyjne (IT) > Informatyka (nauka) > Sztuczna inteligencja > Języki naturalne i tłumaczenie automatyczne
Informatyka i technologie informacyjne (IT) > Informatyka (nauka) > Sztuczna inteligencja > Rozpoznawanie mowy
Informatyka i technologie informacyjne (IT) > Programowanie komputerowe i tworzenie oprogramowania > Algorytmy i struktury danych
Informatyka i technologie informacyjne (IT) > Programowanie komputerowe i tworzenie oprogramowania > Inżynieria oprogramowania
Informatyka i technologie informacyjne (IT) > Informatyka (nauka) > Analiza systemowa i projektowanie
Informatyka i technologie informacyjne (IT) > Sprzęt komputerowy
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ć

IBS International Summerschool on Computer Science, Computer Engineering and Education Technology 2017 Wolfram Hardt / Książka Miękka
common.buy 66.98 zł
Nova Knows Numbers / Nova Sabe Los Números Patricia Bellamy-Mathis / Książka Twarda
common.buy 111.91 zł
The Mongol Archive in Late Medieval France – Texts, Objects, Encounters, 1221–1422 Mark Cruse / Książka Twarda
common.buy 346.64 zł
Secret Guide To Dark Psychology Emory Green / Książka Twarda
common.buy 258.52 zł
Quantum AI and its Applications in Blockchain Technology Nitin Mittal / Książka Twarda
common.buy 1 039.55 zł
Unforsaken John Mckenna / Książka Miękka
common.buy 86.60 zł
The Modern Treatment of Syphilitic Diseases: Both Primary and Secondary, Comprising an Account of T Langston Parker / Książka Twarda
common.buy 133.29 zł
Forbidden kingdom / Wideo DVD
common.buy 28.12 zł
Divide and Conquer! Puzzles PUZZLE PULSE / Książka Miękka
common.buy 57.36 zł
Woman in Battle Loreta Janeta Velazquez / Książka Miękka
common.buy 216.37 zł
The Early History Of Egypt Samuel Sharpe / Książka Twarda
common.buy 179.87 zł
Novice Trudi Canavan / E-book Adobe ePub DRM
common.buy 28.83 zł
Metamorphosis: A Grove Hollow Novel NICOLE SHELBY / Książka Twarda
common.buy 74.00 zł
Discrete-Event System Simulation Jerry Banks & John Carson / Książka Miękka
common.buy 427.13 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?