Provjerite status narudžbe
LIBRISTO
LIBROAMANTO
obvezno
Zaboravljena zaporka
Pridružite se zajednici ljubitelja knjige iz cijelog svijeta i ostvarite mnoštvo pogodnosti. Izradite besplatni račun
0
Besplatna dostava Overseas kurirskom službom iznad 69.99 €
DPD kurir 3.99 € Pošta 4.99 € Overseas 4.99 € Box Now 4.49 € GLS 4.99 € DPD točka 3.49 € GLS paketomat 3.99 €
phone Kontakt phoneKako kupovati
Besplatna dostava putem Box Now paketomata i Overseas kurirske službe iznad 69,99 €.

FM 2012: Formal Methods

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

Jezik EngleskiEngleski
Knjiga Meki uvez
Knjiga FM 2012: Formal Methods Dimitra Giannakopoulou
Libristo kod: 01661952
Nakladnici Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, srpanj 2012
This book constitutes the refereed proceedings of the 18th International Symposium on Formal Methods... Cijeli opis
? points 125 b
51.59 €
Vanjske zalihe Šaljemo za 5-8 dana

30 dana za povrat kupljenih proizvoda

Kupci su kupili i

Dárek z pouti Luboš Kafka / Knjiga Tvrdi uvez
common.buy 22.81 €
Machtergreifung des Nationalsozialismus und Massnahmen zur Machtsicherung Patrick Pigan / Knjiga Meki uvez
common.buy 42.70 €
Das große Limpert-Buch der Zirkuskünste Stefan Eberherr / Knjiga Tvrdi uvez
common.buy 35.63 €
Furstenfeldbruck-Literarisch Angelika Mundorff / Knjiga Meki uvez
common.buy 13.52 €
Formirovanie portfelya na osnove mery riska Value-At-Risk Elena Kolyasnikova / Knjiga Meki uvez
common.buy 55.02 €
Antes de convertirnos en piedra Sergio (Mr. Wandererr) Chico / E-knjiga Adobe ePub DRM
common.buy 6.25 €
Postdata E.M.A / Knjiga Meki uvez
common.buy 16.04 €

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.

Glumica & Poliglotkinja
EWA KASP za
Pusti video
Ewa Kasp
Libristo ima najveći izbor literature na stranim jezicima. Zato svoje knjige kupujem ovdje.

Informacije o knjizi

Puni naziv FM 2012: Formal Methods
Autor Dimitra Giannakopoulou, Dominique Mery
Jezik Engleski
Uvez Knjiga - Meki uvez
Datum izdanja 2012
Broj stranica 488
EAN 9783642327582
ISBN 3642327583
Libristo kod 01661952
Nakladnici Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Težina 765
Dimenzije 155 x 235 x 28

Kategorija

Mathematics & Science > Mathematics > Mathematical foundations > Mathematical logic
Computing & Information Technology > Computer science > Human–computer interaction > User interface design & usability
Computing & Information Technology > Computer science > Human–computer interaction > Information architecture
Computing & Information Technology > Computer hardware > Maintenance & repairs
Computing & Information Technology > Computer programming / software engineering > Software Engineering
Computing & Information Technology > Computer science > Mathematical theory of computation
Computing & Information Technology > Computer science > Computer architecture & logic design
Poklonite ovu knjigu još danas
To je jednostavno
1 Dodajte knjigu u košaricu i odaberite isporuku kao poklon 2 Zauzvrat ćemo vam poslati kupon 3 Knjiga dolazi na adresu poklonoprimca

Moglo bi vas zanimati i

Th Thorium Robert G. Behrens / Knjiga Meki uvez
common.buy 596.11 €
Works of William H. Seward William Henry Seward / Knjiga Meki uvez
common.buy 36.54 €
Comparative Study of Chinese and Western Cyclic Myths Robert Shanmu Chen / Knjiga Tvrdi uvez
common.buy 69.96 €
Methods of Cancer Diagnosis, Therapy, and Prognosis M. A. Hayat / Knjiga Meki uvez
common.buy 307.85 €
Whistleblowing at Work David Lewis / Knjiga Meki uvez
common.buy 108.23 €
Dancing With Danger Byrne Kerrigan Byrne / Knjiga Meki uvez
common.buy 11.70 €
Life Behind Bars Gordon Culpin / Knjiga Meki uvez
common.buy 18.37 €

Prijava

Prijavite se na svoj račun. Još nemate Libristo račun? Otvorite ga odmah!

 
obvezno
obvezno
Zaboravljena zaporka

Nemate račun? Ostvarite pogodnosti uz Libristo račun!

Sve ćete imati pod kontrolom uz Libristo račun.

Otvoriti Libristo račun
Književni savjetnik Libroamiko
Dobar dan, ja sam Libroamiko, mogu li vam pomoći?