Free shipping on orders over 19,990 Ft via Packeta, Fox Post Box, and DPD Collection Point

Check order status

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

Free delivery for purchases over 19 990 Ft

DPD courier 1 190 Ft Post 1 795 Ft Post 1 690 Ft Post 1 690 Ft GLS point 1 390 Ft FoxPost 1 190 Ft Packeta point 1 190 Ft DPD point 990 Ft GLS courier 1 790 Ft

Contact

How to shop

Help

My account

▸ Empty :-(

Free shipping on orders over 19,990 Ft via Packeta, Fox Post Box, and DPD Collection Point

Formal Methods and Software Engineering

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

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

Lindsay Groves

Jing Sun

Language

English

Book Paperback

Libristo code: 02084745

Publishers Springer, Berlin, November 2012

This book constitutes the refereed proceedings of the 15th International Conference on Formal Engine... Full description

Libristo code: 02084745

136 b

19 902 Ft

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

Paperback

24 843 Ft

Diario sereto de Pulgarcito Philippe Lechermeier

Paperback

7 400 Ft

Organizacao familiar agricola Raquel Silvestrin Zanon

Paperback

13 440 Ft

Abgründe des Alltags Silja Kyrada

Paperback

3 342 Ft

Goebekli Tepe Harry Eilenstein

Paperback

11 388 Ft

JE COLORIE A L'INFINI - FERME Book

binding.

4 178 Ft

PROTEUS VOLUMES 1 ET 2 LOUIS RAFFIN Book

Paperback

12 853 Ft

ENDODONCIA ROTATORIA EN DIENTES PRIMARIOS Mukesh Kumar

Paperback

23 803 Ft

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

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

You might also be interested in

Advances in Cryptology - ASIACRYPT 2002 Yuliang Zheng

Paperback

19 902 Ft

The Ultimate Teacher Gift: A Humorous Middle Grade Novel Cailey Appenzeller

Paperback

2 930 Ft

Unwise Woman of Fuggis Mire Raven Dane

Paperback

7 756 Ft

Wineocology Caitlin Stansbury

Paperback

6 637 Ft

Ketchup with the Jessup's Carissa Bryant

Paperback

8 107 Ft

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

Hardback

11 374 Ft