[email protected]
LIBRISTO 0
Austrian Post 5.99 € DPD courier 6.49 € GLS courier 4.49 €
phone Contact phoneHow to shop

Software Engineering and Formal Methods

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 161 b
68.07 € včetně DPH
Low in stock at our supplier Shipping in 13-16 days
Austria Delivery to Austria

30-day return policy

You might also be interested in

Tout le DEAS en QCM/QROC - IFAS - Diplôme État Aide-soignant - 2023-2024 Hayat Abbadi / Paperback
common.buy 22.36 €
History of Louis Philippe John Stevens Cabot Abbott / Hardback
common.buy 44.30 €
COMING SOON
Einmaleins für die 4. Klasse Anja Rahm / Sheet
common.buy 5.35 €
Ratsburgerschaft und Residenz Christian Schmitz / Hardback
common.buy 160.51 €
Beginning R Larry Pace / Paperback
common.buy 72.67 €
Moon in the Water Stan Gordon / Paperback
common.buy 17.33 €
From Furs to Farms John Reda / Hardback
common.buy 174.68 €
Blown to Bits Leon Cooper / Hardback
common.buy 27.18 €
Diriger et gérer l'entreprise : dossiers et questions Koubi / Paperback
common.buy 26.21 €
Romeo Et Juliette Au Village (Ed.1895) Gottfried Keller / Paperback
common.buy 28.68 €
Sixth Sense Alastair Davie / Hardback
common.buy 36.92 €
To Love Again? Shunkedra / Paperback
common.buy 23.00 €
Dark Journey to a Light Future Tommie Mabry / Hardback
common.buy 35.74 €
Het obstipatie formularium A.J.P.M. Smout / Paperback
common.buy 24.93 €
Bringing Out the Best in Your Marriage Dr H Norman Wright / Paperback
common.buy 13.26 €
Enthaubttung dess Weltberuhmten Wohlredners Ciceronis Joseph Anton Stranitzky / Paperback
common.buy 10.60 €

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.

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

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