Check order status
LIBRISTO
LIBROAMANTO
mandatory
Forgotten password
Become part of a community of book lovers from all over the world and get access to a whole bunch of benefits. Create an account for free
0
DPD courier 4.99 € GLS courier 9.99 €
phone Contact phoneHow to shop

FM 2014: Formal Methods

19th International Symposium, Singapore, May 12-16, 2014. Proceedings

Language EnglishEnglish
Book Paperback
Book FM 2014: Formal Methods Cliff Jones
Libristo code: 02581552
Publishers Springer International Publishing AG, March 2014
This book constitutes the refereed proceedings of the 19th International Symposium on Formal Methods... Full description
? points 249 b
102.67 €
In stock at our supplier Shipping in 5-8 days

Up to 30 days for returns

Customers also purchased

La Huerta y la Casa Grande de Pozuelo de Alarcón Montero Sánchez / Book Paperback
common.buy 15.42 €
Pneumologie Margelidon / Book Paperback
common.buy 21.17 €
FONCTIONS PERSONNALISEES EN PYTHON REY PATRICE / Book Paperback
common.buy 22.58 €
Cahier d'algorithmique et de programmation 4e (2018) - Cahier élève SAUZEAU / Book Paperback
common.buy 9.87 €
Decouverte Des Grandes Sources Du Centre de l'Afrique: Rivieres de Vie, Rivieres de Mort, Nana Lenfant-E / Book Paperback
common.buy 25.11 €
Des Finances Publiques En France De Menainville-E / Book Paperback
common.buy 13.61 €
Formen und Verfahren der Leistungsfeststellung in der Pflegeausbildung Nils Pohler / Book Paperback
common.buy 40.03 €
Disney Die Eiskönigin - Völlig unverfroren Freundebuch / Book Hardback
common.buy 8.77 €

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.

Actress & Polyglot
EWA KASP for
Play video
Ewa Kasp
Libristo has the largest selection of foreign-language books. That’s why I buy my books there.

About the book

Full name FM 2014: Formal Methods
Author Cliff Jones, Pekka Pihlajasaari, Jun Sun
Language English
Binding Book - Paperback
Date of issue 2014
Number of pages 750
EAN 9783319064093
ISBN 3319064096
Libristo code 02581552
Publishers Springer International Publishing AG
Weight 1157
Dimensions 155 x 235 x 40

Categories

Computing & Information Technology > Computer science > Human–computer interaction > User interface design & usability
Computing & Information Technology > Computer science > Human–computer interaction > Information architecture
Computing & Information Technology > Computer hardware > Maintenance & repairs
Computing & Information Technology > Computer programming / software engineering > Software Engineering
Computing & Information Technology > Computer science > Mathematical theory of computation
Computing & Information Technology > Computer science > Computer architecture & logic design
Give this book today
It's easy
1 Add to cart and choose Deliver as present at the checkout 2 We'll send you a voucher 3 The book will arrive at the recipient's address

You might also be interested in

Exterior Billiards Alexander Plakhov / Book Hardback
common.buy 51.53 €
7+ English Cloze Test: Year 2 Moon Tuition / Book Paperback
common.buy 9.27 €
Green Energy: Technologies and Systems DAVID MCCARTNEY / Book Hardback
common.buy 120.52 €
Ethics in Planning Martin Wachs / Book Hardback
common.buy 208.48 €
Aunty Felicia Returns: Aunty Felicia Series MR Philip Begho / Book Paperback
common.buy 7.66 €
Cat and the Beautiful Mrs. Butterfly Lena Anderson / Book Paperback
common.buy 19.26 €
Fresh Fruits: A 30 Day Devotional Jennifer Bushnell / Book Paperback
common.buy 10.28 €
Affordable
I Dare to Heal: With Compassionate Love Joel Vorensky / Book Paperback
common.buy 1.10 €
Detroit's Historic Places of Worship Marla O. Collum / Book Paperback
common.buy 44.57 €
Top
BANDS OF MOURNING Brandon Sanderson / Book Hardback
common.buy 23.49 €
Canada West Marco Polo Pocket Travel Guide - with pull out map Marco Polo / Book Paperback
common.buy 13.91 €
Top
All-Star Superman Grant Morrison / Book Paperback
common.buy 7.45 €
England and South Africa. Edward J Gibbs / Book Paperback
common.buy 19.15 €
Mob Justice Anju Khosla / Book Hardback
common.buy 57.89 €
Ethics of Captivity Lori Gruen / Book Hardback
common.buy 157.54 €
Coming soon
Other Jerome K Jerome Martin Green / Book Paperback
common.buy 16.03 €
First Ladies of Rome Annelise Freisenbruch / Book Paperback
common.buy 18.04 €
Spooks the Unofficial History of MI5 From the First Atom Spy to 7/7 1945-2009 Thomas Hennessey / Book Paperback
common.buy 20.87 €
Handbook of Western Palearctic Birds Hadoram Shirihai / Book Hardback
common.buy 155.32 €

Login

Log in to your account. Don't have a Libristo account? Create one now!

 
mandatory
mandatory
Forgotten password

Don’t have an account? Discover the benefits of having a Libristo account!

With a Libristo account, you'll have everything under control.

Create a Libristo account
Book advisor Libroamiko
Hi, I'm Libroamiko, can I help?