Code: 16771879

Software Engineering and Formal Methods

Name: Software Engineering and Formal Methods
Brand: Springer International Publishing AG
SKU: 16771879
Price: 51.68 EUR
Availability: InStock
Author: Alessandro Cimatti
ISBN: 9783319661964

by Alessandro Cimatti, Marjan Sirjani

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

51.68 €

RRP: 55.96 €

You save 4.28 €

In stock at our supplier
Shipping in 5 - 8 days

Add to wishlist

5 Language Visual Dictionary
14.96 € -29 %
Buy
The Three Kingdoms of Korea: Lost Civilizations
18.20 € -25 %
Buy
The Wedding People
21.03 € -24 %
Buy
Young ELI Readers - English
16.07 €
Buy
Life 2nd Edition B1 Pre-Intermediate Student’s Book + APP Code
72.82 €
Buy
Centropen Foukací fixy AIR PENS 1500 10 ks
6.26 € -19 %
Buy
Puzzle 40 Frozen II deskové
3.83 € -33 %
Buy
GOODBYE, MY ROSE GARDEN 01
15.37 €
Buy
Klassische Elektrodynamik
42.48 € -6 %
Buy
Fleet Air Arm Handbook 1939-1945
26.49 € -24 %
Buy
Starting Out with Java: From Control Structures through Objects, Global Edition
94.98 €
Buy
Wakacje pingwinka. Duże litery. Podział na sylaby
3.13 € -9 %
Buy
Ear, Nose, and Throat Conditions, An Issue of Veterinary Clinics of North America: Small Animal Practice
83.85 €
Buy
Popsongs for Classical Guitar 2
18.10 € -15 %
Buy
Knowledge, Truth, and Duty
151.12 €
Buy
España en la gran guerra
28.92 €
Buy
La terrible historia de Miros Gombrowicz
21.33 €
Buy
Lolota en París
11.32 € -5 %
Buy
Little Known Ways to New studies on differentiation of Human Stem Cell
35.70 € -14 %
Buy
Barrinem?, matemàtiques amb jocs i problemes, geometria, 3 Educació Primària
4.95 €
Buy
The Cistern
10.81 € -7 %
Buy
Team up in English (Starter 1-2-3)
32.77 €
Buy
Voodoo Dolls - Yogi
5.25 €
Buy
Inspiration from Savitri: Art, Architecture and the Constructions of Man and God
11.52 € -7 %
Buy
Backlash
14.66 € -18 %
Buy
Palgrave Handbook of Biology and Society
212.42 € -4 %
Buy
ePublishing - oekonomischer Einfluss mobiler Lesegerate auf den deutschen Zeitschriftenmarkt
17.09 € -10 %
Buy
Quiet Time: Setting our Heart on God
6.36 € -7 %
Buy
Divers Kinds of Prayers
18.30 € -7 %
Buy
Всё о девочке с Земли
27.81 € -12 %
Buy
Am I Depressed or Am I Bipolar?
21.03 € -24 %
Buy
Lange lieben
11.22 € -9 %
Buy
Sense and Sensibility
14.25 € -7 %
Buy
Intro Biotechnology and Genetic Engineering
112.07 €
Buy
Tristan: Recueil de Ce Qui Reste Des Po Mes Relatifs Ses Aventures: Compos En Fran OIS, En Anglo-Normand Et En Grec Dans Les XI
24.27 € -25 %
Buy
Modismos y frases hechas del espa?ol de Espa?a: Volumen II
10.81 € -7 %
Buy
Lives of Ingolf Dahl
35.90 €
Buy
Vintage Gleanings
24.67 € -2 %
Buy
L'oeuf et la poule
33.17 €
Buy
Not Just for the Money
43.49 € -4 %
Buy
Glacier National Park Hiking Adventure Set
18.60 € -9 %
Buy
Flash Digest July 2024
7.88 € -24 %
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 15th International Conference on Software Engineering and Formal Methods, SEFM 2017, held in Trento, Italy, in September 2017. The 17 full papers and 6 short papers presented were carefully reviewed and selected from 102 submissions. The papers deal with a large range of topics in the following research areas: new frontiers in software architecture; software verification and testing; software development methods; application and technology transfer; security and safety; an d design principles.