Brezplačna dostava za naročila nad 69.99 € na paketomatih Pošte Slovenije.
Postanite del skupnosti ljubiteljev knjig z vsega sveta in uživajte v številnih ugodnostih.
Ustvarite brezplačen račun
Brezplačna dostava Zásilkovna nad 69.99 €
Zbirna točka GLS 4.49 €
Zbirna točka DPD 2.99 €
Kurirska služba GLS 5.49 €
Kurir DPD 3.49 €
Kurirska služba Express One 3.49 €
Zbirno mesto Express One 3.49 €
Zbirno mesto Pošte Slovenije 3.49 €
Dostava preko Pošte Slovenije 3.49 €
Kontakt
Kako nakupovati
Pomoč
Dostava
Zbirna točka GLS 4.49 €
Zbirna točka DPD 2.99 €
Kurirska služba GLS 5.49 €
Kurir DPD 3.49 €
Kurirska služba Express One 3.49 €
Zbirno mesto Express One 3.49 €
Zbirno mesto Pošte Slovenije 3.49 €
Dostava preko Pošte Slovenije 3.49 €
Brezplačna dostava Zásilkovna nad 69.99 €
Svetovalec pri nakupu
Moj račun
▸
Prazna :-(
0
Brezplačna dostava za naročila nad 69.99 € na paketomatih Pošte Slovenije.
FM 2008: Formal Methods
15th International Symposium on Formal Methods, Turku, Finland, May 26-30, 2008
Jezik
Angleščina
Angleščina
Knjiga
Mehka
This book presents the refereed proceedings of the 15th International Symposium on Formal Methods, F...
Celoten opis
Koda Libristo: 01567668
?
118 b
118 b
48.72
€
Na zalogi pri dobavitelju
Odposlali bomo v 5-8 dneh
Do 30 dni za vračilo
Drugi so kupili tudi
/
Mehka
12.10
€
This book presents the refereed proceedings of the 15th International Symposium on Formal Methods, FM 2008, held in Turku, Finland in May 2008.§The 23 revised full papers presented together with 4 invited contributions and extended abstracts of 5 invited industrial presentations were carefully reviewed and selected from 106 submissions. The papers are organized in topical sections on programming language analysis, verification, real-time and concurrency, grand chellenge problems, fm practice, runtime monitoring and analysis, communication, constraint analysis, and design.
Igralka
&
Poliglotka
EWA KASP
za
Predvajaj video
Libristo ima največjo izbiro tujejezične literature. Zato svoje knjige kupujem tukaj.
O knjigi
Polni naslov
FM 2008: Formal Methods
Avtor
Jorge Cuellar, Tom Maibaum
Jezik
Angleščina
Angleščina
Vezava
Knjiga - Mehka
Datum izida
2008
Število strani
436
EAN
9783540682356
ISBN
354068235X
Koda Libristo
01567668
Teža
694
Mere
155 x 235 x 25
Kategorije
Computing & Information Technology
>
Computer programming / software engineering
>
Algorithms & data structures
Computing & Information Technology
>
Computer programming / software engineering
>
Compilers & interpreters
Computing & Information Technology
>
Computer programming / software engineering
>
Programming & scripting languages: general
