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

FM 2012: Formal Methods

18th International Symposium, Paris, France, August 27-31, 2012. Proceedings

Język AngielskiAngielski
Książka Miękka
Książka FM 2012: Formal Methods Dimitra Giannakopoulou
Kod Libristo: 01661952
Wydawnictwo Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, lipiec 2012
This book constitutes the refereed proceedings of the 18th International Symposium on Formal Methods... Cały opis
? points 125 b
222.86 zł
Dostępna u dostawcy Wysyłamy za 5-8 dni

Nawet do 30 dni na zwrot

Klienci kupili także

Elemente Der Ersten Hauptgruppe; Einschl. Ammonium; Horst Schilling / Książka Miękka
common.buy 362.07 zł
Postdata E.M.A / Książka Miękka
common.buy 69.14 zł
Formirovanie portfelya na osnove mery riska Value-At-Risk Elena Kolyasnikova / Książka Miękka
common.buy 237.97 zł
Dárek z pouti Luboš Kafka / Książka Twarda
common.buy 98.45 zł
Antes de convertirnos en piedra Sergio (Mr. Wandererr) Chico / E-book Adobe ePub DRM
common.buy 28.38 zł
La politique étrangère de Jacques Chirac Maurice Vaisse / Książka Miękka
common.buy 104.99 zł
Machtergreifung des Nationalsozialismus und Massnahmen zur Machtsicherung Patrick Pigan / Książka Miękka
common.buy 184.66 zł
Mass Customization - Die Auswirkung des Individualisierungsgrades auf die Zahlungsbereitschaft Thomas Funke / Książka Miękka
common.buy 184.66 zł
Le Macon Demasque: Ou Le Vrai Secret Des Francs Masons (1751) Thomas Wilson / Książka Miękka
common.buy 95.69 zł
Kapitan Żbik Porwanie Część 4 Praca zbiorowa / Książka Miękka
common.buy 11.53 zł
Das große Limpert-Buch der Zirkuskünste Stefan Eberherr / Książka Twarda
common.buy 154.02 zł
Furstenfeldbruck-Literarisch Angelika Mundorff / Książka Miękka
common.buy 58.11 zł
Enfermedades neuro-metabólicas en la infancia Rafael Palencia Luaces / Książka Miękka
common.buy 87.22 zł

This book constitutes the refereed proceedings of the 18th International Symposium on Formal Methods, FM 2012, held in Paris, France, in August 2012. The 28 revised full papers presented together with 7 tool papers and 3 invited talks were carefully reviewed and selected from numerous submissions. The papers cover several aspects of formal methods, including verification, synthesis, runtime monitoring, testing and controller synthesis, as well as novel applications of formal methods in interesting domains such as satellites, autonomous vehicles and disease dynamics.

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 FM 2012: Formal Methods
Autor Dimitra Giannakopoulou, Dominique Mery
Język Angielski
Oprawa Książka - Miękka
Data wydania 2012
Liczba stron 488
EAN 9783642327582
ISBN 3642327583
Kod Libristo 01661952
Wydawnictwo Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Waga 765
Wymiary 155 x 235 x 28

Kategoria

Matematyka i nauki ścisłe > Matematyka > Podstawy matematyki > Logika matematyczna
Informatyka i technologie informacyjne (IT) > Informatyka (nauka) > Interakcja człowiek-komputer > Projektowanie i ergonomia interfejsu użytkownika
Informatyka i technologie informacyjne (IT) > Informatyka (nauka) > Interakcja człowiek-komputer > Architektura informacji
Informatyka i technologie informacyjne (IT) > Sprzęt komputerowy > Konserwacja i naprawa komputerów i sprzętu informatycznego
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ć

Th Thorium Robert G. Behrens / Książka Miękka
common.buy 2 685.64 zł
Works of William H. Seward William Henry Seward / Książka Miękka
common.buy 157.79 zł
Comparative Study of Chinese and Western Cyclic Myths Robert Shanmu Chen / Książka Twarda
common.buy 302.22 zł
Life Behind Bars Gordon Culpin / Książka Miękka
common.buy 79.45 zł
Summer Session Number; 1910-13 University of Connecticut / Książka Miękka
common.buy 71.28 zł
Confederate Edged Weapons William a. 1908- Albaugh / Książka Twarda
common.buy 140.43 zł
Dancing With Danger Byrne Kerrigan Byrne / Książka Miękka
common.buy 50.75 zł
Research Handbook on Political Representation Maurizio Cotta / Książka Twarda
common.buy 1 238.23 zł
WAIFS, AND THEIR AUTHORS ALPHONSO AL HOPKINS / Książka Twarda
common.buy 148.71 zł
Zapowiedź
Arduino Inventor's Guide Derek Runberg / Książka Miękka
common.buy 131.95 zł
To Re-Enchant the World Richard Grigg / Książka Miękka
common.buy 77.51 zł
Race for Citizenship Helen Jun / Książka Miękka
common.buy 165.97 zł
TOP
Focus Daniel Goleman / Książka Miękka
common.buy 31.04 zł
Whistleblowing at Work David Lewis / Książka Miękka
common.buy 429.79 zł
Methods of Cancer Diagnosis, Therapy, and Prognosis M. A. Hayat / Książka Miękka
common.buy 1 330.36 zł
New Inside Out Advanced Teachers DVD Book Sue Kay / Książka Miękka
common.buy 55.45 zł
European Rural Landscapes H. Palang / Książka Twarda
common.buy 887.28 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?