Besplatna dostava putem Box Now paketomata i Overseas kurirske službe iznad 69,99 €.

Provjerite status narudžbe

Pridružite se zajednici ljubitelja knjige iz cijelog svijeta i ostvarite mnoštvo pogodnosti. Izradite besplatni račun

Besplatna dostava Overseas kurirskom službom iznad 69.99 €

DPD kurir 3.99 € DPD točka 3.49 € GLS Kurir 4.99 € GLS paketomat 3.99 € Hrvatska pošta 4.99 € Dostava Overseas 4.99 € Box Now 4.49 €

Kontakt

Kako kupovati

Pomoć

Moj račun

▸ Prazno :-(

Besplatna dostava putem Box Now paketomata i Overseas kurirske službe iznad 69,99 €.

FM 2008: Formal Methods

Name: FM 2008: Formal Methods
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 01567668
Price: 51.75 EUR
Availability: InStock
Author: Jorge Cuellar
ISBN: 9783540682356

15th International Symposium on Formal Methods, Turku, Finland, May 26-30, 2008

Jorge Cuellar

Tom Maibaum

Jezik

Engleski

Knjiga Meki uvez

Libristo kod: 01567668

Nakladnici Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, svibanj 2008

This book presents the refereed proceedings of the 15th International Symposium on Formal Methods, F... Cijeli opis

Libristo kod: 01567668

125 b

51.75 €

Vanjske zalihe Šaljemo za 5-8 dana

Do 30 dana za povrat

Kupci su kupili i

Nachhilfe Mathematik - Teil 2: Bruchrechnen und Dezimalzahlen Erich Bulitta

Meki uvez

13.56 €

Passion,pain & poetry Sabine Seide/Müller

Audio CD

13.76 €

Sur Un Lithotriteur Courbe, Fort Simple Et Sur Une Modification Du Brisepierre, de M. Jacobson SEGALAS D'ETCHEPARE-P-S

Meki uvez

12.75 €

La grande escapade Blondel

Meki uvez

21.77 €

Телефонна агітація Noe Spies

Adobe ePub DRM

10.93 €

Adventní kalendář 2026 Toy Story

binding.

12.45 €

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.