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

19th International Conference, FMICS 2014, Florence, Italy, September 11-12, 2014, Proceedings

Język AngielskiAngielski
Książka Miękka
Książka Formal Methods for Industrial Critical Systems Frédéric Lang
Kod Libristo: 05147916
Wydawnictwo Springer International Publishing AG, sierpień 2014
This book constitutes the proceedings of the 19th International Conference on Formal Methods for Ind... Cały opis
? points 120 b
214.78 zł
Dostępna u dostawcy Wysyłamy za 5-8 dni

Nawet do 30 dni na zwrot

Klienci kupili także

Ingeniaritza-termodinamikaren oinarriak Moran / Książka Miękka
common.buy 279.67 zł
L'amant de mon mari Astruc / Książka Miękka
common.buy 83.96 zł
Owoce Poznaj świat / Książka binding.
common.buy 14.75 zł
Sguardi sull'architettura contemporanea. Interviste di Irace Fulvio / Książka Miękka
common.buy 161.77 zł
Die großen kosmischen Lehren des Jesus von Nazareth Gabriele / Książka Miękka
common.buy 72.99 zł
Дональд Трамп. Искусство сделки Дональд Трамп / Książka Miękka
common.buy 64.58 zł
De Runen, Geschiedenis en Mysterie Ignacio Silvosa Terreros / Książka Miękka
common.buy 193.76 zł
TOP
Mouv' Maths CP - Cahier de rituels - Ed. 2025 Laurent Duron / Książka Miękka
common.buy 34.13 zł
Книжный вор Маркус Зусак / Książka Twarda
common.buy 127.94 zł
Emmanuel Levinas: de L'Existence A L'Existant Vrin / Książka Miękka
common.buy 54.02 zł
Der Traum ein Leben Franz Grillparzer / Książka Miękka
common.buy 18.03 zł
WAS IST WAS Band 81 Die sieben Weltwunder Christine Paxmann / Książka Twarda
common.buy 50.84 zł
Gruppenunterstutzende Systeme in Forschung Und Entwicklung Holger Wohlenberg / Książka Miękka
common.buy 204.32 zł
Egg Sally Grindley / Książka Miękka
common.buy 20.60 zł
City-Memo, Hamburg / Gra/Zabawka Gra
common.buy 73.40 zł
Vatikan - Wahrsagende Schlange Steffen Fuchs / Książka Miękka
common.buy 43.87 zł
Combat d'Epinay-Sur-Seine (30 Novembre 1870) Orse-F / Książka Miękka
common.buy 50.84 zł
Das Buch der Siegel Paul Foster Case / Książka Miękka
common.buy 62.63 zł
Una corona para 500000 princesas Salvador García Jiménez / Książka Miękka
common.buy 66.53 zł
Genießen, leben, lieben Barbara Jung / Książka Miękka
common.buy 55.66 zł
eTrex Handbuch Michael Blomeke / Książka Miękka
common.buy 81.80 zł
Revue critique des poissons fossiles figur?(c)s dans l'Ittiolitologia verones?(c) Louis Agassiz / Książka Miękka
common.buy 58.02 zł
Marché des vêtements haut de gamme et luxe pour enfants et F. BOLONGAR / Książka binding.
common.buy 7 892.85 zł

This book constitutes the proceedings of the 19th International Conference on Formal Methods for Industrial Critical Systems, FMICS 2014, held in Florence, Italy, in September 2014. The 13 papers presented in this volume were carefully reviewed and selected from 26 submissions. They are organized in topical sections named: cyber-physical systems; computer networks; railway control systems; verification methods; and hardware and software testing.

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 Frédéric Lang, Francesco Flammini
Język Angielski
Oprawa Książka - Miękka
Data wydania 2014
Liczba stron 201
EAN 9783319107011
ISBN 3319107011
Kod Libristo 05147916
Wydawnictwo Springer International Publishing AG
Waga 3343
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) > 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ć

Organo-di-Metallic Compounds (or Reagents) Zhenfeng Xi / Książka Miękka
common.buy 890.61 zł
Turf Problem Solver Alfred J. Turgeon / Książka Twarda
common.buy 465.14 zł
Davidson College Catalog; 1950-1951 Davidson College / Książka Miękka
common.buy 79.65 zł
TOP
Small Stakes No-Limit Hold 'em David Sklansky / Książka Miękka
common.buy 92.36 zł
Do You Really Want to Meet a Swan? Cari Meister / Książka Twarda
common.buy 180.23 zł
Precalculus: Chapter Summaries & Practice Answers Cristina Berisso / Książka Miękka
common.buy 344.26 zł
NORWEGIAN FAST TALK E02 E02 / Książka Miękka
common.buy 20.60 zł
Construction of Testimony Erin McGlothlin / Książka Twarda
common.buy 423.00 zł
The Possibility Project: A Guided Journal for Creating What's Possible Cummings / Książka Twarda
common.buy 78.52 zł
Elizabeth and Michael: The Queen of Hollywood and the King of Pop - A Love Story Donald Bogle / Audio CD Audio
common.buy 230.67 zł
TOP
NEW ACADEMY LEV 3 WWDWAPRC PK Nick Coates / Książka Książka
common.buy 46.13 zł
Nicaea - The Rise of the Imperial Church William Speir / Książka Miękka
common.buy 67.25 zł
Because of a Fishbone Monica Kocsmaros / Książka Miękka
common.buy 75.86 zł
CESMM4 Carbon & Price Book 2013 Ice Ice / Książka Miękka
common.buy 1 337.30 zł
Pencil Me In: A Trans Perspective in a Gendered World Michael Eric Brown / Książka Miękka
common.buy 68.17 zł
Voices Advanced: Student's Book TBC / Książka Miękka
common.buy 213.65 zł
Study Guide for Eudora Welty's Losing Battles Cengage Learning Gale / Książka Miękka
common.buy 50.94 zł
Geometric Coloring Book For Teens Art Therapy Coloring / Książka Miękka
common.buy 44.69 zł
TOP
5,000 Words Per Hour: Write Faster, Write Smarter Chris Fox / Książka Miękka
common.buy 44.69 zł
State of Chaos Franks J K Franks / Książka Twarda
common.buy 148.03 zł
Java Sea 1942 Mark Stille / Książka Miękka
common.buy 79.96 zł
Subliminal Therapy Aka Yagerian Therapy: An Introduction for Patients Edwin K. Yager / Książka Miękka
common.buy 56.58 zł
Lone Star Dawn L. Lubertowicz / Książka Miękka
common.buy 65.09 zł
Still Not Over You Jenny Frame / Książka Miękka
common.buy 75.14 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?