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

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
354.56 zł
Dostępna u dostawcy Wysyłamy za 5-8 dni

Nawet do 30 dni na zwrot

Klienci kupili także

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 283.69 zł
Rosso Sangue - Le cinéma italien des années de plomb Rauger / Książka Miękka
common.buy 127.58 zł
Atrás Da Muralha / Książka Miękka
common.buy 64.14 zł
BiBiBiber hat da mal 'ne Frage. Sind Dinos wirklich alle tot? Mai Thi Nguyen-Kim / E-book Adobe ePub DRM
common.buy 70.86 zł
Argumentative Strukturen in popularwissenschaftlichen Texten der franzoesischen Zeitschrift Science & Vie Andreas Reimann / Książka Miękka
common.buy 107.73 zł
lettera che cade. Jacques Lacan e l'uomo come scarto Bruno Moroncini / Książka Miękka
common.buy 110.88 zł
Tanie
Poutine, maître du jeu ? Baud / Książka Książka
common.buy 78.40 zł
Entre chiens et loups Méndez / Książka Miękka
common.buy 77.48 zł
I cinque sensi giocano a nascondino. Il mondo del Signor Acqua Agostino Traini / Książka Twarda
common.buy 88.17 zł
Du matériau à l'architecture László Moholy-Nagy / Książka Miękka
common.buy 167.40 zł
Lebedele sălbatice - The Wild Swans (romană - engleză) Ulrich Renz / Książka Miękka
common.buy 62.21 zł
AMETS POLITAK IZAN, MAITEA AA VV / Książka Twarda
common.buy 41.54 zł
Isagoge in Die Phanomenologische Apophantik G. Heffernan / Książka Miękka
common.buy 661.58 zł
USA King Crimson Audio CD Audio
common.buy 92.04 zł
Bleiben Sie im Zweifelsfall moeglichst nuchtern! Hannes Gemba / Książka Miękka
common.buy 58.34 zł
Wild Hubert Krenn / Książka Twarda
common.buy 63.94 zł
Bettine von Arnim: Liedkompositionen Paul A Koch / Książka Miękka
common.buy 65.98 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 243.67 zł
Inhuman Relations Scott Becker / Książka Miękka
common.buy 83.19 zł
Championship DNA Gideon Mulinge Mwololo / Książka Miękka
common.buy 83.19 zł
Return to Social Justice Jessica Urwin / Książka Miękka
common.buy 525.54 zł
Children's songs & nursery rhymes for easy piano. Vol 3. Tomeu Alcover / Książka Miękka
common.buy 63.43 zł
A Soldier's Daughter (Illustrated) G. A. Henty / Książka Miękka
common.buy 29.01 zł
History of the Fishes of the British Islands Jonathan Couch / Książka Miękka
common.buy 99.89 zł
Family Maps of DeKalb County, Alabama, Deluxe Edition Gregory a Boyd J D / Książka Miękka
common.buy 152.53 zł
Submissionary Sherryle Kiser Jackson / Książka Miękka
common.buy 63.84 zł
WAYSIDE PILLARS, BY THE AUTHOR OF 'THE F EMILY ELIZA ELLIOTT / Książka Twarda
common.buy 140.01 zł
Preparing for Blockade 1885-1914 COBB / Książka Miękka
common.buy 354.77 zł
Housekeepers Handy Book Lucia Baxter / Książka Miękka
common.buy 77.99 zł
Of Time and Tide Malleus Maleficarum Jr / Książka Miękka
common.buy 56.51 zł
International Law Reports E. LauterpachtC. J. Greenwood / Książka Twarda
common.buy 906.69 zł
14 Minutes Alberto Salazar / Książka Miękka
common.buy 57.02 zł
Global Legal Pluralism Paul Schiff Berman / Książka Miękka
common.buy 267.50 zł
Simple Solutions Ergonomics for Construction Workers - Scholar's Choice Edition Department of Health and Human Services / Książka Miękka
common.buy 71.07 zł
Jack Wilshere - Arsenal DNA Joe Jacobs / Książka Twarda
common.buy 66.99 zł
Information Processing in Medical Imaging Alan C. F. Colchester / Książka Miękka
common.buy 442.95 zł
Ameno Black: the Lynching of Arliss Black M E Robertson-Hoon / Książka Miękka
common.buy 70.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
Doradca książkowy Libroamiko
Cześć, jestem Libroamiko, w czym mogę pomóc?