Doprava zdarma pre objednávky nad 59,99 € s Packetou a SPS Boxmi.

Zistiť stav objednávky

Staňte sa súčasťou komunity milovníkov kníh z celého sveta a získajte hromadu výhod. Založiť účet zdarma

Doprava zadarmo s Packetou nad 59.99 €

Kuriér DPD 2.99 € Zberné miesto GLS 2.99 € SPS 3.99 € Kuriér GLS 3.49 € SPS Parcel Shop 2.99 € Packeta kurýr 3.99 € Pošta 3.99 € Zberné miesto DPD 2.99 € Zberné miesto DPD 0.00 € Packeta 2.99 €

Kontakt

Ako nakupovať

Pomoc

Môj účet

▸ Prázdny :-(

Doprava zdarma pre objednávky nad 59,99 € s Packetou a SPS Boxmi.

Formal Methods and Software Engineering

Name: Formal Methods and Software Engineering
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 01656973
Price: 110.58 EUR
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

Jazyk

Angličtina

Kniha Brožovaná

Libristo kód: 01656973

Nakladateľstvo Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, október 2010

This book constitutes the refereed proceedings of the 12th International§Conference on Formal Engine... Celý popis

Libristo kód: 01656973

267 b

110.58 €

Skladom u dodávateľa Odosielame za 9-15 dní

30 dní na vrátenie tovaru

Zákazníci tiež kúpili

Le Mont-Saint-Michel -Neerlandais- Henry Decaens

Brožovaná

12.54 €

Andre Cornelis M Paul Bourget

Brožovaná

12.03 €

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

Kniha

53.82 €

Encrucijada Rodolfo Martinez

Adobe ePub DRM

3.83 €

Moja kaligrafia Cyferki Dorota Krassowska

Brožovaná

1.61 €

Moluk Bilibo Balance- und Spielschale lila

Hračka

34.09 €

Wild Julia Ruby Hildebrand

Pevná

21.64 €

Bilder des Kaisers von Deutschland Bernd Schubert

Brožovaná

71.22 €

Kostenrechnung 1 - Grundlagen Klaus-Dieter Däumler

Brožovaná

28.32 €

Heidejagd Angela L. Forster

Brožovaná

11.93 €

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

Brožovaná

12.64 €

AutoCAD Fur Die Haustechnik Olaf Schymura

Brožovaná

51.89 €

Dinosaury

Leporelo

8.39 €

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

Kniha

57.16 €

Filosofía de la ciencia HERCE FERNANDEZ

Brožovaná

15.17 €

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

Brožovaná

38.34 €

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

Brožovaná

13.14 €

Sol rojo sobre Hiroshima Mario Escobar Golderos

Brožovaná

28.02 €

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.