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 point 1 170 Ft DPD courier 1 370 Ft GLS point 1 370 Ft Hungarian Post 1 975 Ft Hungarian Post 1 870 Ft Hungarian Post 1 870 Ft FoxPost 1 370 Ft Packeta point 1 370 Ft GLS courier 1 870 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: 01560067
Price: 39233 HUF
Availability: InStock
Author: Jim Davies
ISBN: 9783540238416

6th International Conference on Formal Engineering Methods, ICFEM 2004, Seattle, WA, USA, November 8-12, 2004, Proceedings

Jim Davies

Wolfram Schulte

Mike Barnett

Language

English

Book Paperback

Libristo code: 01560067

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

This book constitutes the refereed proceedings of the 6th International Conference on Formal Enginee... Full description

Libristo code: 01560067

263 b

39 233 Ft

In stock at our supplier Shipping in 5-8 days

Up to 30 days for returns

Customers also purchased

Wischendampfverwertung in Entwicklung, Theorie Und Wirtschaftlichkeit Ernst Reutlinger

Paperback

20 844 Ft

Elektrotechnische Messkunde Paul Benjamin Arthur Linker

Paperback

20 844 Ft

První republika v barvě Pavel Pospíšil

Hardback

11 682 Ft

El pueblo durmiente REBECCA DAUTREMER

Paperback

10 771 Ft

Ein Motiv aus dem Kalender Peter Paul Rubens - Rubens (Puzzle) Alexander Bartek

Game

12 325 Ft

Le Sacré en question

Paperback

14 969 Ft

Die Walküre Richard Wagner

Paperback

5 900 Ft

Národní opruzení Karolína Meixnerová

Paperback

3 930 Ft

Les nègres ont la peau dure Bavarin

Paperback

10 385 Ft

Listy perskie wyd. 2 Monteskiusz

Paperback

1 807 Ft

Génius i popleta Denise Fenziová

Hardback

3 663 Ft

Čas na Vánoce printintin

Hardback

5 242 Ft

350 EXERCICES - VOCABULAIRE, NIVEAU MOYEN CORRIGÉS Prouillac

Paperback

3 841 Ft

Zeszyt dla sześciolatków czytam z lokomotywą cześć 2 l d k u s y Praca Zbiorowa Pod Red. M. Dobrowolskiej

Paperback

1 421 Ft

This book constitutes the refereed proceedings of the 6th International Conference on Formal Engineering Methods, ICFEM 2004, held in Seattle, WA, USA in November 2004.§The 30 revised full papers presented together with abstracts of 9 invited contributions were carefully reviewed and selected from 110 submissions. The papers address all current issues in formal methods and their applications in software engineering, ranging from theoretical and methodological aspects to applications in various domains.