FM 2008: Formal Methods: 15th International Symposium on Formal Methods, Turku, Finland, May 26-30, 2008, Proceedings - Programming and Software Engineering - Jorge Cuellar - Książki - Springer-Verlag Berlin and Heidelberg Gm - 9783540682356 - 8 maja 2008
W przypadku, gdy okładka i tytuł się nie zgadzają, tytuł jest poprawny

Jorge Cuellar
FM 2008: Formal Methods: 15th International Symposium on Formal Methods, Turku, Finland, May 26-30, 2008, Proceedings - Programming and Software Engineering 2008 edition

Cena
zł 212,90

Zamówione z odległego magazynu

Przewidywana dostawa 7 - 15 sty 2026
Świąteczne prezenty można zwracać do 31 stycznia

Nasi klienci mówią:

14-dniowa polityka zwrotów zgodnie z europejskim prawem ochrony konsumentów
Najwyższa ocena na Trustpilot
Dodaj do swojej listy życzeń iMusic

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.

436 pages, black & white illustrations

Media Książki     Paperback Book   (Książka z miękką okładką i klejonym grzbietem)
Wydane 8 maja 2008
ISBN13 9783540682356
Wydawcy Springer-Verlag Berlin and Heidelberg Gm
Gatunek Aspects (Academic) > Science / Technology Aspects
Strony 436
Wymiary 155 × 235 × 23 mm   ·   657 g
Język Francuski  
Redaktor Cuellar, Jorge
Redaktor Maibaum, Tom

Więcej od Jorge Cuellar

Pokaż wszystko

Zobacz wszystko od Jorge Cuellar ( np. Paperback Book )