Code: 02084745

Formal Methods and Software Engineering

Name: Formal Methods and Software Engineering
Brand: Springer, Berlin
SKU: 02084745
Price: 51.68 EUR
Availability: InStock
Author: Lindsay Groves
ISBN: 9783642412011

by Lindsay Groves, Jing Sun

Language: English
Binding: Paperback
Number of pages: 466
Publisher: Springer, Berlin, 2013
More about this

51.68 €

RRP: 55.96 €

You save 4.28 €

In stock at our supplier
Shipping in 5 - 8 days

Add to wishlist

Mobile Suit Gundam: The Origin 3
21.64 € -25 %
Buy
Bungo Stray Dogs: Wan!, Vol. 11
10 € -24 %
Buy
Mr Monster
13.75 € -19 %
Buy
Strange Case of Dr Jekyll and Mr Hyde
5.15 €
Buy
Lonely Planet New Zealand
34.89 €
Buy
Quiche Cookbook: Delicious Quiche Recipes that Will Create the Perfect Breakfast or Brunch Dish
12.33 € -7 %
Buy
Sun Wordsearch Book 8
7.88 € -24 %
Buy
Goebekli Tepe
29.43 € -11 %
Buy
Bookmarks
26.29 € -5 %
Buy
Titanic 100th Anniversary Edition
50.47 €
Buy
Titanic
39.14 € -11 %
Buy
PROTEUS VOLUMES 1 ET 2
36.31 €
Buy
Organizacao familiar agricola
37.92 € -3 %
Buy
Wineocology
17.59 € -10 %
Buy
Diario sereto de Pulgarcito
20.83 € -2 %
Buy
Post-Qualitative Research and Innovative Methodologies
159.92 €
Buy
Marius and the Cloud: A tale about homosexuality for children
11.93 € -7 %
Buy
Ketchup with the Jessup's
20.32 €
Buy
Contested Criminalities in Zimbabwean Fiction
216.06 €
Buy
Legal Aspects of Health Information Management
114.50 €
Buy
De la création ? la saturation du concept : L'esthétique relationnelle
64.02 € -11 %
Buy
The Ultimate Teacher Gift: A Humorous Middle Grade Novel
7.27 € -6 %
Buy
Abgründe des Alltags
9.50 €
Buy
Sonnets and the English Woman Writer, 1560-1621
55.83 €
Buy
Identity and Personhood
51.68 € -7 %
Buy
ENDODONCIA ROTATORIA EN DIENTES PRIMARIOS
61.39 € -14 %
Buy
History of the Town of Belfast with ... a Statistical Survey of the Parish of Belfast, Etc. [By George Benn.]
28.11 € -9 %
Buy
240 Best-ever Chilli Recipes
10.81 € -24 %
Buy
Digital Marketing for Doctors
14.86 € -1 %
Buy
Speech of the Hon. Henry Clay, on the Subject of the Removal of the Deposites; Delivered in the Senate of the United States, December 26, 30, 1833
28.31 € -1 %
Buy
JE COLORIE A L'INFINI - FERME
11.83 €
Buy
Matzah Balls to Communion Wafers
30.64 € -25 %
Buy
Advances in Cryptology - ASIACRYPT 2002
51.68 € -7 %
Buy
Seven Black Diamonds
7.88 € -25 %
Buy
Unwise Woman of Fuggis Mire
19.31 € -2 %
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 15th International Conference on Formal Engineering Methods, ICFEM 2013, held in Queenstown, New Zealand, in October/November 2013. The 28 revised full papers together with 2 keynote speeches presented were carefully reviewed and selected from 88 submissions. The topics covered are abstraction and refinement, formal specification and modeling, program analysis, software verification, formal methods for software safety, security, reliability and dependability, tool development, integration and experiments involving verified systems, formal methods used in certifying products under international standards, and formal model-based development and code generation.

Book details

Book category Books in English Computing & information technology Computer science Mathematical theory of computation

51.68 €

Full title: Formal Methods and Software Engineering
Subtitle: 15th International Conference on Formal EngineeringMethods, ICFEM 2013, Queenstown, New Zealand, October 29 - November 1, 2013, Proceedings
Author: Lindsay Groves, Jing Sun
Language: English
Binding: Paperback
Number of pages: 466
EAN: 9783642412011
ISBN: 3642412017
ID: 02084745
Publisher: Springer, Berlin
Weight: 735 g
Dimensions: 234 × 154 × 24 mm
Published: 2013