Code: 01561356

Formal Methods and Software Engineering

Name: Formal Methods and Software Engineering
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 01561356
Price: 51.56 EUR
Availability: InStock
Author: Kung-Kiu Lau
ISBN: 9783540297970

by Kung-Kiu Lau, Richard Banach

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

51.56 €

RRP: 55.84 €

You save 4.27 €

In stock at our supplier
Shipping in 5 - 8 days

Add to wishlist

Základy chirurgie
20.88 € -15 %
Buy
Brotaufstriche selbst gemacht
13.51 € -10 %
Buy
Greenhouse Construction: A Complete Manual on the Building, Heating, Ventilating and Arrangement of Greenhouses, and the Construction of Hotbed
20.18 € -1 %
Buy
Psychiatry, America's Holocaust
12 € -24 %
Buy
The Devil in Oxford
23.20 € -25 %
Buy
Iliad by Homer, Classics, Literary Criticism, Ancient and Classical, Poetry, Ancient, Classical & Medieval
29.66 € -19 %
Buy
Speed Vegan
18.06 € -9 %
Buy
Logical Foundations of Statistical Inference
154.01 € -7 %
Buy
Entdecke die Zugvögel
14.22 € -16 %
Pre-order
Design and Technology for Botswana
47.22 €
Buy
Public Finance, Monetary Policy and Market Issues
69.93 € -5 %
Buy
Apropos Of Women And Theatres, With A Paper Or Two On Parisian Topics (1869)
25.52 € -2 %
Buy
General Circulation of the Ocean
102.73 € -7 %
Buy
La Cuisine Classique: Etudes Pratiques, Raisonnees Et Demonstratives
25.93 €
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 125 loyalty points

Book synopsis

This book constitutes the refereed proceedings of the 7th International Conference on Formal Engineering Methods, ICFEM 2005, held in Manchester, UK in November 2005.§The 30 revised full papers presented together with 3 invited contributions were carefully reviewed and selected from 74 submissions. The papers address all current issues in formal methods and their applications in software engineering. They are organized in topical sections on specification, modelling, security, communication, development, testing, verification, and tools.

Book details

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

51.56 €

Full title: Formal Methods and Software Engineering
Subtitle: 7th International Conference on Formal Engineering Methods, ICFEM 2005, Manchester, UK, November 1-4, 2005, Proceedings
Author: Kung-Kiu Lau, Richard Banach
Language: English
Binding: Paperback
Number of pages: 502
EAN: 9783540297970
ISBN: 3540297979
ID: 01561356
Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Weight: 1580 g
Dimensions: 279 × 216 × 28 mm
Date of publishing: 27. October 2005