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 €
DPD courier 5.99 € Bpost point 7.99 € Bpost 7.49 € DPD point 3.49 € GLS courier 4.49 €
phone Contact phoneHow to shop
Free delivery for orders over 69.99 euro.

Formal Methods and Software Engineering

16th International Conference on Formal Engineering Methods, ICFEM 2014, Luxembourg, Luxembourg, November 3-5, 2014, Proceedings

Language EnglishEnglish
Book Paperback
Book Formal Methods and Software Engineering Stephan Merz
Libristo code: 05328257
Publishers Springer International Publishing AG, September 2014
This book constitutes the refereed proceedings of the 16th International Conference on Formal Engine... Full description
? points 125 b
51.69 €
In stock at our supplier Shipping in 5-8 days

30-day return policy

Customers also purchased

Luces de invierno Robyn Carr / Book Paperback
common.buy 13.95 €
Correspondencia RICHARD WAGNER / Book Paperback
common.buy 43.29 €
Путешествие Алисы Кир Булычев / Book Paperback
common.buy 16.58 €
ewige Ich Buja B. / Book Paperback
common.buy 9.60 €
Übersetzungsfragen Maria Fabricius Hansen / Book Paperback
common.buy 16.79 €
Revue de philologie française et provençale / Book Paperback
common.buy 44.81 €
Dobrodružství Rychlé veverky 6 - Příběh z pravěku Pavel Čech / Book Hardback
common.buy 22.55 €
Evlenmeden Olmaz / Video DVD
common.buy 20.93 €
Dandadan T06 Yukinobu Tatsu / Book Paperback
common.buy 11.02 €
La clinique à l'épreuve de la psychanalyse Jean Clavreul / Book Paperback
common.buy 46.03 €
Das Vorgehen bei der Optimierung von Geschäftsprozessen Sandro Pfeiffer / Book Paperback
common.buy 16.18 €
Extremos termicos en Castilla-La Mancha Juan Carlos Montero Rubio / Book Paperback
common.buy 87.21 €
Resume Complet d'Archeologie. Tome 2 CHAMPOLLION-FIGEAC-J / Book Paperback
common.buy 26.20 €
Erste Reise nach dem nördlichen Amerika in den Jahren 1822 bis 1824 Paul Wilhelm / Book Paperback
common.buy 40.87 €
I Comuni E Le Parrocchie Della Provincia Mantovana. Cenni, Etc. Antonino Bertolotti / Book Paperback
common.buy 22.25 €
TAGEBUCH EINES VAMPIRS 3 IN DER DUNKELHEIT Lisa J. Smith / Book Book
common.buy 10.01 €
La conciliación previa o extrajudicial en el proceso laboral Juan . . . [et al. ] Montero Aroca / Book Paperback
common.buy 24.78 €

This book constitutes the refereed proceedings of the 16th International Conference on Formal Engineering Methods, ICFEM 2014, held in Luxembourg, Luxembourg, in November 2014. The 28 revised full papers presented were carefully reviewed and selected from 73 submissions. The papers cover a wide range of topics in the area of formal methods and software engineering and are devoted to advancing the state of the art of applying formal methods in practice. They focus in particular on combinations of conceptual and methodological aspects with their formal foundation and tool support.

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 Formal Methods and Software Engineering
Author Stephan Merz, Jun Pang
Language English
Binding Book - Paperback
Date of issue 2014
Number of pages 460
EAN 9783319117362
ISBN 331911736X
Libristo code 05328257
Publishers Springer International Publishing AG
Weight 7197
Dimensions 155 x 235 x 26

Categories

Computing & Information Technology > Computer hardware > Network hardware
Computing & Information Technology > Computer programming / software engineering > Algorithms & data structures
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 > Mathematical theory of computation
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

Stepping Stones: to the City Beautiful Ellen Carney / Book Paperback
common.buy 19.32 €
New
Why Managers Don't Collaborate Linda McComie / Book Paperback
common.buy 52.00 €
The Correspondence of Assurbanipal, Part II – Letters from Southern Babylonia Grant Frame / Book Paperback
common.buy 58.07 €
Citadel C. M. Alongi / Book Hardback
common.buy 36.72 €
Sesame Street Storybook Collection: Treasury of Love Sesame Workshop / Book Hardback
common.buy 14.26 €
The Genius of the Ancient Egyptians Sonya Newland / Book Paperback
common.buy 9.70 €
Top
Open World Preliminary Student's Book without Answers with Online Practice Niamh Humphreys / Book Paperback
common.buy 20.23 €
Alice's Adventures in Wonderland Lewis Carroll / Book Paperback
common.buy 7.88 €
Blood Moon Lisa Kessler / Book Paperback
common.buy 16.68 €
York Abdominal Course: Keep Fit, Stay Trim Bob Hoffman / Book Paperback
common.buy 13.04 €
Principles of Political Economy and Taxation David Ricardo / Book Paperback
common.buy 10.82 €
Not-So Natural Disaster: Niger 2005 Xavier Crombe / Book Hardback
common.buy 45.01 €
Third Grade Math Workbook Speedy Publishing LLC / Book Paperback
common.buy 12.84 €
Imagining the Audience in Early Modern Drama, 1558-1642 J. Low / Book Paperback
common.buy 41.47 €
Children of Dickens Charles Dickens / Book Paperback
common.buy 13.95 €
Fastnet, Force 10 John Rousmaniere / Book Paperback
common.buy 21.95 €
Top
Cogheart Peter Bunzl / Book Paperback
common.buy 8.69 €
Guards! Guards!: The Play Terry Pratchett / Book Paperback
common.buy 11.83 €
Top
Think Starter Student's Book Herbert Puchta / Book Paperback
common.buy 23.56 €
Dead At Last, At Last No More Air Werner Schwab / Book Paperback
common.buy 17.49 €
The Ladder Of The Gods Manly P. Hall / Book Paperback
common.buy 18.40 €
Ivory Tower and Industrial Innovation David Mowery / Book Paperback
common.buy 36.31 €
Navigating Choppy Waters Matthew P. Goodman / Book Paperback
common.buy 68.29 €
Design and Simulation of Heavy Haul Locomotives and Trains Maksym Spiryagin / Book Hardback
common.buy 224.30 €

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