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

Formal Methods for Industrial Critical Systems

20th International Conference, FMICS 2015, Oslo, Norway, June 22-23, 2015, Proceedings

Język AngielskiAngielski
Książka Miękka
Książka Formal Methods for Industrial Critical Systems Manuel Nunez
Kod Libristo: 09285181
Wydawnictwo Springer International Publishing AG, maj 2015
This book constitutes the proceedings of the 20th International Conference on Formal Methods for Ind... Cały opis
? points 120 b
213.82 zł
Dostępna u dostawcy Wysyłamy za 5-8 dni

Nawet do 30 dni na zwrot

Klienci kupili także

Jeppe-pappa ja onnen muruset / Książka Twarda
common.buy 80.32 zł
Una melancolía optimista LUIS GARCIA MONTERO / Audio CD Audio
common.buy 105.42 zł
P'TIT JUJU À L'HÔPITAL POCHE LOUPY / Książka Miękka
common.buy 38.26 zł
Skitourenführer Salzburger Land - Band 2 Kühberger Rudolf / Książka Miękka
common.buy 152.48 zł
Die Kindermörderin Heinrich Leopold Wagner / Książka Miękka
common.buy 58.27 zł
Сочинения для хора без сопровождения. Текст на русском языке с транслитерацией. Сост. Б. Тевлин Родион Щедрин / Prasa Nuty
common.buy 56.84 zł
CONCERTO D MAJOR REINHARD KEISER Prasa Nuty
common.buy 89.81 zł
KATEDRALA CARVER / Książka Książka
common.buy 89.09 zł
Zapowiedź
Généalogies et nature du transhumanisme - Etat actuel du débat Damour / Książka Miękka
common.buy 117.98 zł
Mini Timmy - Vivint un somni TIM CAHILL / Książka Twarda
common.buy 45.92 zł
TOP
Velkolepý plán Tyrani a králové John Marco / Książka Miękka
common.buy 34.69 zł
Komu straší ve věži Marie Rejfová / Książka Twarda
common.buy 53.27 zł
EDUCACION VIRTUDES HUMANAS Y SU EVOLUCION 15¦ED DAVID ISAACS / Książka Miękka
common.buy 86.03 zł
La guerra de la limonada/ The Lemonade War Jacqueline Davies / Książka Miękka
common.buy 36.33 zł
Der kleine Nick und die Nachbarn René Goscinny / Książka Miękka
common.buy 42.55 zł

This book constitutes the proceedings of the 20th International Conference on Formal Methods for Industrial Critical Systems, FMICS 2015, Oslo, Norway, in June 2015. The 12 papers presented in this volume were carefully reviewed and selected from 20 submissions. They are organized in topical sections: applications; protocols; specification and analysis; verification.

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 Formal Methods for Industrial Critical Systems
Autor Manuel Nunez, Matthias Güdemann
Język Angielski
Oprawa Książka - Miękka
Data wydania 2015
Liczba stron 213
EAN 9783319194578
ISBN 3319194577
Kod Libristo 09285181
Wydawnictwo Springer International Publishing AG
Waga 3577
Wymiary 155 x 235 x 12

Kategoria

Informatyka i technologie informacyjne (IT) > Informatyka (nauka) > Sztuczna inteligencja > Systemy ekspertowe / Systemy oparte na wiedzy
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ć

The Town of N Leonid Dobychin / Książka Miękka
common.buy 97.77 zł
Storyteller's Handbook Elise Hurst / Książka Twarda
common.buy 83.68 zł
Web Scale Discovery Services Jason Vaughan / E-book Adobe ePub DRM
common.buy 248.73 zł
Hearts That Cut Kika Hatzopoulou / Książka Miękka
common.buy 37.24 zł
Ventures Basic Class Audio CDs Gretchen Bitterlin / Audio CD Audio
common.buy 308.23 zł
33 Minutes Todd Hasak-Lowy / Książka Miękka
common.buy 37.55 zł
101 Things to do on a Rainy Day Dawn Isaac / E-book Adobe ePub DRM
common.buy 18.87 zł
Stiff Mary Roach / Książka Twarda
common.buy 99.71 zł
Arrested by the Holy Ghost Dr Michael D Perry / Książka Miękka
common.buy 105.83 zł
Reflector ... a Poem. by a Traveller. [chiefly a Satire on the Dean of Ripon.] Anonymous / Książka Miękka
common.buy 60.92 zł
Zapowiedź
America Arthur B. Shostak / Książka Twarda
common.buy 171.56 zł
Shambhala Guide to Traditional Chinese Medicine Daniel Reid / Książka Miękka
common.buy 91.24 zł
Long Way Home Audrey Howard / Książka Miękka
common.buy 35.61 zł
Story of a Loaf of Bread Thomas Barlow Wood / E-book Adobe ePub DRM
common.buy 99.71 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?