A rendelés állapotának ellenőrzése
LIBRISTO
LIBROAMANTO
kötelező
Elfelejtett jelszó
Legyen része a világ minden tájáról összegyűlt könyvbarátok közösségének és élvezze a rengeteg előnyt. Ingyenes regisztráció
0
Ingyenes szállítás a FoxPost futárszolgálattal, 19 990 Ft feletti vásárlás esetén
DPD gyűjtőpont 990 Ft DPD futárszolgálat 1 190 Ft GLS pont 1 190 Ft Magyar Posta 1 795 Ft PostaPont / Csomagautomata 1 690 Ft Magyar Posta 1 690 Ft FoxPost 1 190 Ft Packeta 1 190 Ft GLS futár 1 690 Ft
phone Kapcsolat phoneHogyan vásároljunk
Ingyenes szállítás 19 990 Ft feletti rendelés esetén – Packeta, Fox Post Box és DPD csomagpont átvétellel

FM 2012: Formal Methods

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

Nyelv AngolAngol
Könyv Puha kötésű
Könyv FM 2012: Formal Methods Dimitra Giannakopoulou
Libristo kód: 01661952
Kiadó Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, július 2012
This book constitutes the refereed proceedings of the 18th International Symposium on Formal Methods... Teljes leírás
? points 136 b
19 928 Ft
Beszállítói készleten Küldés 5-8 napon belül

Akár 30 napos visszaküldési lehetőség

A vásárlók ilyet vásároltak

Antes de convertirnos en piedra Sergio (Mr. Wandererr) Chico / E-könyv Adobe ePub DRM
common.buy 2 346 Ft
Dárek z pouti Luboš Kafka / Könyv Kemény kötésű
common.buy 8 409 Ft
Postdata E.M.A / Könyv Puha kötésű
common.buy 6 165 Ft
Le Macon Demasque: Ou Le Vrai Secret Des Francs Masons (1751) Thomas Wilson / Könyv Puha kötésű
common.buy 8 483 Ft
Kapitan Żbik Porwanie Część 4 Praca zbiorowa / Könyv Puha kötésű
common.buy 1 351 Ft
Formirovanie portfelya na osnove mery riska Value-At-Risk Elena Kolyasnikova / Könyv Puha kötésű
common.buy 21 428 Ft
Furstenfeldbruck-Literarisch Angelika Mundorff / Könyv Puha kötésű
common.buy 5 239 Ft
Das große Limpert-Buch der Zirkuskünste Stefan Eberherr / Könyv Kemény kötésű
common.buy 13 870 Ft
Mass Customization - Die Auswirkung des Individualisierungsgrades auf die Zahlungsbereitschaft Thomas Funke / Könyv Puha kötésű
common.buy 16 628 Ft
Machtergreifung des Nationalsozialismus und Massnahmen zur Machtsicherung Patrick Pigan / Könyv Puha kötésű
common.buy 16 628 Ft

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.

Színésznő & Poliglott
EWA KASP részére
A videó lejátszása
Ewa Kasp
A Libristo rendelkezik az idegennyelvű könyvek legnagyobb kínálatával. Ezért vásárolom a könyveket itt.

Információ a könyvről

Teljes megnevezés FM 2012: Formal Methods
Szerző Dimitra Giannakopoulou, Dominique Mery
Nyelv Angol
Kötés Könyv - Puha kötésű
Kiadás éve 2012
Oldalszám 488
EAN 9783642327582
ISBN 3642327583
Libristo kód 01661952
Kiadó Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Súly 765
Méretek 155 x 235 x 28

Kategória

Matematika és természettudomány > Matematika > Matematika alapjai > Matematikai logika
Számítástechnika és információtechnológia > Számítógéptudomány > Ember-számítógép interakció > Használói interfész dizájn és használhatóság
Számítástechnika és információtechnológia > Számítógéptudomány > Ember-számítógép interakció > Információépítészet
Számítástechnika és információtechnológia > Számítógépes hardver > Karbantartás és javítás
Számítástechnika és információtechnológia > Számítógépes programozás / szoftvermérnöki tudomány > Szoftvermérnöki tudomány
Számítástechnika és információtechnológia > Számítógéptudomány > Számítógéptudomány matematikai elmélete
Számítástechnika és információtechnológia > Számítógéptudomány > Számítógépes építészet és logika tervezés
Ajándékozza oda ezt a könyvet még ma
Nagyon egyszerű
1 Tegye a kosárba könyvet, és válassza ki a kiszállítás ajándékként opciót 2 Rögtön küldjük Önnek az utalványt 3 A könyv megérkezik a megajándékozott címére

Ezt is ajánljuk

Th Thorium Robert G. Behrens / Könyv Puha kötésű
common.buy 226 474 Ft
Works of William H. Seward William Henry Seward / Könyv Puha kötésű
common.buy 14 208 Ft
Research Handbook on Political Representation Maurizio Cotta / Könyv Kemény kötésű
common.buy 101 922 Ft
Hamarosan
Arduino Inventor's Guide Derek Runberg / Könyv Puha kötésű
common.buy 11 593 Ft
Race for Citizenship Helen Jun / Könyv Puha kötésű
common.buy 14 587 Ft
Dancing With Danger Byrne Kerrigan Byrne / Könyv Puha kötésű
common.buy 4 508 Ft
Toplistás
Focus Daniel Goleman / Könyv Puha kötésű
common.buy 2 832 Ft
Whistleblowing at Work David Lewis / Könyv Puha kötésű
common.buy 40 416 Ft
Methods of Cancer Diagnosis, Therapy, and Prognosis M. A. Hayat / Könyv Puha kötésű
common.buy 118 990 Ft
Summer Session Number; 1910-13 University of Connecticut / Könyv Puha kötésű
common.buy 6 326 Ft
Life Behind Bars Gordon Culpin / Könyv Puha kötésű
common.buy 7 058 Ft
European Rural Landscapes H. Palang / Könyv Kemény kötésű
common.buy 79 365 Ft
New Inside Out Advanced Teachers DVD Book Sue Kay / Könyv Puha kötésű
common.buy 4 901 Ft
Comparative Study of Chinese and Western Cyclic Myths Robert Shanmu Chen / Könyv Kemény kötésű
common.buy 26 972 Ft

Belépés

Bejelentkezés a saját fiókba. Még nincs Libristo fiókja? Hozza létre most!

 
kötelező
kötelező
Elfelejtett jelszó

Nincs fiókja? Szerezze meg a Libristo fiók kedvezményeit!

A Libristo fióknak köszönhetően mindent a felügyelete alatt tarthat.

Libristo fiók létrehozása
Libroamiko könyvtanácsadó
Szia, Libroamiko vagyok, segíthetek?