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.80 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.80 €

In stock at our supplier
Shipping in 14 - 21 days

Add to wishlist

Analýza lásky
18.02 € -20 %
Buy
Kočička Hamley a narozeninový dort
8.15 € -20 %
Buy
Mes premiers récits CE1-CE2 - Enseignement moral et civique
9.86 €
Buy
Of Ice and Shadows
13.39 € -28 %
Buy
The World's Greatest Submarines
21.65 € -24 %
Buy
练习本 Chinese Empty Exercise Book for Calligraphy, Empty Squares
6.84 € -6 %
Buy
In Flanders Fields and Other Poems
14.70 € -2 %
Buy
Evolutionary Pathways in Nature
85.62 € -15 %
Buy
LA ESPAÑA DE ABEL
21.15 €
Buy
Bébé Balthazar - Tout propre - Pédagogie Montessori 0/3 ans
9.36 €
Buy
English Sanskrit Dictionary V2
36.26 € -2 %
Buy
Highland Fortitude
12.28 € -7 %
Buy
War Girls
10.16 € -27 %
Buy
Louisa Wharton. A story founded on facts: written by herself, in a series of letters to a friend. ...
13.19 € -25 %
Buy
Multivariable Calculus
202.68 €
Buy
Disney Tunes
10.97 € -27 %
Buy
Computer Graphics and Applications
148.38 €
Buy
Philosophical Moments
9.86 € -25 %
Buy
Acuario Horóscopo 2026
25.78 € -1 %
Buy
Choose Life
15.50 €
Buy
Fisherman Fred and the Fledglings
25.78 € -1 %
Buy
New England Conservatory Course in Sight-singing: (Solfeggio)
29.91 € -2 %
Buy
Symbole der Sintflutgeschichte (Religion, 7. Klasse, Gesamtschule)
16.11 € -10 %
Buy
Foundations of Digital Signal Processing
105.36 €
Buy
Pierwsza szopka
4.83 € -21 %
Buy
Tribes of the Northern Territories of the Gold Coast
189.08 €
Buy
English As She Is Spoke; Or A Jest In Sober Earnest
32.63 € -2 %
Buy
Analyse de fragilité d'un bâtiment isolé de la base
54.09 € -14 %
Buy
Taxation of Land Values in Western Canada (1914)
18.32 € -1 %
Buy
The City College of New York
19.43 € -22 %
Buy
Vincenzo's Reading Log
14.70 € -25 %
Buy
Fados huérfanos
19.43 € -9 %
Buy
Laser Modeling
325.99 €
Buy
Limericks Storybook: Lewd Tales Told in Limerick Meter and Rhyme
9.66 € -7 %
Buy
Kognitive Entwicklung nach Jean Piaget
14.40 € -10 %
Buy
Information Security
55.80 €
Buy
Quiet River's Demise
9.86 € -25 %
Buy
Tales from the New River - Cockney Sparrow Corner
10.77 € -1 %
Buy
Un détenu à Auschwitz
15.10 €
Buy
Anthropozän - Klimawandel - Biodiversität
34.64 € -4 %
Buy
Ausgewahlte Gedichte Der Romischen Elegiker V1, Catullus, Und Ausgewahlte Lustpiele Des Publius Terentius (1855)
32.83 € -2 %
Buy
Content-Based Image and Video Retrieval
153.72 € -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 136 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.80 €

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