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
Austrian Post 5.49 € GLS courier 4.99 € DPD courier 4.49 € DPD point 3.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 111 b
45.49 € VAT included
In stock at our supplier Shipping in 5-8 days
Austria Delivery to Austria

Up to 30 days for returns

Customers also purchased

JE COLORIE A L'INFINI - FERME Book binding.
common.buy 9.29 €
Impact économique et social de la privatisation au Pakistan Muhammad Ahsen / Book Paperback
common.buy 18.79 €
Diario sereto de Pulgarcito Philippe Lechermeier / Book Paperback
common.buy 18.29 €
ENDODONCIA ROTATORIA EN DIENTES PRIMARIOS Mukesh Kumar / Book Paperback
common.buy 53.59 €
Pars, cours ! Alice Verret Aimee Verret / E-book Adobe ePub DRM
common.buy 7.09 €
Goebekli Tepe Harry Eilenstein / Book Paperback
common.buy 32.80 €
PROTEUS VOLUMES 1 ET 2 LOUIS RAFFIN Book Paperback
common.buy 29.29 €
Organizacao familiar agricola Raquel Silvestrin Zanon / Book Paperback
common.buy 31.39 €
Abgründe des Alltags Silja Kyrada / Book Paperback
common.buy 7.79 €
Sonaten für Violine und Klavier Nurit/Pescia Stark / Audio Audio CD
common.buy 22.99 €
De la création ? la saturation du concept : L'esthétique relationnelle Fiona Vilmer / Book Paperback
common.buy 55.89 €

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 45.49 €
Post-Qualitative Research and Innovative Methodologies Mark Murphy / Book Hardback
common.buy 139.39 €
Seven Black Diamonds Melissa Marr / Book Paperback
common.buy 6.79 €
Ketchup with the Jessup's Carissa Bryant / Book Paperback
common.buy 17.09 €
Wineocology Caitlin Stansbury / Book Paperback
common.buy 18.39 €
Identity and Personhood Laurance Joseph Splitter / Book Paperback
common.buy 45.49 €
Coppee and Maupassant Tales Arnold Guyot Cameron / Book Paperback
common.buy 17.19 €
Laws and Courts of the Massachusetts Bay Colony: A Paper Read Before the Bostonian Society, Council Chamber, Old State House, December 20, 1910. Frank E Bradbury / Book Paperback
common.buy 10.19 €
Marius and the Cloud: A tale about homosexuality for children Raquel Huete Iglesias / Book Paperback
common.buy 13.09 €
Lonely Planet New Zealand Planet Lonely / Book Paperback
common.buy 29.19 €
Contested Criminalities in Zimbabwean Fiction Tendai Mangena / Book Hardback
common.buy 213.19 €
The Ultimate Teacher Gift: A Humorous Middle Grade Novel Cailey Appenzeller / Book Paperback
common.buy 7.99 €
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 25.09 €
Matzah Balls to Communion Wafers Gail Baker / Book Hardback
common.buy 26.29 €
Quiche Cookbook: Delicious Quiche Recipes that Will Create the Perfect Breakfast or Brunch Dish Stephanie Sharp / Book Paperback
common.buy 13.59 €
Winter Honeymoon Jacob M. Appel / Book Paperback
common.buy 13.39 €
Sun Wordsearch Book 8 The Sun / Book Paperback
common.buy 7.99 €
Digital Marketing for Doctors Dibakar Bala / Book Paperback
common.buy 13.19 €
Sexual Reminisces Rare Diamond / E-book Adobe ePub DRM
common.buy 5.39 €
Bungo Stray Dogs: Wan!, Vol. 11 Kevin Gifford / Book Paperback
common.buy 8.49 €
When Someone You Love Has Cancer Cathy Barker / Book Hardback
common.buy 14.79 €
Top
Strange Case of Dr Jekyll and Mr Hyde Stevenson / Book Paperback
common.buy 3.89 €
Titanic Stephanie Barczewski / Book Paperback
common.buy 30.79 €
Top
Mobile Suit Gundam: The Origin 3 Yoshikazu Yasuhiko / Book Hardback
common.buy 18.49 €

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
Book advisor Libroamiko
Hi, I'm Libroamiko, can I help?