Code: 18151546

Formal Methods and Software Engineering

Name: Formal Methods and Software Engineering
Brand: Springer International Publishing AG
SKU: 18151546
Price: 51.62 EUR
Availability: InStock
Author: Zhenhua Duan
ISBN: 9783319686899

by Zhenhua Duan, Luke Ong

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

51.62 €

RRP: 55.89 €

You save 4.28 €

In stock at our supplier
Shipping in 5 - 8 days

Add to wishlist

How the Mind Works
16.16 € -25 %
Buy
Food Wars!: Shokugeki no Soma, Vol. 4
7.87 € -25 %
Buy
Challenger 2 Main Battle Tank Manual
36.56 € -9 %
Buy
The Victors: Eisenhower and His Boys: The Men of World War II
14.74 € -25 %
Buy
Kielmeyer and the Organic World
133.96 €
Buy
Bauchreden
20.70 € -10 %
Buy
Das Konzil von Konstantinopel 536
112.14 €
Buy
Selected Works for Organ: Organ Solo
12.42 € -21 %
Buy
LA REINA DEL AIRE
21.81 €
Buy
T'CHOUPI - MON PREMIER CARTABLE
9.89 €
Buy
Sacrifice and Redemption
60 €
Buy
GLOBAL HEALTH LAW AN INTRODUCTION
36.77 €
Buy
Advances in Engineering Research and Application
205.49 € -7 %
Buy
Arqueologia y aleteiologia: Estudios heideggerianos
80.51 €
Buy
San Francisco Giants: An Interactive Guide to the World of Sports
11.51 € -6 %
Buy
L'Amour Paternel Ou La Suivante Reconnaissante, Comedie Italienne, En 3 Actes Et En Prose
13.83 € -2 %
Buy
For the Love of Women
199.53 €
Buy
Fergus and Zeke
15.55 € -24 %
Buy
Reading Poetry
27.37 €
Buy
Historic Orchard and Fruit Tree Stabilization Handbook
31.11 €
Buy
Leonhard da Vinci in Mailand
32.93 € -11 %
Buy
Love as a Guide to Morals
35.45 €
Buy
Theology and the First Theory of Sacrifice
219.73 €
Buy
Dantis Ossa
21.91 €
Buy
Fundamental Rights and the Legal Obligations of Business
34.44 €
Buy
How to Invest in Real Estate: Discover how to Create Wealth and Passive Income Through Real Estate Investing
14.44 € -6 %
Buy
Evolution der Roten Armee Fraktion
22.42 € -11 %
Buy
Ultimate Betrayal
15.55 €
Buy
Meles and the Ferocious Farmer
8.58 € -1 %
Buy
Critical Edition of Robert Davenport's The City Night-Cap
167.20 €
Buy
Four Flags, the Odyssey of a Professional Soldier Part 2
36.87 € -24 %
Buy
Yancey County
23.03 € -25 %
Buy
Numerical Analysis: Historical Developments in the 20th Century
130.02 €
Buy
Texas Strong: Post Apocalyptic Emp Survival Fiction
21.61 € -25 %
Buy
Bourbon & Bacon: The Ultimate Guide to the South's Favorite Foods
20.30 € -24 %
Buy
A Letter To John Hughes On The Systems Of Education
32.72 € -2 %
Buy
THE MOUNTAINS OF THE MORNING
32.72 € -2 %
Buy
Einsterns Schwester - Erstlesen - Ausgabe Bayern 2025 - 1. Jahrgangsstufe
11.51 €
Buy
Environmental Politics and Policy
185.38 €
Buy
Biobazaar
47.07 €
Buy
Diarhebion Cymru
13.83 € -2 %
Buy
The Bootlegger's Daughter
13.12 € -26 %
Buy
Viaxe ao centro da Terra
17.87 €
Buy
Will Abstracts Belmont County, Ohio, Volumes D, E, and F (1827-1839)
30.10 € -2 %
Buy
Prison Governors
224.38 €
Buy
In Our Own Sweet Time
18.28 € -7 %
Buy
As Pessoas Contam!
17.47 € -9 %
Buy
Therapy Culture:Cultivating Vu
228.32 €
Buy
For Goodness Sakes Mootsie
14.84 € -1 %
Buy
Kaufmännisches Rechnen für Berufliche Schulen
42.93 €
Buy
Das Warum?-Buch
13.53 € -10 %
Buy
Glasgone
17.87 € -2 %
Buy
LE CENTRE SIR JOHN MONASH (FR-ANG)
13.43 €
Buy
Text-Book of Geometry
23.43 €
Buy
Snowy: A Leopard of the High Mountains
13.93 € -9 %
Buy
Petits Pas autocollants: Mes premiers mots
6.96 €
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 Formal Methods and Software Engineering

Book details
Synopsis
Trending among others

You get 125 loyalty points

Book synopsis

This book constitutes the refereed proceedings of the 19th International Conference on Formal Engineering Methods, ICFEM 2017, held in Xi'an, China, in November 2017. The 28 revised full papers presented together with one invited talk and two abstracts of invited talks were carefully reviewed and selected from 80 submissions. The conference focuses on all areas related to formal engineering methods, such as verification and validation, software engineering, formal specification and modeling, software security, and software reliability.