Zistiť stav objednávky
LIBRISTO
LIBROAMANTO
povinné
Zabudnuté heslo
Staňte sa súčasťou komunity milovníkov kníh z celého sveta a získajte hromadu výhod. Založiť účet zdarma
0
Doprava zadarmo s Packetou nad 59.99 €
Kuriér DPD 2.99 € Zberné miesto GLS 2.49 € SPS 3.99 € SPS Parcel Shop 2.99 € Packeta kurýr 3.99 € Pošta 3.99 € Zberné miesto DPD 2.99 € Kuriér GLS 3.99 € Packeta 2.99 €
phone Kontakt phoneAko nakupovať
Doprava zdarma pre objednávky nad 59,99 € s Packetou a SPS Boxmi.

FM 2012: Formal Methods

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

Jazyk AngličtinaAngličtina
Kniha Brožovaná
Kniha FM 2012: Formal Methods Dimitra Giannakopoulou
Libristo kód: 01661952
Nakladateľstvo Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, júl 2012
This book constitutes the refereed proceedings of the 18th International Symposium on Formal Methods... Celý popis
? points 125 b
51.73 €
Skladom u dodávateľa Odosielame za 5-8 dní

30 dní na vrátenie tovaru

Zákazníci tiež kúpili

Postdata E.M.A / Kniha Brožovaná
common.buy 15.18 €
Dárek z pouti Luboš Kafka / Kniha Pevná
common.buy 22.27 €
Antes de convertirnos en piedra Sergio (Mr. Wandererr) Chico / E-kniha Adobe ePub DRM
common.buy 6.57 €
Le Macon Demasque: Ou Le Vrai Secret Des Francs Masons (1751) Thomas Wilson / Kniha Brožovaná
common.buy 21.15 €
Formirovanie portfelya na osnove mery riska Value-At-Risk Elena Kolyasnikova / Kniha Brožovaná
common.buy 55.18 €
Furstenfeldbruck-Literarisch Angelika Mundorff / Kniha Brožovaná
common.buy 13.56 €
Das große Limpert-Buch der Zirkuskünste Stefan Eberherr / Kniha Pevná
common.buy 35.74 €
Mass Customization - Die Auswirkung des Individualisierungsgrades auf die Zahlungsbereitschaft Thomas Funke / Kniha Brožovaná
common.buy 42.82 €
Machtergreifung des Nationalsozialismus und Massnahmen zur Machtsicherung Patrick Pigan / Kniha Brožovaná
common.buy 42.82 €

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.

Herečka & Polyglotka
EWA KASP pre
Prehrať video
Ewa Kasp
Libristo má najväčší výber cudzojazyčnej literatúry. Preto si knihy kupujem tu.

Informácie o knihe

Celý názov FM 2012: Formal Methods
Autor Dimitra Giannakopoulou, Dominique Mery
Jazyk Angličtina
Väzba Kniha - Brožovaná
Dátum vydania 2012
Počet strán 488
EAN 9783642327582
ISBN 3642327583
Libristo kód 01661952
Nakladateľstvo Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Váha 765
Rozmery 155 x 235 x 28

Kategórie

Matematika a veda > Matematika > Matematické základy > Matematická logika
Výpočtové a informačné technológie > Informatika > Interakcia človek – počítač > Dizajn používateľského rozhrania a použiteľnosť
Výpočtové a informačné technológie > Informatika > Interakcia človek – počítač > Informačná architektúra
Výpočtové a informačné technológie > Počítačový hardvér > Hardvér počítačových a informačných technológií: údržba a opravy
Výpočtové a informačné technológie > Počítačové programovanie/softvérové ​​inžinierstvo > Softvérové ​​inžinierstvo
Výpočtové a informačné technológie > Informatika > Teória algoritmov
Výpočtové a informačné technológie > Informatika > Architektúra počítača a logic dizajn
Darujte túto knihu ešte dnes
Je to jednoduché
1 Pridajte knihu do košíka a vyberte možnosť doručiť ako darček 2 Obratom Vám zašleme poukaz 3 Knihu zašleme na adresu obdarovaného

Mohlo by vás tiež zaujímať

Th Thorium Robert G. Behrens / Kniha Brožovaná
common.buy 597.84 €
Works of William H. Seward William Henry Seward / Kniha Brožovaná
common.buy 36.65 €
Comparative Study of Chinese and Western Cyclic Myths Robert Shanmu Chen / Kniha Pevná
common.buy 70.16 €
New Inside Out Advanced Teachers DVD Book Sue Kay / Kniha Brožovaná
common.buy 12.85 €
European Rural Landscapes H. Palang / Kniha Pevná
common.buy 205.96 €
Life Behind Bars Gordon Culpin / Kniha Brožovaná
common.buy 17.51 €
Dancing With Danger Byrne Kerrigan Byrne / Kniha Brožovaná
common.buy 11.23 €
Methods of Cancer Diagnosis, Therapy, and Prognosis M. A. Hayat / Kniha Brožovaná
common.buy 308.74 €
Whistleblowing at Work David Lewis / Kniha Brožovaná
common.buy 108.54 €
Research Handbook on Political Representation Maurizio Cotta / Kniha Pevná
common.buy 287.57 €
Race for Citizenship Helen Jun / Kniha Brožovaná
common.buy 36.85 €
Pripravujeme
Arduino Inventor's Guide Derek Runberg / Kniha Brožovaná
common.buy 30.67 €

Prihlásenie

Prihláste sa k svojmu účtu. Ešte nemáte Libristo účet? Vytvorte si ho teraz!

 
povinné
povinné
Zabudnuté heslo

Nemáte účet? Získajte výhody Libristo účtu!

Vďaka Libristo účtu budete mať všetko pod kontrolou.

Vytvoriť Libristo účet
Knižný radca Libroamiko
Ahoj, som Libroamiko, môžem pomôcť?