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

10th International Conference, IFM 2013, Turku, Finland, June 10-14, 2013, Proceedings

Język AngielskiAngielski
Książka Miękka
Książka Integrated Formal Methods Einar Broch Johnsen
Kod Libristo: 01663776
Wydawnictwo Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, maj 2013
This book constitutes the refereed proceedings of the 10th 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

Manuel de communication non verbale appliquée - Le modèle de recours à la force évolué et les indices de menace Rossin-Arthiat / Książka Miękka
common.buy 180.05 zł
Zapowiedź
Crimson Spell. Bd.5 Ayano Yamane / Książka Miękka
common.buy 39.43 zł
Kunst Des 18. Jahrhunderts Edmond de Goncourt / Książka Miękka
common.buy 186.07 zł
Dançando tango em Istambul Melis Merih Kiliç / Książka Miękka
common.buy 188.68 zł
EINE KLEINE NACHTMUSIK KV 525 WOLFGANG AMADEUS MOZ Książka binding.
common.buy 48.87 zł
Éléments de culture générale - 100 'colles' et sujets pour les prépas et les oraux des concours Dumont / Książka Miękka
common.buy 131.57 zł
Meine täglichen Übungen in Mathematik - 10. Schuljahr. H.3 Karlheinz Lehmann / Książka Karta
common.buy 45.56 zł
Totenbuch DES Mainzer Dominikanerklosters Isnard W. Frank / Książka Twarda
common.buy 463.19 zł
Recht und Energie Peter Rosin / Książka Twarda
common.buy 912.54 zł
Rivalen unter roter Sonne, 1 Blu-ray Terence Young / Wideo Blu-ray
common.buy 58.81 zł
La biblia del ayurveda : guía definitiva de la sanación ayurvédica Anne McIntyre / Książka Miękka
common.buy 90.42 zł

This book constitutes the refereed proceedings of the 10th International Conference on Integrated Formal Methods, IFM 2013, held in Turku, Finland, in June 2013. §The 25 revised full papers presented together with 4 invited papers were carefully reviewed and selected from 84 full paper submissions. The papers cover the spectrum of integrated formal methods, focusing on refinement, integration, translation, verification, reachability and model checking, usability and testing, distributed systems, semantics, and system-level analysis.

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 Einar Broch Johnsen, Luigia Petre
Język Angielski
Oprawa Książka - Miękka
Data wydania 2013
Liczba stron 443
EAN 9783642386121
ISBN 3642386121
Kod Libristo 01663776
Wydawnictwo Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Waga 700
Wymiary 155 x 235 x 26

Kategoria

Informatyka i technologie informacyjne (IT) > Informatyka (nauka) > Matematyczna teoria obliczeń > Matematyka w informatyce
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) > 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ć

Safety of historical stone arch bridges Pieter Van Gelder / Książka Miękka
common.buy 427.16 zł
Space groups (156) P3m1-(148) R-3 Pierre Villars / Książka Twarda
common.buy 2 410.12 zł
Progressive Development Arie S. Issar / Książka Miękka
common.buy 436.59 zł
Tocqueville Khaled Mattawa / Książka Miękka
common.buy 59.41 zł
Psychology of Crime, Policing and Courts Andreas Kapardis / Książka Twarda
common.buy 1 040.30 zł
Novels of Charles Lever V.1- The Confessions of Harry Lorrequer.., Volume 16 Charles Lever / Książka Twarda
common.buy 170.11 zł
TOP
Stalin Edvard Radzinsky / Książka Miękka
common.buy 70.05 zł
Blaze and Thunderbolt C. W. Anderson / Książka Miękka
common.buy 35.72 zł
Inside Gitmo Gordon Cucullu / Książka Miękka
common.buy 89.72 zł
Meetings with Remarkable Women Lenore Friedman / Książka Miękka
common.buy 123.54 zł
Guided Highlighted Reading: A Close-Reading Strategy for Navigating Complex Text Elaine M. Weber / Książka Miękka
common.buy 80.89 zł
Free Thoughts on Despotic and Free Governments Joseph Townsend / Książka Twarda
common.buy 146.13 zł
Racism, Culture, Markets John Gabriel / Książka Twarda
common.buy 1 181.32 zł
Snapshots of Lisa: A Candid Look at Down Syndrome and Snippets of Lisa's Life Angee Barcus / Książka Miękka
common.buy 55.19 zł
Exponential Families of Stochastic Processes Uwe Küchler / Książka Twarda
common.buy 654.19 zł
Mentalizing in Arts Therapies Marianne Verfaille / Książka Twarda
common.buy 857.03 zł
Learn Power BI Greg Deckler / Książka Miękka
common.buy 190.39 zł
Awakening Power Sat Dharma / Książka Miękka
common.buy 66.94 zł
Broadtube Music Mag - Volume 28: Music Mag 28 Olamide Ayodeji Kolade / Książka Miękka
common.buy 43.75 zł
Dangerous Language ? Esperanto under Hitler and Stalin Humphrey Tonkin / Książka Miękka
common.buy 495.61 zł
Global Business Strategy Cornelis A. de Kluyver / Książka Miękka
common.buy 122.94 zł
Of Lands High and Low Martha Keyes / Książka Miękka
common.buy 55.39 zł
Fly ash for water and wastewater treatment Md. Ahmaruzzaman / Książka Miękka
common.buy 166.20 zł
Elegies. William Mason / Książka Miękka
common.buy 53.59 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