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

12th International Conference, IFM 2016, Reykjavik, Iceland, June 1-5, 2016, Proceedings

Język AngielskiAngielski
Książka Miękka
Książka Integrated Formal Methods Erika Ábrahám
Kod Libristo: 02975401
Wydawnictwo Springer International Publishing AG, maj 2016
This book§constitutes the refereed proceedings of the 12th International Conference on Integrated§Fo... Cały opis
? points 199 b
350.58 zł
Dostępna u dostawcy Wysyłamy za 5-8 dni

30 dni na zwrot towaru

Klienci kupili także

Lebedele sălbatice - The Wild Swans (romană - engleză) Ulrich Renz / Książka Miękka
common.buy 57.68 zł
Entre chiens et loups Méndez / Książka Miękka
common.buy 77.32 zł
Nowość
Rosso Sangue - Le cinéma italien des années de plomb Rauger / Książka Miękka
common.buy 127.05 zł
Uebersetzung von deutschen zusammengesetzten Adjektiven ins Polnische anhand der Romane von Elfriede Jelinek Badstubner-Kizik Camilla Badstubner-Kizik / E-book Adobe ePub DRM
common.buy 277.28 zł
Atrás Da Muralha / Książka Miękka
common.buy 63.42 zł
BiBiBiber hat da mal 'ne Frage. Sind Dinos wirklich alle tot? Mai Thi Nguyen-Kim / E-book Adobe ePub DRM
common.buy 69.97 zł
Argumentative Strukturen in popularwissenschaftlichen Texten der franzoesischen Zeitschrift Science & Vie Andreas Reimann / Książka Miękka
common.buy 106.51 zł
lettera che cade. Jacques Lacan e l'uomo come scarto Bruno Moroncini / Książka Miękka
common.buy 110.74 zł
I cinque sensi giocano a nascondino. Il mondo del Signor Acqua Agostino Traini / Książka Twarda
common.buy 87.18 zł
Du matériau à l'architecture László Moholy-Nagy / Książka Miękka
common.buy 166.22 zł
Isagoge in Die Phanomenologische Apophantik G. Heffernan / Książka Miękka
common.buy 654.14 zł
AMETS POLITAK IZAN, MAITEA AA VV / Książka Twarda
common.buy 41.47 zł
Bleiben Sie im Zweifelsfall moeglichst nuchtern! Hannes Gemba / Książka Miękka
common.buy 57.68 zł
Bettine von Arnim: Liedkompositionen Paul A Koch / Książka Miękka
common.buy 66.04 zł

This book§constitutes the refereed proceedings of the 12th International Conference on Integrated§Formal Methods, IFM 2016, held in Reykjavik, Iceland, in June 2016.§The 33 papers§presented in this volume were carefully reviewed and selected from 99§submissions. They were organized in topical sections named: invited§contributions; program verification; probabilistic systems; concurrency; safety§and liveness; model learning; SAT and SMT solving; testing; theorem proving and§constraint satisfaction; case studies.§

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 Erika Ábrahám, Marieke Huisman
Język Angielski
Oprawa Książka - Miękka
Data wydania 2016
Liczba stron 538
EAN 9783319336923
ISBN 3319336924
Kod Libristo 02975401
Wydawnictwo Springer International Publishing AG
Waga 8248
Wymiary 155 x 235 x 29

Kategoria

Informatyka i technologie informacyjne (IT) > Programowanie komputerowe i tworzenie oprogramowania > Kompilatory i interpretery
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) > Matematyczna teoria obliczeń
Informatyka i technologie informacyjne (IT) > Informatyka (nauka) > Projektowanie architektury komputerowej i projektowanie logiczne
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ć

Advances in Discrete Applied Mathematics and Graph Theory Janez Zerovnik / Książka Twarda
common.buy 240.93 zł
Inhuman Relations Scott Becker / Książka Miękka
common.buy 82.25 zł
Championship DNA Gideon Mulinge Mwololo / Książka Miękka
common.buy 82.25 zł
Return to Social Justice Jessica Urwin / Książka Miękka
common.buy 519.83 zł
A Soldier's Daughter (Illustrated) G. A. Henty / Książka Miękka
common.buy 28.69 zł
History of the Fishes of the British Islands Jonathan Couch / Książka Miękka
common.buy 98.76 zł
Family Maps of DeKalb County, Alabama, Deluxe Edition Gregory a Boyd J D / Książka Miękka
common.buy 150.82 zł
Submissionary Sherryle Kiser Jackson / Książka Miękka
common.buy 63.12 zł
WAYSIDE PILLARS, BY THE AUTHOR OF 'THE F EMILY ELIZA ELLIOTT / Książka Twarda
common.buy 138.43 zł
Preparing for Blockade 1885-1914 COBB / Książka Miękka
common.buy 350.78 zł
Gerrit Smith Octavius Brooks Frothingham / Książka Twarda
common.buy 258.55 zł
Ameno Black: the Lynching of Arliss Black M E Robertson-Hoon / Książka Miękka
common.buy 70.07 zł
Information Processing in Medical Imaging Alan C. F. Colchester / Książka Miękka
common.buy 437.97 zł
Jack Wilshere - Arsenal DNA Joe Jacobs / Książka Twarda
common.buy 66.24 zł
Global Legal Pluralism Paul Schiff Berman / Książka Miękka
common.buy 264.49 zł
Housekeepers Handy Book Lucia Baxter / Książka Miękka
common.buy 77.11 zł
International Law Reports E. LauterpachtC. J. Greenwood / Książka Twarda
common.buy 952.37 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?