Code: 14277723

Formal Methods and Software Engineering

Name: Formal Methods and Software Engineering
Brand: Springer International Publishing AG
SKU: 14277723
Price: 51.66 EUR
Availability: InStock
Author: Kazuhiro Ogata
ISBN: 9783319478456

by Kazuhiro Ogata, Mark Lawford, Shaoying Liu

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

51.66 €

RRP: 55.94 €

You save 4.28 €

In stock at our supplier
Shipping in 5 - 8 days

Add to wishlist

A Very English Scandal
11.82 € -25 %
Buy
Greek and Roman Calendars
51.76 €
Buy
Cattleya and Catopsis, The Lost Kitten
14.75 € -2 %
Buy
Notes on the Birds of Damara Land
27.70 € -14 %
Buy
Classical Groups and K-Theory
154.29 € -7 %
Buy
Management of Nitrogen and Phosphorus Fertilizers in Sub-Saharan Africa
154.29 € -7 %
Buy
A PLEA FOR A NEW TRANSLATION OF THE SCRI
29.21 € -1 %
Buy
Caliente !
31.64 €
Buy
Das Buch der vergessenen Geschichten
22.64 € -6 %
Buy
The Quire a Biographical Sketch
16.67 € -25 %
Buy
Object Lessons
15.36 € -18 %
Buy
Histoire Du Roi de Rome: Duc de Reichstadt, Coup d'Oeil Sur La Revolution, Consulat Et l'Empire
21.12 € -2 %
Buy
Phase Microscopy; Principles and Applications
45.39 € -9 %
Buy
Effects of nonionizing electromagnetic waves of intermediate frequency
32.04 € -14 %
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 18th International Conference on Formal Engineering Methods, ICFEM 2016, held in Tokyo, Japan, in November 2016. The 27 revised full papers presented together with three invited talks were carefully reviewed and selected from 64 submissions. The conference focuses in all areas related to formal engineering meth-ods, such as veri cation and validation, software engineering, formal speci cation and modeling, software security, and software reliability.

Book details

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

51.66 €

Full title: Formal Methods and Software Engineering
Subtitle: 18th International Conference on Formal Engineering Methods, ICFEM 2016, Tokyo, Japan, November 14-18, 2016, Proceedings
Author: Kazuhiro Ogata, Mark Lawford, Shaoying Liu
Language: English
Binding: Paperback
Number of pages: 486
EAN: 9783319478456
ISBN: 3319478451
ID: 14277723
Publisher: Springer International Publishing AG
Weight: 381 g
Dimensions: 210 × 150 × 22 mm
Date of publishing: 15. October 2016