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.

Software Engineering and Formal Methods

SEFM 2014 Collocated Workshops: HOFM, SAFOME, OpenCert, MoKMaSD, WS-FMDS, Grenoble, France, September 1-2, 2014, Revised Selected Papers

Language EnglishEnglish
Book Paperback
Book Software Engineering and Formal Methods Carlos Canal
Libristo code: 09155938
Publishers Springer International Publishing AG, February 2015
This book constitutes revised selected papers from the workshops collocated with the SEFM 2014 confe... Full description
? points 125 b
51.75 €
In stock at our supplier Shipping in 5-8 days

30-day return policy

Customers also purchased

La Morale Anarchiste Petr Alekseevich Kropotkine / Book Paperback
common.buy 13.66 €
Het obstipatie formularium A.J.P.M. Smout / Book Paperback
common.buy 23.79 €
NUEVA NOVELA PR AUTOR PROVISIONAL / Book Hardback
common.buy 24.70 €
Tout le DEAS en QCM/QROC - IFAS - Diplôme État Aide-soignant - 2023-2024 Hayat Abbadi / Book Paperback
common.buy 21.06 €
Expressionismus Bahr / Book Paperback
common.buy 15.39 €
Kraniosakrální terapie Velká kniha Thomas Attlee / Book Book
common.buy 28.65 €
Diriger et gérer l'entreprise : dossiers et questions Koubi / Book Paperback
common.buy 24.70 €
Propagation des singularites des solutions d'equations pseudo-differentielles a caracteristiques de multiplicites variables Richard Lascar / Book Paperback
common.buy 36.25 €
Sinn der Liebe Wladimir Solov'ev / Book Hardback
common.buy 32.10 €
OEffentliche Verwaltung in Brasilien Und Deutschland Katrin Möltgen-Sicking / Book Paperback
common.buy 67.55 €
Ratsburgerschaft und Residenz Christian Schmitz / Book Hardback
common.buy 159.00 €
R alisation d''une Commande Num rique Et Identification Par RNA Aimad Ahriche / Book Paperback
common.buy 34.93 €
Les Anomalies Chromosomiques Et Leurs Cons quences Sur La Reproduction Katia Julian / Book Paperback
common.buy 61.57 €
Enthaubttung dess Weltberuhmten Wohlredners Ciceronis Joseph Anton Stranitzky / Book Paperback
common.buy 9.00 €
Coming soon
Cr?pes & Galettes Hervé Kerourédan / Book Hardback
common.buy 8.60 €
Englischsprachige Shakespeareparodien Des 20. Jahrhunderts Amrei Wiencek / Book Paperback
common.buy 48.40 €
Romeo Et Juliette Au Village (Ed.1895) Gottfried Keller / Book Paperback
common.buy 24.20 €
Bergwercks Geschoepff, und wunderbare Eigenschafft der Metalsfruchte Georg Meyer / Book Paperback
common.buy 19.74 €

This book constitutes revised selected papers from the workshops collocated with the SEFM 2014 conference on Software Engineering and Formal Methods, held in Grenoble, France, in September 2014. The 26 papers included in this volume were carefully reviewed and selected from 49 submissions. They are from the following workshops: the 1st Workshop on Human-Oriented Formal Methods - From Readability to Automation, HOFM 2014, the 3rd International Symposium on Modelling and Knowledge Management Applications - Systems and Domains, MoKMaSD 2014, the 8th International Workshop on Foundations and Techniques for Open Source Software Certification, Open Cert 2014, the 1st Workshop on Safety and Formal Methods, SaFoMe 2014, and the 4th Workshop on Formal Methods in the Development of Software, WS-FMDS 2014.

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 Software Engineering and Formal Methods
Author Carlos Canal, Akram Idani
Language English
Binding Book - Paperback
Date of issue 2015
Number of pages 405
EAN 9783319152004
ISBN 3319152009
Libristo code 09155938
Publishers Springer International Publishing AG
Weight 6555
Dimensions 155 x 235 x 10

Categories

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
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

Oxford Phonics World: Level 1: Teacher's Pack with Classroom Presentation Tool 1 / Book Paperback
common.buy 67.65 €
Unwrapping God's Gift of Life Cheryl Delamarter / Book Paperback
common.buy 25.21 €
Functional Foods and Nutrition G. Subbulakshami / Book Hardback
common.buy 115.35 €
Linguistic Landscape of the Mediterranean Stefania Tufi / Book Hardback
common.buy 135.10 €
From Furs to Farms John Reda / Book Hardback
common.buy 165.69 €
United States of America Murray / Book Hardback
common.buy 36.45 €
Chemical News and Journal of Physical Science, Volume 3 Sir William Crookes / Book Hardback
common.buy 43.03 €
China and Sustainable Development in Latin America López Andres / Book Hardback
common.buy 126.39 €
Law of Moses Viewed in Connexion with the History and Character of the Jews Henry John Rose / Book Hardback
common.buy 33.62 €
Wild Kitty L T Meade / Book Paperback
common.buy 11.94 €
Shih Tzu, Shih Tzu training a: Think Like a Dog, But Don't Eat Your Poop!: Shih Tzu Breed Expert Training, Here's EXACLTY How to Train Yuor Shih Tzu Paul Allen Pearce / Book Paperback
common.buy 12.35 €
Stylistics and Shakespeare's Language Mireille Ravassat / Book Paperback
common.buy 54.48 €
Grammar of Ornament by Owen Jones Owen Jones / Book Hardback
common.buy 48.71 €
Lost in Newfoundland Michael Winsor / Book Hardback
common.buy 27.13 €
Multi Color Stripes: Diary Weekly Spreads January to December Shayley Stationery Books / Book Paperback
common.buy 13.97 €
Basic Tagalog Yolanda C. Hernandez / Book Paperback
common.buy 15.08 €
CSB Men of Character Bible, Revised and Updated, Forest Leathertouch, Indexed Gene A. Getz / Book Book
common.buy 61.37 €
The Sad Ghost Club Colouring Book Lize Meddings / Book Paperback
common.buy 10.83 €
Beginning R Larry Pace / Book Paperback
common.buy 59.95 €
Polymer Additives Jiri E. Kresta / Book Paperback
common.buy 51.75 €
Nina Simone Feeling Good SATB/Piano (ARRANGER); MUSE (A / Book Paperback
common.buy 6.98 €
Building Within Nature Andy Wasowski / Book Paperback
common.buy 22.88 €
Level 3: The Swiss Family Robinson Book and MP3 Pack Johann David Wyss / Book Hardback
common.buy 10.42 €
Assessing the Hypoxia Threat in U.S. Coastal Waters Steve Frederickson / Book Hardback
common.buy 244.89 €

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?