Code: 05147842

Software Engineering and Formal Methods

Name: Software Engineering and Formal Methods
Brand: Springer International Publishing AG
SKU: 05147842
Price: 51.55 EUR
Availability: InStock
Author: Dimitra Giannakopoulou
ISBN: 9783319104300

by Dimitra Giannakopoulou, Gwen Salaün

Language: English
Binding: Paperback
Number of pages: 394
Publisher: Springer International Publishing AG, 2014
More about this

51.55 €

RRP: 55.82 €

You save 4.27 €

In stock at our supplier
Shipping in 5 - 8 days

Add to wishlist

Inside Florence
49.03 € -25 %
Buy
Landscape
54.88 € -29 %
Buy
CHASM
14.02 € -25 %
Buy
US Marine Corps Handbook 1941-45
26.43 € -24 %
Pre-order
Die schrillen Vier auf Achse / Hilfe, die Amis kommen, 2 Blu-rays
15.73 € -17 %
Buy
X-Men: The Hidden Years
6.65 € -24 %
Pre-order
Pokémon go: la parola pi? cliccata nel web. Anarchia e gioco
6.35 € -7 %
Buy
Percepción de la calidad del servicio universitario: una aproximación
44.39 € -14 %
Buy
Handbook of Chinese Cultural Terms
15.83 €
Buy
Pop Revolution
15.93 € -25 %
Pre-order
Totalement jumelles - numéro 9 Devine qui vient danser ?
7.96 €
Buy
Spor Anatomisi
16.14 € -4 %
Buy
Christopher's Blade
14.02 € -7 %
Buy
Dynamical Oceanography
50.44 € -9 %
Buy
Dykare
29.76 € -14 %
Buy
Peace and Conflict 2008
44.89 €
Pre-order
Positive Psychology in Sport and Physical Activity
215.53 €
Buy
Metronomic Chemotherapy, 1
110.28 €
Buy
I Want To Sleep: Why we struggle to sleep - How we can remedy it.
6.35 € -7 %
Buy
Martyrdom and Literature in Early Modern England
114.62 €
Buy
Quantitative Logic And Soft Computing - Proceedings Of The Ql&sc 2012
260.63 €
Buy

Give this book as a present today

Order book and choose Gift Order.
We will send you book gift voucher at once. You can give it out to anyone.
Book will be send to donee, nothing more to care about.

Book gift voucher sample Read more

More about Software Engineering and Formal Methods

Book details
Synopsis
Trending among others

You get 125 loyalty points

Book synopsis

This book constitutes the refereed proceedings of the 12th International Conference on Software Engineering and Formal Methods, SEFM 2014, held in Grenoble, France, in September 2014.§The 23 full papers presented together with 3 invited and 6 tool papers were carefully reviewed and selected from 106 submissions. They are organized in topical section on program verification, testing, component-based systems, real-time and embedded systems, model checking and automata learning, program correctness, and adaptive and multi-agent systems.

Book details

Book category Books in English Computing & information technology Computer hardware Network hardware

51.55 €

Full title: Software Engineering and Formal Methods
Subtitle: 12th International Conference, SEFM 2014, Grenoble, France, September 1-5, 2014, Proceedings
Author: Dimitra Giannakopoulou, Gwen Salaün
Language: English
Binding: Paperback
Number of pages: 394
EAN: 9783319104300
ISBN: 3319104306
ID: 05147842
Publisher: Springer International Publishing AG
Weight: 6263 g
Dimensions: 235 × 155 × 235 mm
Date of publishing: 24. July 2014