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

Austrian Post 5.49 € DPD courier 3.99 € DPD point 2.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: 119.39 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

292 b

119.39 € VAT included

In stock at our supplier Shipping in 9-15 days

Delivery to Austria

30-day return policy

Customers also purchased

Le Mont-Saint-Michel -Neerlandais- Henry Decaens

Paperback

12.99 €

Andre Cornelis M Paul Bourget

Paperback

13.19 €

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

Book

55.19 €

Encrucijada Rodolfo Martinez

Adobe ePub DRM

3.99 €

Moja kaligrafia Cyferki Dorota Krassowska

Paperback

1.69 €

Moluk Bilibo Balance- und Spielschale lila

Toy

35.39 €

Wild Julia Ruby Hildebrand

Hardback

25.00 €

Bilder des Kaisers von Deutschland Bernd Schubert

Paperback

79.99 €

Kostenrechnung 1 - Grundlagen Klaus-Dieter Däumler

Paperback

29.90 €

Heidejagd Angela L. Forster

Paperback

14.00 €

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

Paperback

13.90 €

AutoCAD Fur Die Haustechnik Olaf Schymura

Paperback

54.99 €

Dinosaury

Board book

9.99 €

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

Book

59.09 €

Filosofía de la ciencia HERCE FERNANDEZ

Paperback

15.69 €

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

Paperback

42.95 €

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

Paperback

13.59 €

Sol rojo sobre Hiroshima Mario Escobar Golderos

Paperback

29.19 €

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.