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: 102.90 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

102.90 €

RRP: 111.52 €

You save 8.62 €

In stock at our supplier
Shipping in 5 - 8 days

Add to wishlist

D.Gray-man, Vol. 15
8.18 € -27 %
Buy
Národní opruzení
9.90 € -19 %
Buy
Egyptology
25.87 € -24 %
Buy
Loyal Soldier, Lustful Beast (Light Novel)
15.96 € -25 %
Buy
Connect with Calm: Dot-to-Dot Puzzles for Relaxation
10.10 € -27 %
Buy
Zeszyt dla sześciolatków czytam z lokomotywą cześć 2 l d k u s y
3.83 €
Buy
The War of the World
24.15 € -9 %
Buy
Chicken Soup for the Soul: Well That Was Funny: 101 Feel Good Stories
16.27 € -9 %
Buy
První republika v barvě
31.43 € -15 %
Buy
Génius i popleta
9.70 € -21 %
Buy
My Fairy Library
15.56 € -29 %
Buy
Čas na Vánoce
13.13 € -20 %
Buy
O-Ei-A digital 2023 - Alle drei Preisführer zum Sammelgebiet Überraschungsei erstmals digital auf USB-Stick als PDF-Version!
35.68 € -14 %
Buy
Listy perskie wyd. 2
3.73 € -20 %
Buy
Jingle Spells
8.48 € -31 %
Buy
The Desire of Ages
25.97 € -7 %
Buy
350 EXERCICES - VOCABULAIRE, NIVEAU MOYEN CORRIGÉS
10.71 €
Buy
Die Walküre
14.85 € -16 %
Buy
Andre Breton
39.52 €
Buy
Advances in Anesthesia, 2025
154.66 € -9 %
Buy
History of Greek Philosophy: Volume 4, Plato: The Man and his Dialogues: Earlier Period
240.29 €
Buy
Developments in Crystalline Polymers-2
102.90 € -7 %
Buy
Voyage to the Sonorous Land, or the Art of Asking and the Hour We Knew Nothing O
21.02 €
Buy
El pueblo durmiente
29.81 €
Buy
Functional Magnetic and Spintronic Nanomaterials
164.47 € -7 %
Buy
Stressed Composite Structures
102.90 € -7 %
Buy
Zambullendonos
43.46 €
Buy
Black Box
31.23 € -18 %
Buy
Flavonoids in the Living System
98.05 €
Buy
Les nègres ont la peau dure
29.61 €
Buy
They Said What?!
20.31 €
Buy
2012, Das Bewusstsein der Neuen Zeit
16.97 € -15 %
Buy
BABADADA black-and-white, latvie?u valoda - Russkij âzyk (Latinskij bukvy), Att?lu v?rdn?ca - Ill?strirovannyj slovar?
7.88 €
Buy
Le Sacré en question
42.35 €
Buy
Wischendampfverwertung in Entwicklung, Theorie Und Wirtschaftlichkeit
53.06 € -4 %
Buy
Stigmatisierung und sprachliche Gewalt in Goethes Faust I
16.17 € -10 %
Buy
Julia Donaldson Plays Orange/1A At the Vet's 6-pack
56.30 €
Buy
Sen Ancak Sevdiginsin
9.19 € -4 %
Buy
M Is for Mustache
15.26 € -9 %
Buy
A MANUAL OF EXERCISES IN FOREST MENSURAT
30.01 € -2 %
Buy
Paul de Man
62.77 €
Pre-order
In Praise of Slow
10.40 € -30 %
Buy
Pugilistica: The History Of British Boxing Containing Lives Of The Most Celebrated Pugilists; Volume 3
38.20 € -1 %
Buy
Global Sport Marketing
224.52 €
Buy
Diary of an MP's Wife
21.22 € -25 %
Buy
Atlas of Thyroid and Neuroendocrine Tumor Markers
100.68 € -9 %
Buy
Spectral Methods for Uncertainty Quantification
101.89 €
Buy
European Renaissance 1400-1600
42.05 €
Buy
KEEP ON SWINGING
30.72 €
Buy
Geosystems: Design Rules and Applications
95.02 €
Buy
Ben Sende Tutuklu Kaldim
14.14 € -4 %
Buy
Pedigree reconstruction in commercial broodstock of Common Sole
32.04 € -14 %
Buy
Fluorescence Imaging and Biological Quantification
348.36 €
Buy
Distillation Design and Control Using Aspen Simulation, Second Edition
141.62 € -1 %
Buy
Notes in Time: A Samantha Townsend Adventure
7.27 € -6 %
Buy
Cagliostro
25.57 € -2 %
Buy
LE GRAND VOYAGE DE LENA
18.09 €
Buy
Gustav Klimt: In Search of the Total Artwork
44.57 €
Buy
Seven More Days: Live a Life That's Bursting with Positivity and Happiness ... Before It's Too Late
22.53 € -7 %
Buy
Timmy Tiptoes (Traditional Chinese): 01 Paperback B&w
7.27 € -6 %
Buy
Legal Responses to Religious Practices in the United States
45.89 €
Buy
New Houses in Asia
62.77 €
Buy
Hydrogen Research for Spaceport and Space-Based Applications: Fuel Cell Projects
23.44 € -7 %
Buy
Aging Into Bliss: Discovering the Wisdom and Joy of Your Timeless Nature
12.32 € -7 %
Buy
Battle for Yellowstone
32.85 € -1 %
Buy
Facts About The Bible (1898)
20.21 € -1 %
Buy
Freud's Philosophy of the Unconscious
102.90 € -7 %
Buy
Remainders to Children as a Class.
13.23 € -25 %
Buy
Crack Cocaine
20.21 €
Buy
Quantum Frontiers of Atoms & Molecules
366.96 € -10 %
Buy
Writing and the Moral Self
191.67 €
Buy
Browser Art
97.24 €
Pre-order
Get Out of the Box and Discover Your Life
25.97 € -23 %
Buy
Kindest Lies
14.75 € -2 %
Buy
Talking to God
19.60 € -25 %
Buy
Elektrotechnische Messkunde
53.06 € -4 %
Buy
Code of Federal Regulations, Title 49, Transportation, PT. 572-999, Revised as of October 1, 2011
76.62 €
Buy
Seinfeld Warehouse 13 Phantom Fringe Zorro Dowling Musketeers Kong Wolf Lake
7.98 €
Buy
Computer Chemistry
51.65 € -7 %
Buy
Man, Minerals and Masters
23.75 € -2 %
Buy
The Power of Choices
10.30 € -1 %
Buy
Jews and Gender
100.07 €
Buy
Clinical Problem of Masochism
115.44 €
Buy
A Middle East American: A Journey through Cultures
10.40 € -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 249 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

102.90 €

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