Check order status
LIBRISTO
LIBROAMANTO
mandatory
Forgotten password
Become part of a community of book lovers from all over the world and get access to a whole bunch of benefits. Create an account for free
0
DPD courier 4.99 € GLS courier 11.49 €
phone Contact phoneHow to shop

Formal Methods and Software Engineering

15th International Conference on Formal EngineeringMethods, ICFEM 2013, Queenstown, New Zealand, October 29 - November 1, 2013, Proceedings

Language EnglishEnglish
Book Paperback
Book Formal Methods and Software Engineering Lindsay Groves
Libristo code: 02084745
Publishers Springer, Berlin, November 2012
This book constitutes the refereed proceedings of the 15th International Conference on Formal Engine... Full description
? points 125 b
51.75 €
In stock at our supplier Shipping in 5-8 days

30-day return policy

Customers also purchased

De la création ? la saturation du concept : L'esthétique relationnelle Fiona Vilmer / Book Paperback
common.buy 64.10 €
Diario sereto de Pulgarcito Philippe Lechermeier / Book Paperback
common.buy 20.85 €
Organizacao familiar agricola Raquel Silvestrin Zanon / Book Paperback
common.buy 37.97 €
Abgründe des Alltags Silja Kyrada / Book Paperback
common.buy 9.41 €
Goebekli Tepe Harry Eilenstein / Book Paperback
common.buy 29.46 €
JE COLORIE A L'INFINI - FERME Book binding.
common.buy 11.74 €
PROTEUS VOLUMES 1 ET 2 LOUIS RAFFIN Book Paperback
common.buy 36.25 €
ENDODONCIA ROTATORIA EN DIENTES PRIMARIOS Mukesh Kumar / Book Paperback
common.buy 61.47 €

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.

Actress & Polyglot
EWA KASP for
Play video
Ewa Kasp
Libristo has the largest selection of foreign-language books. That’s why I buy my books there.

About the book

Full name Formal Methods and Software Engineering
Author Lindsay Groves, Jing Sun
Language English
Binding Book - Paperback
Date of issue 2013
Number of pages 466
EAN 9783642412011
ISBN 3642412017
Libristo code 02084745
Publishers Springer, Berlin
Weight 735
Dimensions 154 x 234 x 24

Categories

Computing & Information Technology > Computer hardware > Network hardware
Computing & Information Technology > Computer programming / software engineering > Algorithms & data structures
Computing & Information Technology > Computer programming / software engineering > Compilers & interpreters
Computing & Information Technology > Computer programming / software engineering > Programming & scripting languages: general
Computing & Information Technology > Computer programming / software engineering > Software Engineering
Computing & Information Technology > Computer science > Mathematical theory of computation
Give this book today
It's easy
1 Add to cart and choose Deliver as present at the checkout 2 We'll send you a voucher 3 The book will arrive at the recipient's address

You might also be interested in

Advances in Cryptology - ASIACRYPT 2002 Yuliang Zheng / Book Paperback
common.buy 51.75 €
The Ultimate Teacher Gift: A Humorous Middle Grade Novel Cailey Appenzeller / Book Paperback
common.buy 7.69 €
Unwise Woman of Fuggis Mire Raven Dane / Book Paperback
common.buy 20.35 €
Wineocology Caitlin Stansbury / Book Paperback
common.buy 17.21 €
Ketchup with the Jessup's Carissa Bryant / Book Paperback
common.buy 21.26 €
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 Clay / Book Hardback
common.buy 29.77 €
Identity and Personhood Laurance Joseph Splitter / Book Paperback
common.buy 51.75 €
Marius and the Cloud: A tale about homosexuality for children Raquel Huete Iglesias / Book Paperback
common.buy 12.65 €
Lonely Planet New Zealand Planet Lonely / Book Paperback
common.buy 30.48 €
Contested Criminalities in Zimbabwean Fiction Tendai Mangena / Book Hardback
common.buy 216.33 €
Seven Black Diamonds Melissa Marr / Book Paperback
common.buy 8.40 €
Post-Qualitative Research and Innovative Methodologies Mark Murphy / Book Hardback
common.buy 168.12 €
Matzah Balls to Communion Wafers Gail Baker / Book Hardback
common.buy 32.70 €
Quiche Cookbook: Delicious Quiche Recipes that Will Create the Perfect Breakfast or Brunch Dish Stephanie Sharp / Book Paperback
common.buy 13.06 €
Sun Wordsearch Book 8 The Sun / Book Paperback
common.buy 8.40 €
Digital Marketing for Doctors Dibakar Bala / Book Paperback
common.buy 15.59 €
Top
Bungo Stray Dogs: Wan!, Vol. 11 Kevin Gifford / Book Paperback
common.buy 10.62 €
Top
Strange Case of Dr Jekyll and Mr Hyde Stevenson / Book Paperback
common.buy 3.74 €
Titanic Stephanie Barczewski / Book Paperback
common.buy 41.41 €
Top
Mobile Suit Gundam: The Origin 3 Yoshikazu Yasuhiko / Book Hardback
common.buy 23.08 €
History of the Town of Belfast with ... a Statistical Survey of the Parish of Belfast, Etc. [By George Benn.] George Benn / Book Paperback
common.buy 29.67 €
Mr Monster Dan Wells / Book Paperback
common.buy 11.84 €
240 Best-ever Chilli Recipes Jenni Fleetwood / Book Paperback
common.buy 10.83 €
Titanic 100th Anniversary Edition Stephanie Barczewski / Book Paperback
common.buy 53.06 €

Login

Log in to your account. Don't have a Libristo account? Create one now!

 
mandatory
mandatory
Forgotten password

Don’t have an account? Discover the benefits of having a Libristo account!

With a Libristo account, you'll have everything under control.

Create a Libristo account