Code: 02581552

FM 2014: Formal Methods

Name: FM 2014: Formal Methods
Brand: Springer International Publishing AG
SKU: 02581552
Price: 102.97 EUR
Availability: InStock
Author: Cliff Jones
ISBN: 9783319064093

by Cliff Jones, Pekka Pihlajasaari, Jun Sun

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

102.97 €

RRP: 111.59 €

You save 8.63 €

In stock at our supplier
Shipping in 5 - 8 days

Add to wishlist

All-Star Superman
7.68 € -28 %
Buy
BANDS OF MOURNING
22.04 € -27 %
Buy
Handbook of Western Palearctic Birds
155.77 € -19 %
Buy
Disney Die Eiskönigin - Völlig unverfroren Freundebuch
8.79 € -13 %
Buy
Canada West Marco Polo Pocket Travel Guide - with pull out map
13.95 € -9 %
Buy
First Ladies of Rome
18.10 € -25 %
Buy
I Dare to Heal: With Compassionate Love
1.10 € -92 %
Buy
Spooks the Unofficial History of MI5 From the First Atom Spy to 7/7 1945-2009
20.93 € -9 %
Buy
Pneumologie
21.13 €
Buy
Ethics in Planning
199.78 €
Buy
Exterior Billiards
51.68 € -7 %
Buy
Green Energy: Technologies and Systems
114.40 € -11 %
Buy
Decouverte Des Grandes Sources Du Centre de l'Afrique: Rivieres de Vie, Rivieres de Mort, Nana
24.07 €
Buy
Ethics of Captivity
151.12 €
Buy
England and South Africa.
18.10 € -24 %
Buy
Other Jerome K Jerome
16.07 € -24 %
Pre-order
FONCTIONS PERSONNALISEES EN PYTHON
22.65 € -14 %
Buy
Detroit's Historic Places of Worship
44.50 € -5 %
Buy
Aunty Felicia Returns: Aunty Felicia Series
7.27 € -6 %
Buy
Mob Justice
58.05 € -9 %
Buy
7+ English Cloze Test: Year 2
8.89 € -6 %
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

You get 249 loyalty points

Book synopsis

This book constitutes the refereed proceedings of the 19th International Symposium on Formal Methods, FM 2014, held in Singapore, May 2014. The 45 papers presented together with 3 invited talks were carefully reviewed and selected from 150 submissions. The focus of the papers is on the following topics: Interdisciplinary Formal Methods, Practical Applications of Formal Methods in Industrial and Research Settings, Experimental Validation of Tools and Methods as well as Construction and Evolution of Formal Methods Tools.

Book details

Book category Books in English Computing & information technology Computer science Human-computer interaction

102.97 €

Full title: FM 2014: Formal Methods
Subtitle: 19th International Symposium, Singapore, May 12-16, 2014. Proceedings
Author: Cliff Jones, Pekka Pihlajasaari, Jun Sun
Language: English
Binding: Paperback
Number of pages: 750
EAN: 9783319064093
ISBN: 3319064096
ID: 02581552
Publisher: Springer International Publishing AG
Weight: 1157 g
Dimensions: 235 × 155 × 40 mm
Date of publishing: 26. March 2014