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ł.

Integrated Formal Methods

13th International Conference, IFM 2017, Turin, Italy, September 20-22, 2017, Proceedings

Język AngielskiAngielski
Książka Miękka
Książka Integrated Formal Methods Nadia Polikarpova
Kod Libristo: 16803868
Wydawnictwo Springer International Publishing AG, sierpień 2017
This book constitutes the refereed proceedings of the 13th International Conference on Integrated Fo... Cały opis
? points 125 b
218.99 zł
Dostępna u dostawcy Wysyłamy za 5-8 dni

30 dni na zwrot towaru

Klienci kupili także

LE MYSTERE DE LA MAISON AUX TROIS ORMES Musso / Książka Miękka
common.buy 156.06 zł
La sagesse divine des animaux Stacey Demarco / Książka Twarda
common.buy 131.07 zł
Die Auflage Nach Dem Burgerlichen Gesetzbuche (1898) August Feigel / Książka Miękka
common.buy 86.01 zł
Au Bord Du Lac (1852) Emile Souvestre / Książka Miękka
common.buy 126.15 zł
Sancti Aurelii Augustini Hipponensis Episcopi ... Opera Omnia Post Lovaniensium Theologorum Recensionem Castigata: Denuo Ad Manuscriptes Codices Galli Saint Augustine of Hippo / Książka Miękka
common.buy 126.15 zł
Arte poética de Horacio o Epístola a los Pisones: Tres traducciones al castellano y la versión latina Horacio / Książka Miękka
common.buy 116.32 zł
Divertimento für Tenorsaxaphon und kleines Ensembl Carl/Enders Oesterhelt / Audio CD Audio
common.buy 95.44 zł
El silenci de les cases MARIA SANPLA / Książka Miękka
common.buy 63.62 zł
Leonardo Martin Kemp / Książka Miękka
common.buy 62.72 zł
Lecciones de Seguridad Social (I) : el sistema de Seguridad Social su régimen general y la protección social complementaria Francisco Javier Hernáez Manrique / Książka Miękka
common.buy 89.32 zł
Lumieres Et Romantisme M. Castillo / Książka Miękka
common.buy 121.74 zł

This book constitutes the refereed proceedings of the 13th International Conference on Integrated Formal Methods, IFM 2017, held in Turin, Italy, in September 2017. The 24 full papers and 4 short papers presented were carefully reviewed and selected from 61 submissions. They are organized in topical sections on cyber-physical systems, software verification tools, safety-critical systems, concurrency and distributed systems, program verification techniques, formal modeling, and verified software..

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 Nadia Polikarpova, Steve Schneider
Język Angielski
Oprawa Książka - Miękka
Data wydania 2017
Liczba stron 438
EAN 9783319668444
ISBN 3319668447
Kod Libristo 16803868
Wydawnictwo Springer International Publishing AG
Waga 6905
Wymiary 155 x 235 x 26

Kategoria

Informatyka i technologie informacyjne (IT) > Programowanie komputerowe i tworzenie oprogramowania > Języki skryptowe – zagadnienia ogólne
Informatyka i technologie informacyjne (IT) > Programowanie komputerowe i tworzenie oprogramowania > Inżynieria oprogramowania
Informatyka i technologie informacyjne (IT) > Informatyka (nauka) > Sztuczna inteligencja
Informatyka i technologie informacyjne (IT) > Technologia informacyjna (IT) – zagadnienia ogólne
Informatyka i technologie informacyjne (IT) > Sieci komputerowe i telekomunikacja
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ć

Creatures of Old Prasad / Audiobook MP3
common.buy 16.85 zł
The Black Doctor: And Other Tales of Terror and Mystery (1919) Arthur Conan Doyle / Książka Miękka
common.buy 130.17 zł
Introduction to Nuclear Waste Immobilisation Michael Ojovan / Książka Miękka
common.buy 982.49 zł
The Itsy Bitsy Spider Flowerpot Press / Książka Leporelo
common.buy 38.73 zł
Illustrated Guide to Chemistry JEFF GRANT / Książka Miękka
common.buy 86.21 zł
Taking A Long Look Vivian Gornick / Książka Twarda
common.buy 88.61 zł
The Case of The Stolen Case Carl Brookins / Książka Miękka
common.buy 58.81 zł
Undying Destiny Jessica Lee / Audiobook MP3
common.buy 85.00 zł
Capybara Zen Helen H. Wu / Książka Miękka
common.buy 29.60 zł
Let Me Tell You A Story Rob Parsons / Książka Twarda
common.buy 80.59 zł
Crafty Makes: 51 Things to Make with Paper Plates Fiona Hayes / Książka Twarda
common.buy 49.07 zł
Tanie
The Legend of Sleepy Hollow Tarot--Headless Horseman Edition LAWYER NICK / Prasa Karty
common.buy 148.23 zł
TOP
Lout of Count's Family (Novel) Vol. 1 Yu Ryeo-Han / Książka Miękka
common.buy 59.91 zł
Writing for Interaction Linda Newman Lior / Książka Miękka
common.buy 220.90 zł
Parenting with Presence Susan Stiffelman / Książka Miękka
common.buy 57.50 zł
Real-Life Distance Education Al P. Mizell / Książka Twarda
common.buy 535.05 zł
Kaukasus Und Seine Volker. Mit Textabbildungen, Etc. Roderich Von Erckert / Książka Miękka
common.buy 117.02 zł
British Culture of the Post-War Alastair Davies / Książka Miękka
common.buy 261.75 zł
Cloud Computing for Teaching and Learning Lee Chao / Książka Twarda
common.buy 747.33 zł
Community Identity Sebastian Kim / Książka Miękka
common.buy 436.59 zł
Euro Crash Brendan Brown / Książka Twarda
common.buy 485.47 zł
Zapowiedź
Creating Belfast Don McCloy / Książka Miękka
common.buy 90.02 zł
Wonder Island Boys Roger Thompson Finlay / Książka Miękka
common.buy 68.44 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?