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

Formal Methods and Software Engineering

17th International Conference on Formal Engineering Methods, ICFEM 2015, Paris, France, November 3-5, 2015, Proceedings

Language EnglishEnglish
Book Paperback
Book Formal Methods and Software Engineering Michael Butler
Libristo code: 09535572
Publishers Springer International Publishing AG, November 2015
This book constitutes the refereed proceedings of the 17th International§Conference on Formal Engine... Full description
? points 132 b
54.09 €
105.80  лв
In stock at our supplier Shipping in 5-8 days

Up to 30 days for returns

Customers also purchased

Zaginieni mistrzowie. Ponowne odkrycie duchowości Starożytnych Greckich Filozofów Eckhart Tolle Book binding.
common.buy 10.85 € 21.21 лв
Druhá derivace touhy Na prahu digitální teologie Tomáš Sedláček / Book Hardback
common.buy 13.16 € 25.74 лв
Peche a la lune (La) DUBOIS / Book Paperback
common.buy 8.22 € 16.08 лв
Il libro dei lupi MEZZO DAVIDE ANDREA / Book Paperback
common.buy 17.33 € 33.90 лв
De la race des seigneurs Alain-Fabien Delon / Book Paperback
common.buy 31.16 € 60.94 лв
LA NATURE EN LANGUEDOC-ROUSSILLON LEGENDRE / Book Book
common.buy 15.47 € 30.26 лв
Historia del convento de Ntra.Sra.del Rosario de Oviedo TABOADA / Book Paperback
common.buy 44.63 € 87.29 лв
CONOCIMIENTO DEL PROFESIONAL DE SALUD SOBRE QUIRÓFANO DIFERENCIADO Karla Sujey Vasquez Larco / Book Paperback
common.buy 41.29 € 80.75 лв
Max von Schenkendorf E. Heinrich / Book Paperback
common.buy 32.86 € 64.26 лв
Don Chisciotte in Sicilia Roberto Mandracchia / Book Paperback
common.buy 18.92 € 37.00 лв
Affordable
Ran the Peerless Beauty 06 Hana Rude / Book Paperback
common.buy 2.57 € 5.02 лв
Epistola Pastoralis S. Nersetis Claiensis... Giuseppe Cappelletti / Book Paperback
common.buy 19.24 € 37.62 лв
Appuntamento a Positano Goliarda Sapienza / Book Paperback
common.buy 20.26 € 39.62 лв
Ich und du 5 podręcznik +CD /2012 Marta Kozubska Book Paperback
common.buy 10.28 € 20.11 лв
Jak přemýšlí náš teenager? Tanith Careyová / Book Paperback
common.buy 17.22 € 33.68 лв
De ejercicios con sor Isabél de Meester / Book Paperback
common.buy 14.34 € 28.05 лв
Entstehung und Entwicklung des nationalsozialistischen Denkens in OEsterreich. Eine Analyse von Martin Pollacks "Der Tote im Bunker. Bericht uber mein Kacper Piontkowski / Book Paperback
common.buy 23.61 € 46.17 лв
Espiritualidad Islamica en Venezuela Nadya Ramdjan / Book Paperback
common.buy 366.29 € 716.40 лв
Auf dass wir klug werden Anja Zimmer / Book Paperback
common.buy 17.07 € 33.38 лв
Biotechs A Schneider / Book Paperback
common.buy 13.37 € 26.14 лв
Die Geschichte des Gil Blas von Santillana Alain René Le Sage / Book Paperback
common.buy 32.86 € 64.26 лв
Chefs-d'Oeuvre de Voltaire. Tome 3. Merope Voltaire / Book Paperback
common.buy 20.20 € 39.52 лв
Essai Philosophique Sur Le Corps Humain: Pour Servir de Suite A La Philosophie de la Nature. V2 Jean Baptiste Claude Delisle De Sales / Book Paperback
common.buy 28.38 € 55.51 лв
de l'Utilite Des Colonies Pour La France Et Du Systeme Des Douanes Applique Aux Denrees Coloniales Ambert-J / Book Paperback
common.buy 14.50 € 28.35 лв

This book constitutes the refereed proceedings of the 17th International§Conference on Formal Engineering Methods, ICFEM 2015, held in Paris,§France, in November 2015. The 27 revised full papers presented were§carefully reviewed and selected from 82 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 Michael Butler, Sylvain Conchon, Fatiha Za?di
Language English
Binding Book - Paperback
Date of issue 2015
Number of pages 436
EAN 9783319254227
ISBN 3319254227
Libristo code 09535572
Publishers Springer International Publishing AG
Weight 6964
Dimensions 155 x 235 x 236

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

Neurobrucellosis Mehmet Turgut / Book Hardback
common.buy 105.72 € 206.78 лв
Evolution Driven by Organismal Behavior Rui Diogo / Book Hardback
common.buy 33.94 € 66.37 лв
Federal Standards and Procedures for the National Watershed Boundary Dataset (WBD) U S Department of Agriculture / Book Paperback
common.buy 18.31 € 35.81 лв
Rival Truths Lindsay St Claire / Book Paperback
common.buy 58.31 € 114.05 лв
American Game Fishes; Their Habits, Habitat and Peculiarities; George O. ]. 1846- [From Old C [Shields / Book Hardback
common.buy 40.84 € 79.88 лв
Voice Biomarkers Shinichi Tokuno / Book Hardback
common.buy 137.35 € 268.63 лв
Top
My Family Puzzle - Country Life Olivia Gibbs / Game/Toy Jigsaw puzzle
common.buy 15.99 € 31.27 лв
Tecumseh's Last Stand John Peter Sugden / Book Paperback
common.buy 24.22 € 47.36 лв
Obturating Materials for Decidouos Dentition Deepti Jawa / Book Paperback
common.buy 41.29 € 80.75 лв
Two Towers John Ronald Reuel Tolkien / Book Paperback
common.buy 13.98 € 27.35 лв
Asi Se Dice! Level 1a, Student Edition McGraw-Hill Education / Book Hardback
common.buy 136.84 € 267.63 лв
Amnesty International and Women's Rights Miriam Ganzfried / Book Paperback
common.buy 63.45 € 124.10 лв
A California Explorer: Five years contributions to California Explorer Magazine Meade Fischer / Book Paperback
common.buy 10.75 € 21.02 лв
Questions and Answers on Bills, Notes, and Checks. E Richard Shipp / Book Paperback
common.buy 14.81 € 28.97 лв
Blood Brothers Beyond Rob J Hayes / Book Hardback
common.buy 22.11 € 43.24 лв
The McGregor Chronicles: Book 2 - Escape from Eden Larry K Collins / Book Paperback
common.buy 12.96 € 25.35 лв
Top Fermented Vegetable Recipes: A Step-by-Step Guide for Kimchi, Krauts, and Ot Lisa Young / Book Paperback
common.buy 7.76 € 15.18 лв
Unmanned Aircraft System Commander's Guide and Aircrew Training Manual (TC 1-600) Department Of the Army / Book Paperback
common.buy 19.18 € 37.52 лв
Music Theory for Singers Level One SANDVIG / Book Paperback
common.buy 27.04 € 52.89 лв
Pearson REVISE 11+ English Practice Book 1 Helen Thomson / Book Paperback
common.buy 14.96 € 29.26 лв
Two Ways Home E. S. BURTON / Book Paperback
common.buy 16.45 € 32.17 лв
Rise of the Necrofauna Britt Wray / Book Paperback
common.buy 15.47 € 30.26 лв
The Kama Sutra Vatsyayana / Book Paperback
common.buy 14.76 € 28.87 лв
LEGO (R) Brick Playing Cards LEGO / Printed items Cards
common.buy 14.24 € 27.85 лв

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?