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 69.99 €
Speedy courier 3.99 € Speedy point 3.99 € Еконт courier 4.49 € Еконтомат/Офис на Еконт 4.49 € Ekont Box 4.49 € Sameday courier 4.49 € Sameday Box 4.49 € Box Now 4.49 €
phone Contact phoneHow to shop
Free delivery for orders over 69.99€

Integrated Formal Methods

10th International Conference, IFM 2013, Turku, Finland, June 10-14, 2013, Proceedings

Language EnglishEnglish
Book Paperback
Book Integrated Formal Methods Einar Broch Johnsen
Libristo code: 01663776
Publishers Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, May 2013
This book constitutes the refereed proceedings of the 10th International Conference on Integrated Fo... Full description
? points 125 b
51.39 €
100.51  лв
In stock at our supplier Shipping in 5-8 days

Up to 30 days for returns

Customers also purchased

LEIBNIZ. Las matemáticas del mejor mundo posible MANUEL GARCIA PIQUERAS / Book Paperback
common.buy 26.77 € 52.37 лв
Dançando tango em Istambul Melis Merih Kiliç / Book Paperback
common.buy 44.34 € 86.71 лв
The Other Side of Sadness Tripsitter Audio Audio vinyl
common.buy 21.88 € 42.80 лв
Happydemia Giacomo Papi / Book Paperback
common.buy 17.81 € 34.84 лв
Manuel de communication non verbale appliquée - Le modèle de recours à la force évolué et les indices de menace Rossin-Arthiat / Book Paperback
common.buy 42.89 € 83.89 лв
gatto del Dalai Lama e il potere del miao David Michie / Book Hardback
common.buy 24.47 € 47.85 лв
Mallorca a mitjan segle XV : el sindicat i l'alçament for? / Book Paperback
common.buy 34.36 € 67.20 лв
El cerebro adolescente Javier Quintero Gutierrez del Alamo / E-book Adobe ePub DRM
common.buy 10.40 € 20.34 лв
Cuisine Breizh. Crêpes, coquillages et crustacés Fanny Le Hir / Book Hardback
common.buy 27.34 € 53.47 лв
EINE KLEINE NACHTMUSIK KV 525 WOLFGANG AMADEUS MOZ Book binding.
common.buy 10.96 € 21.44 лв
Éléments de culture générale - 100 'colles' et sujets pour les prépas et les oraux des concours Dumont / Book Paperback
common.buy 31.05 € 60.73 лв
Top
Manekýna Sofie Králová / Book Book
common.buy 11.27 € 22.05 лв
Recht und Energie Peter Rosin / Book Hardback
common.buy 224.53 € 439.14 лв
Rivalen unter roter Sonne, 1 Blu-ray Terence Young / Video Blu-ray
common.buy 14.11 € 27.59 лв
La biblia del ayurveda : guía definitiva de la sanación ayurvédica Anne McIntyre / Book Paperback
common.buy 22.04 € 43.10 лв
Pies ktory kochal zbyt mocno Nicholas Dodman / Book Paperback
common.buy 8.03 € 15.70 лв
Beitraege Zur Rezeptions- Und Wirkungsgeschichte Der Volkserzaehlung Leander Petzoldt / Book Paperback
common.buy 137.80 € 269.52 лв
Die Geschichte von der 1002. Nacht, 8 Audio-CD Joseph Roth / Audio Audio CD
common.buy 42.17 € 82.48 лв
Totenbuch DES Mainzer Dominikanerklosters Isnard W. Frank / Book Hardback
common.buy 124.88 € 244.24 лв
Meine täglichen Übungen in Mathematik - 10. Schuljahr. H.3 Karlheinz Lehmann / Book Sheet
common.buy 11.22 € 21.95 лв
Kunst Des 18. Jahrhunderts Edmond de Goncourt / Book Paperback
common.buy 45.73 € 89.43 лв
Coming soon
Crimson Spell. Bd.5 Ayano Yamane / Book Paperback
common.buy 9.37 € 18.32 лв

This book constitutes the refereed proceedings of the 10th International Conference on Integrated Formal Methods, IFM 2013, held in Turku, Finland, in June 2013. §The 25 revised full papers presented together with 4 invited papers were carefully reviewed and selected from 84 full paper submissions. The papers cover the spectrum of integrated formal methods, focusing on refinement, integration, translation, verification, reachability and model checking, usability and testing, distributed systems, semantics, and system-level analysis.

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 Integrated Formal Methods
Author Einar Broch Johnsen, Luigia Petre
Language English
Binding Book - Paperback
Date of issue 2013
Number of pages 443
EAN 9783642386121
ISBN 3642386121
Libristo code 01663776
Publishers Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Weight 700
Dimensions 155 x 235 x 26

Categories

Computing & Information Technology > Computer science > Mathematical theory of computation > Maths for computer scientists
Computing & Information Technology > Computer programming / software engineering > Compilers & interpreters
Computing & Information Technology > Computer programming / software engineering > Programming & scripting languages: general
Computing & Information Technology > Computer programming / software engineering > Software Engineering
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

Space groups (156) P3m1-(148) R-3 Pierre Villars / Book Hardback
common.buy 561.28 € 1 097.76 лв
Progressive Development Arie S. Issar / Book Paperback
common.buy 102.53 € 200.53 лв
Safety of historical stone arch bridges Pieter Van Gelder / Book Paperback
common.buy 100.31 € 196.20 лв
Snapshots of Lisa: A Candid Look at Down Syndrome and Snippets of Lisa's Life Angee Barcus / Book Paperback
common.buy 13.23 € 25.88 лв
Blaze and Thunderbolt C. W. Anderson / Book Paperback
common.buy 8.60 € 16.81 лв
Inside Gitmo Gordon Cucullu / Book Paperback
common.buy 21.62 € 42.29 лв
Meetings with Remarkable Women Lenore Friedman / Book Paperback
common.buy 29.76 € 58.21 лв
Guided Highlighted Reading: A Close-Reading Strategy for Navigating Complex Text Elaine M. Weber / Book Paperback
common.buy 20.65 € 40.38 лв
Folklore: What Is It and What Is the Good of It? Edwin Sidney Hartland / Book Hardback
common.buy 27.50 € 53.78 лв
Fly ash for water and wastewater treatment Md. Ahmaruzzaman / Book Paperback
common.buy 39.08 € 76.44 лв
Free Thoughts on Despotic and Free Governments Joseph Townsend / Book Hardback
common.buy 35.22 € 68.88 лв
Anji's Story (Individual stories from WISH YOU WERE HERE!, Book 6) Lynn Russell / E-book Adobe ePub DRM
common.buy 6.90 € 13.49 лв
Of Lands High and Low Martha Keyes / Book Paperback
common.buy 13.28 € 25.98 лв
Pigeons Penguins Post Turtles: And Other Lousy Managers Wesley Miller / Book Paperback
common.buy 13.23 € 25.88 лв
365 Worksheets - Find Predecessor and Successor of 3 Digit Numbers: Math Practice Workbook Kapoo Stem / Book Paperback
common.buy 15.14 € 29.60 лв
Racism, Culture, Markets John Gabriel / Book Hardback
common.buy 291.32 € 569.78 лв
Exponential Families of Stochastic Processes Uwe Küchler / Book Hardback
common.buy 153.67 € 300.55 лв
Gospel Culture: The Cultural Markings of a Christ-Centered Church David S Jung / Book Paperback
common.buy 10.55 € 20.64 лв
Value of Systems and Complexity Sciences for Healthcare JOACHIM P STURMBERG / Book Paperback
common.buy 102.53 € 200.53 лв
Tocqueville Khaled Mattawa / Book Paperback
common.buy 15.08 € 29.50 лв
Mentalizing in Arts Therapies Marianne Verfaille / Book Hardback
common.buy 238.64 € 466.74 лв
Learn Power BI Greg Deckler / Book Paperback
common.buy 45.88 € 89.73 лв
Awakening Power Sat Dharma / Book Paperback
common.buy 16.11 € 31.52 лв
Broadtube Music Mag - Volume 28: Music Mag 28 Olamide Ayodeji Kolade / Book Paperback
common.buy 10.55 € 20.64 лв

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?