Darmowa dostawa dla zamówień powyżej 299,00 zł.

Sprawdzić stan zamówienia

Zostań członkiem wspólnoty miłośników książek z całego świata i zyskaj mnóstwo korzyści. Załóż konto bezpłatnie

Darmowa dostawa z usługą Inpost oraz Orlen od 299.00 zł

DPD Kurier 12.99 zł Poczta Polska 18.99 zł Paczkomat 13.99 zł InPost 12.99 zł Punkt DPD 13.99 zł

Kontakt

Jak kupować

Pomoc

Moje konto

▸ Pusty :-(

Darmowa dostawa dla zamówień powyżej 299,00 zł.

Formal Methods and Software Engineering

Name: Formal Methods and Software Engineering
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 01656973
Price: 489.7 PLN
Availability: InStock
Author: Jin Song Dong
ISBN: 9783642169007

12th International Conference on Formal Engineering Methods, ICFEM 2010, Shanghai, China, November 17-19, 2010, Proceedings

Jin Song Dong

Huibiao Zhu

Język

Angielski

Książka Miękka

Kod Libristo: 01656973

Wydawnictwo Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, październik 2010

This book constitutes the refereed proceedings of the 12th International§Conference on Formal Engine... Cały opis

Kod Libristo: 01656973

280 b

489.70 zł

Dostępna u dostawcy Wysyłamy za 9-15 dni

30 dni na zwrot towaru

Klienci kupili także

Le Mont-Saint-Michel -Neerlandais- Henry Decaens

Miękka

53.21 zł

Andre Cornelis M Paul Bourget

Miękka

53.71 zł

LEURO COMMENT LA MONNAIE UNIQUE MENACE LAVENIR DE LEUROPE JOSEPH E STIGLITZ

Książka

227.61 zł

Encrucijada Rodolfo Martinez

Adobe ePub DRM

16.23 zł

Moja kaligrafia Cyferki Dorota Krassowska

Miękka

4.50 zł

Moluk Bilibo Balance- und Spielschale lila

Zabawka

144.32 zł

Wild Julia Ruby Hildebrand

Twarda

91.70 zł

Bilder des Kaisers von Deutschland Bernd Schubert

Miękka

301.47 zł

Kostenrechnung 1 - Grundlagen Klaus-Dieter Däumler

Miękka

119.96 zł

Heidejagd Angela L. Forster

Miękka

50.50 zł

Über die Anwendung der vertikalen Extension bei der Behandlung von Oberschenkelfrakturen rachitischer Kinder Wilhelm Stoeltzner

Miękka

53.31 zł

AutoCAD Fur Die Haustechnik Olaf Schymura

Miękka

219.69 zł

Dinosaury

Leporelo

39.88 zł

Non-controlling minority shareholdings under eu competition law ( MIGUEL VERDEGUER SAGARRA

Książka

241.94 zł

Filosofía de la ciencia HERCE FERNANDEZ

Miękka

64.34 zł

Potential von Poetry Slam fur den Literaturunterricht. Analyse zweier Texte von Bas Boettcher und Nora Gomringer Vanessa Ewald

Miękka

162.36 zł

Sobre el estudio de la historia. y los Apéndices de la Historia de Inglaterra Hume

Miękka

55.62 zł

Sol rojo sobre Hiroshima Mario Escobar Golderos

Miękka

118.46 zł

This book constitutes the refereed proceedings of the 12th International§Conference on Formal Engineering Methods, ICFEM 2010, held in Shanghai, China, November 2010.§The 42 revised full papers together with 3 invited talks presented were carefully reviewed and selected from 114 submissions. The papers address all current issues in formal methods and their applications in software engineering. They are organized in topical sections on theorem proving and decision procedures, web services and workflow, verification, applications of formal methods, probability and concurrency, program analysis, model checking, object orientation and model driven engineering, as well as specification and verification.