Doprava zdarma při nákupu nad 1 499 Kč přes Zásilkovnu nebo PPL Box.

Zjistit stav objednávky

Staňte se součástí komunity milovníků knih z celého světa a získejte hromadu výhod. Založit účet zdarma

Doprava zdarma se Zásilkovnou nad 1 499 Kč

Kurýr DPD 69 Kč PPL shop 49 Kč Balíkovna 69 Kč PPL kurýr 74 Kč PPL box 39 Kč Balíkovna 49 Kč Výdejní místo DPD 49 Kč Zásilkovna 39 Kč

Kontakt

Jak nakupovat

Pomoc

Můj účet

▸ Prázdný :-(

Doprava zdarma při nákupu nad 1 499 Kč přes Zásilkovnu nebo PPL Box.

FM 2012: Formal Methods

Name: FM 2012: Formal Methods
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 01661952
Price: 1182 CZK
Availability: InStock
Author: Dimitra Giannakopoulou
ISBN: 9783642327582

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

Dimitra Giannakopoulou

Dominique Mery

Jazyk

Angličtina

Kniha Brožovaná

Libristo kód: 01661952

Nakladatelství Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, červenec 2012

This book constitutes the refereed proceedings of the 18th International Symposium on Formal Methods... Celý popis

Libristo kód: 01661952

118 b

1 182 Kč

Skladem u dodavatele Odesíláme za 5-8 dnů

30 dní na vrácení zboží

Zákazníci také koupili

Dárek z pouti Luboš Kafka

Pevná

517 Kč

Machtergreifung des Nationalsozialismus und Massnahmen zur Machtsicherung Patrick Pigan

Brožovaná

975 Kč

Das große Limpert-Buch der Zirkuskünste Stefan Eberherr

Pevná

814 Kč

Furstenfeldbruck-Literarisch Angelika Mundorff

Brožovaná

308 Kč

Formirovanie portfelya na osnove mery riska Value-At-Risk Elena Kolyasnikova

Brožovaná

1 257 Kč

Antes de convertirnos en piedra Sergio (Mr. Wandererr) Chico

Adobe ePub DRM

159 Kč

Postdata E.M.A

Brožovaná

368 Kč

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.