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
Free delivery for purchases over 19 990 Ft
DPD point 990 Ft DPD courier 1 190 Ft GLS point 1 190 Ft Hungarian Post 1 795 Ft Hungarian Post 1 690 Ft Hungarian Post 1 690 Ft FoxPost 1 190 Ft Packeta point 1 190 Ft GLS courier 1 690 Ft
phone Contact phoneHow to shop
Free shipping on orders over 19,990 Ft via Packeta, Fox Post Box, and DPD Collection Point

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 271 b
40 623 Ft
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 5 596 Ft
Mahi - 1 Ciltli, Kutu Set / Book Paperback
common.buy 9 466 Ft
FONCTIONS PERSONNALISEES EN PYTHON REY PATRICE / Book Paperback
common.buy 9 017 Ft
Unsere Heilkräuter - Das verlorene Wissen um die heimische Heilpflanzen Apotheke aus Garten & Natur / Book Paperback
common.buy 6 434 Ft
Pneumologie Margelidon / Book Paperback
common.buy 7 248 Ft
Cahier d'algorithmique et de programmation 4e (2018) - Cahier élève SAUZEAU / Book Paperback
common.buy 3 137 Ft
SOUTIEN A L'INFORMATION BTS 1 FINALITE 2 LICENCE NUMERIQUE ELEVE I-MANUEL+ FICHES RESSOURCES Madeleine Doussy / Book Paperback
common.buy 13 218 Ft
Decouverte Des Grandes Sources Du Centre de l'Afrique: Rivieres de Vie, Rivieres de Mort, Nana Lenfant-E / Book Paperback
common.buy 9 826 Ft
Des Finances Publiques En France De Menainville-E / Book Paperback
common.buy 4 754 Ft
Formen und Verfahren der Leistungsfeststellung in der Pflegeausbildung Nils Pohler / Book Paperback
common.buy 15 961 Ft
Disney Die Eiskönigin - Völlig unverfroren Freundebuch / Book Hardback
common.buy 3 510 Ft

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

Ethics in Planning Martin Wachs / Book Hardback
common.buy 94 974 Ft
Detroit's Historic Places of Worship Marla O. Collum / Book Paperback
common.buy 16 170 Ft
Affordable
I Dare to Heal: With Compassionate Love Joel Vorensky / Book Paperback
common.buy 407 Ft
My Great Alaska Adventure Donald Lagerlef / Book Paperback
common.buy 14 433 Ft
God Speaks in Bhagavad Gita AJAY GUPTA / Book Paperback
common.buy 5 024 Ft
Fresh Fruits: A 30 Day Devotional Jennifer Bushnell / Book Paperback
common.buy 4 050 Ft
Cat and the Beautiful Mrs. Butterfly Lena Anderson / Book Paperback
common.buy 6 211 Ft
Gunwitch: A Tale of the King's Coven David Michael / Book Paperback
common.buy 5 805 Ft
Aunty Felicia Returns: Aunty Felicia Series MR Philip Begho / Book Paperback
common.buy 2 999 Ft
Exterior Billiards Alexander Plakhov / Book Hardback
common.buy 20 356 Ft
Green Energy: Technologies and Systems DAVID MCCARTNEY / Book Hardback
common.buy 47 629 Ft
Top
Dead in the Water Kit Chellel / Book Paperback
common.buy 4 967 Ft
Contes: With Notes Grammatical And Explanatory, And A Short Biography Of The Author (1861) Emile Souvestre / Book Paperback
common.buy 11 642 Ft
7+ English Cloze Test: Year 2 Moon Tuition / Book Paperback
common.buy 3 676 Ft
Canada West Marco Polo Pocket Travel Guide - with pull out map Marco Polo / Book Paperback
common.buy 5 492 Ft
Ten Days of Harmony Meyari McFarland / Book Paperback
common.buy 5 114 Ft
BANDS OF MOURNING Brandon Sanderson / Book Hardback
common.buy 9 528 Ft
Top
All-Star Superman Grant Morrison / Book Paperback
common.buy 3 103 Ft
Brain Controls Everything"" Children's Ideas About the Body Gunnhildur Oskarsdottir / Book Hardback
common.buy 42 619 Ft
Book of the Thousand Nights and One Night Volume 7. John Payne / Book Paperback
common.buy 6 089 Ft
England and South Africa. Edward J Gibbs / Book Paperback
common.buy 7 697 Ft
Mob Justice Anju Khosla / Book Hardback
common.buy 22 215 Ft
Word-Order Change and Grammaticalization in the History of Chinese Chaofen Sun / Book Hardback
common.buy 30 035 Ft
Ethics of Captivity Lori Gruen / Book Hardback
common.buy 83 994 Ft

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?