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 point 990 Ft DPD courier 1 190 Ft GLS point 1 190 Ft Hungarian Post 1 795 Ft Hungarian Post 1 690 Ft Hungarian Post 1 690 Ft FoxPost 1 190 Ft Packeta point 1 190 Ft GLS courier 1 690 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

Software Engineering and Formal Methods

Name: Software Engineering and Formal Methods
Brand: Springer International Publishing AG
SKU: 09480142
Price: 18818 HUF
Availability: InStock
Author: Radu Calinescu
ISBN: 9783319229683

13th International Conference, SEFM 2015, York, UK, September 7-11, 2015. Proceedings

Radu Calinescu

Bernhard Rumpe

Language

English

Book Paperback

Libristo code: 09480142

Publishers Springer International Publishing AG, August 2015

This book constitutes the refereed proceedings of the 12th International Conference on Software Engi... Full description

Libristo code: 09480142

125 b

18 818 Ft

In stock at our supplier Shipping in 5-8 days

Up to 30 days for returns

Customers also purchased

Dors bien, petit loup - Sov gott, lilla vargen (francais - suedois) Ulrich Renz

Paperback

5 312 Ft

PUZZLE 2x70 - Samochodziki Hot Wheels 34442

Jigsaw puzzle

1 837 Ft

Ambicion Del Ave Fenix Oscar de Benito

Paperback

7 163 Ft

CONTRA LA CULTURA LABRUCE

Book

8 625 Ft

Saison Anneline Dintilhac

Paperback

5 991 Ft

Zanoni Lytton

Paperback

10 434 Ft

Inselhupfen in Griechenland Gabriele Lackner

Paperback

5 583 Ft

Buonanotte! Benji Davies

Hardback

6 095 Ft

Cine con sentido : una lectura humano-evangelizadora del cine VILLEGAS SALDAÑA

Paperback

4 847 Ft

This book constitutes the refereed proceedings of the 12th International Conference on Software Engineering and Formal Methods, SEFM 2015, held in York, UK, in September 2015.§The 17 full papers presented together with 2 invited and 6 short papers were carefully reviewed and selected from 96 submissions. The topics of interest included the following aspects of software engineering and formal methods: program verification, testing, certification, formal specification and proof, testing and model checking, planning, modelling, and model transformation.