Code: 01560067

Formal Methods and Software Engineering

Name: Formal Methods and Software Engineering
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 01560067
Price: 109.45 EUR
Availability: InStock
Author: Jim Davies
ISBN: 9783540238416

by Jim Davies, Wolfram Schulte, Mike Barnett

Language: English
Binding: Paperback
Number of pages: 500
Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2004
More about this

109.45 €

Low in stock at our supplier
Shipping in 11 - 15 days

Potřebujete více kusů?Máte-li zájem o více kusů, prověřte, prosím, nejprve dostupnost titulu na naši zákaznické podpoře.

Add to wishlist

Egyptology
26.52 € -24 %
Buy
The War of the World
19.23 € -26 %
Buy
Génius i popleta
9.10 € -26 %
Buy
Andre Breton
39.58 €
Buy
Die Walküre
14.88 € -16 %
Buy
History of Greek Philosophy: Volume 4, Plato: The Man and his Dialogues: Earlier Period
240.69 €
Buy
El pueblo durmiente
27.33 € -3 %
Buy
Stressed Composite Structures
109.45 €
Buy
Zambullendonos
47.28 €
Buy
2012, Das Bewusstsein der Neuen Zeit
17 € -15 %
Buy
Wischendampfverwertung in Entwicklung, Theorie Und Wirtschaftlichkeit
60.75 €
Buy
Global Sport Marketing
224.89 €
Buy
Atlas of Thyroid and Neuroendocrine Tumor Markers
121 €
Buy
They Said What?!
20.34 €
Buy
2 Audio-CDs zum Kursbuch
26.42 € -10 %
Buy
Ben Sende Tutuklu Kaldim
14.17 € -4 %
Buy
European Renaissance 1400-1600
42.32 €
Buy
Institutionen.
139.02 €
Buy
Timmy Tiptoes (Traditional Chinese): 01 Paperback B&w
7.28 € -6 %
Buy
Sen Ancak Sevdiginsin
9.20 € -4 %
Buy
Les nègres ont la peau dure
29.86 €
Buy
Im Angesicht des Verbrechens
26.42 €
Buy
Freud's Philosophy of the Unconscious
109.45 €
Buy
Menschliche Bewusstsein und der Hypertext - ein Strukturvergleich
16.19 € -10 %
Buy
Stigmatisierung und sprachliche Gewalt in Goethes Faust I
16.19 € -10 %
Buy
Boating
11.53 € -7 %
Buy
Esos Rincones Profundos De Mi Alma
12.75 €
Buy
Talking to God
19.63 € -25 %
Buy
Elektrotechnische Messkunde
60.75 €
Buy
Black Box
31.28 € -18 %
Buy
The Power of Choices
10.32 € -1 %
Buy
Legal Responses to Religious Practices in the United States
45.96 €
Buy
Seinfeld Warehouse 13 Phantom Fringe Zorro Dowling Musketeers Kong Wolf Lake
7.99 €
Buy
Computer Chemistry
55.89 €
Buy
A Middle East American: A Journey through Cultures
10.42 € -7 %
Buy

Give this book as a present today

Order book and choose Gift Order.
We will send you book gift voucher at once. You can give it out to anyone.
Book will be send to donee, nothing more to care about.

Book gift voucher sample Read more

More about Formal Methods and Software Engineering

Book details
Synopsis
Trending among others

You get 265 loyalty points

Book synopsis

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.

Book details

Book category Books in English Computing & information technology Computer programming / software development Software Engineering

109.45 €

Full title: Formal Methods and Software Engineering
Subtitle: 6th International Conference on Formal Engineering Methods, ICFEM 2004, Seattle, WA, USA, November 8-12, 2004, Proceedings
Author: Jim Davies, Wolfram Schulte, Mike Barnett
Language: English
Binding: Paperback
Number of pages: 500
EAN: 9783540238416
ISBN: 3540238417
ID: 01560067
Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Weight: 1590 g
Dimensions: 235 × 155 × 28 mm
Date of publishing: 28. October 2004