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 FoxPost 1 190 Ft Packeta point 1 190 Ft DPD point 990 Ft GLS courier 1 690 Ft GLS point 1 190 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 International Publishing AG
SKU: 05328257
Price: 19925 HUF
Availability: InStock
Author: Stephan Merz
ISBN: 9783319117362

16th International Conference on Formal Engineering Methods, ICFEM 2014, Luxembourg, Luxembourg, November 3-5, 2014, Proceedings

Stephan Merz

Jun Pang

Language

English

Book Paperback

Libristo code: 05328257

Publishers Springer International Publishing AG, September 2014

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

Libristo code: 05328257

136 b

19 925 Ft

In stock at our supplier Shipping in 5-8 days

30-day return policy

Customers also purchased

Luces de invierno Robyn Carr

Paperback

5 428 Ft

Correspondencia RICHARD WAGNER

Paperback

15 747 Ft

ewige Ich Buja B.

Paperback

3 725 Ft

Übersetzungsfragen Maria Fabricius Hansen

Paperback

5 955 Ft

Revue de philologie française et provençale

Paperback

15 904 Ft

Dobrodružství Rychlé veverky 6 - Příběh z pravěku Pavel Čech

Hardback

8 306 Ft

Evlenmeden Olmaz

DVD

7 996 Ft

Dandadan T06 Yukinobu Tatsu

Paperback

3 919 Ft

La clinique à l'épreuve de la psychanalyse Jean Clavreul

Paperback

16 330 Ft

Das Vorgehen bei der Optimierung von Geschäftsprozessen Sandro Pfeiffer

Paperback

6 279 Ft

Extremos termicos en Castilla-La Mancha Juan Carlos Montero Rubio

Paperback

33 867 Ft

Resume Complet d'Archeologie. Tome 2 CHAMPOLLION-FIGEAC-J

Paperback

10 009 Ft

Erste Reise nach dem nördlichen Amerika in den Jahren 1822 bis 1824 Paul Wilhelm

Paperback

14 511 Ft

I Comuni E Le Parrocchie Della Provincia Mantovana. Cenni, Etc. Antonino Bertolotti

Paperback

8 672 Ft

TAGEBUCH EINES VAMPIRS 3 IN DER DUNKELHEIT Lisa J. Smith

Book

3 906 Ft

La conciliación previa o extrajudicial en el proceso laboral Juan . . . [et al. ] Montero Aroca

Paperback

8 806 Ft

This book constitutes the refereed proceedings of the 16th International Conference on Formal Engineering Methods, ICFEM 2014, held in Luxembourg, Luxembourg, in November 2014. The 28 revised full papers presented were carefully reviewed and selected from 73 submissions. The papers cover a wide range of topics in the area of formal methods and software engineering and are devoted to advancing the state of the art of applying formal methods in practice. They focus in particular on combinations of conceptual and methodological aspects with their formal foundation and tool support.