Free shipping on orders over 19,990 Ft via Packeta, Fox Post Box, and DPD Collection Point

Check order status

Become part of a community of book lovers from all over the world and get access to a whole bunch of benefits. Create an account for free

Free delivery for purchases over 19 990 Ft

DPD courier 1 190 Ft Post 1 795 Ft Post 1 690 Ft Post 1 690 Ft GLS point 1 390 Ft FoxPost 1 190 Ft Packeta point 1 190 Ft DPD point 990 Ft GLS courier 1 790 Ft

Contact

How to shop

Help

My account

▸ Empty :-(

Free shipping on orders over 19,990 Ft via Packeta, Fox Post Box, and DPD Collection Point

Formal Methods and Software Engineering

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

Language

English

Book Paperback

Libristo code: 01656973

Publishers Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, October 2010

This book constitutes the refereed proceedings of the 12th International§Conference on Formal Engine... Full description

Libristo code: 01656973

300 b

43 856 Ft

In stock at our supplier Shipping in 9-15 days

30-day return policy

Customers also purchased

Le Mont-Saint-Michel -Neerlandais- Henry Decaens

Paperback

4 448 Ft

Andre Cornelis M Paul Bourget

Paperback

4 859 Ft

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

Book

19 039 Ft

Encrucijada Rodolfo Martinez

Adobe ePub DRM

1 361 Ft

Moja kaligrafia Cyferki Dorota Krassowska

Paperback

558 Ft

Moluk Bilibo Balance- und Spielschale lila

Toy

12 071 Ft

Wild Julia Ruby Hildebrand

Hardback

8 412 Ft

Bilder des Kaisers von Deutschland Bernd Schubert

Paperback

27 580 Ft

Kostenrechnung 1 - Grundlagen Klaus-Dieter Däumler

Paperback

10 932 Ft

Heidejagd Angela L. Forster

Paperback

4 651 Ft

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

Paperback

4 887 Ft

AutoCAD Fur Die Haustechnik Olaf Schymura

Paperback

20 004 Ft

Dinosaury

Board book

3 336 Ft

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

Book

20 239 Ft

Filosofía de la ciencia HERCE FERNANDEZ

Paperback

5 385 Ft

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

Paperback

14 854 Ft

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

Paperback

4 651 Ft

Sol rojo sobre Hiroshima Mario Escobar Golderos

Paperback

10 784 Ft

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.