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

DPD courier 4.99 € GLS courier 9.99 €

Contact

How to shop

Help

My account

▸ Empty :-(

Formal Methods and Software Engineering

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

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

280 b

116.07 €

Low in stock at our supplier Shipping in 14-21 days

Up to 30 days for returns

Customers also purchased

Posadnutosť Cassandra O'Donnell

Paperback

16.43 €

Bilder des Kaisers von Deutschland Bernd Schubert

Paperback

71.43 €

Le Mont-Saint-Michel -Neerlandais- Henry Decaens

Paperback

12.37 €

Wild Julia Ruby Hildebrand

Hardback

21.70 €

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

Book

53.97 €

Encrucijada Rodolfo Martinez

Adobe ePub DRM

3.85 €

Katzisch fur Nichtkatzen Martina Braun

Adobe ePub DRM

10.95 €

Moluk Bilibo Balance- und Spielschale lila

Toy

34.08 €

Strada facendo Italien Cahier d'activités 2de LVB A2>A2+ Marina Ferdeghini

Paperback

13.49 €

Les Colombes du Roi-Soleil Desplat-Duc

Paperback

9.93 €

Heidejagd Angela L. Forster

Paperback

11.96 €

Dinosaury

Board book

9.43 €

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

Book

57.32 €

Philosophie der schonen Kunste Ernst Von Lasaulx

Paperback

19.88 €

Andre Cornelis M Paul Bourget

Paperback

12.67 €

Moja kaligrafia Cyferki Dorota Krassowska

Paperback

1.61 €

Sol rojo sobre Hiroshima Mario Escobar Golderos

Paperback

28.10 €

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

Paperback

13.18 €

Filosofía de la ciencia HERCE FERNANDEZ

Paperback

15.31 €

AutoCAD Fur Die Haustechnik Olaf Schymura

Paperback

52.04 €

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

Paperback

38.45 €

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

Paperback

12.67 €

Kostenrechnung 1 - Grundlagen Klaus-Dieter Däumler

Paperback

28.40 €

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.