Code: 01569538

Formal Methods and Software Engineering

Name: Formal Methods and Software Engineering
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 01569538
Price: 55.83 EUR
Availability: InStock
Author: Michael Butler
ISBN: 9783540766483

by Michael Butler, Michael G. Hinchey, Maria M. Larrondo-Petrie

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

55.83 €

Low in stock at our supplier
Shipping in 13 - 18 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

Mes premiers récits CE1-CE2 - Enseignement moral et civique
10.81 €
Buy
Analýza lásky
15.47 € -25 %
Buy
Of Ice and Shadows
13.44 € -28 %
Buy
Kočička Hamley a narozeninový dort
8.18 € -20 %
Pre-order
The World's Greatest Submarines
21.74 € -24 %
Buy
In Flanders Fields and Other Poems
14.76 € -2 %
Buy
Evolutionary Pathways in Nature
86.58 € -14 %
Buy
LA ESPAÑA DE ABEL
21.23 €
Buy
Louisa Wharton. A story founded on facts: written by herself, in a series of letters to a friend. ...
13.24 € -25 %
Buy
Highland Fortitude
12.33 € -7 %
Buy
Disney Tunes
11.02 € -27 %
Buy
Bébé Balthazar - Tout propre - Pédagogie Montessori 0/3 ans
10.41 €
Buy
Choose Life
15.57 €
Buy
Multivariable Calculus
188.24 €
Buy
Tribes of the Northern Territories of the Gold Coast
191.78 €
Buy
English As She Is Spoke; Or A Jest In Sober Earnest
32.77 € -2 %
Buy
New England Conservatory Course in Sight-singing: (Solfeggio)
30.03 € -2 %
Buy
Computer Graphics and Applications
148.99 €
Buy
Pierwsza szopka
4.85 € -21 %
Buy
Tales from the New River - Cockney Sparrow Corner
10.81 € -1 %
Buy
Laser Modeling
306.50 €
Buy
Taxation of Land Values in Western Canada (1914)
18.40 € -1 %
Buy
Fados huérfanos
19.51 € -9 %
Buy
Foundations of Digital Signal Processing
105.80 €
Buy
Vincenzo's Reading Log
14.76 € -25 %
Buy
MUSEO CERRALBO GUIA BREVE NE
4.54 €
Buy
Limericks Storybook: Lewd Tales Told in Limerick Meter and Rhyme
9.70 € -7 %
Buy
Philosophical Moments
9.90 € -25 %
Buy
Quiet River's Demise
9.90 € -25 %
Buy
Un détenu à Auschwitz
16.18 €
Buy
Anthropozän - Klimawandel - Biodiversität
34.89 € -7 %
Buy
Analyse de fragilité d'un bâtiment isolé de la base
54.31 € -14 %
Buy
Kognitive Entwicklung nach Jean Piaget
14.46 € -10 %
Buy
Information Security
56.03 €
Buy
War Girls
9.70 € -25 %
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 135 loyalty points

Book synopsis

This book constitutes the refereed proceedings of the 9th International Conference on Formal Engineering Methods, ICFEM 2007, held in Boca Raton, Florida, USA, November 14-15, 2007. The 19 revised full papers together with two invited talks presented were carefully reviewed and selected from 38 submissions. The papers address all current issues in formal methods and their applications in software engineering. The papers are organized in topical sections.

Book details

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

55.83 €

Full title: Formal Methods and Software Engineering
Subtitle: 9th International Conference on Formal Engineering Methods, ICFEM 2007, Boca Raton, Florida, USA, November 14-15, 2007, Proceedings
Author: Michael Butler, Michael G. Hinchey, Maria M. Larrondo-Petrie
Language: English
Binding: Paperback
Number of pages: 387
EAN: 9783540766483
ISBN: 3540766480
ID: 01569538
Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Weight: 611 g
Dimensions: 235 × 155 × 23 mm
Date of publishing: 07. November 2007