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
DPD courier 4.99 € GLS courier 11.49 €
phone Contact phoneHow to shop

Software Engineering and Formal Methods

13th International Conference, SEFM 2015, York, UK, September 7-11, 2015. Proceedings

Language EnglishEnglish
Book Paperback
Book Software Engineering and Formal Methods Radu Calinescu
Libristo code: 09480142
Publishers Springer International Publishing AG, August 2015
This book constitutes the refereed proceedings of the 12th International Conference on Software Engi... Full description
? points 125 b
51.75 €
In stock at our supplier Shipping in 5-8 days

30-day return policy

Customers also purchased

Dors bien, petit loup - Sov gott, lilla vargen (francais - suedois) Ulrich Renz / Book Paperback
common.buy 13.56 €
PUZZLE 2x70 - Samochodziki Hot Wheels 34442 / Game/Toy Jigsaw puzzle
common.buy 3.74 €
Ambicion Del Ave Fenix Oscar de Benito / Book Paperback
common.buy 18.32 €
CONTRA LA CULTURA LABRUCE / Book Book
common.buy 23.18 €
Saison Anneline Dintilhac / Book Paperback
common.buy 16.80 €
Zanoni Lytton / Book Paperback
common.buy 26.63 €
Inselhupfen in Griechenland Gabriele Lackner / Book Paperback
common.buy 15.39 €
Buonanotte! Benji Davies / Book Hardback
common.buy 16.80 €
Cine con sentido : una lectura humano-evangelizadora del cine VILLEGAS SALDAÑA / Book Paperback
common.buy 14.78 €

This book constitutes the refereed proceedings of the 12th International Conference on Software Engineering and Formal Methods, SEFM 2015, held in York, UK, in September 2015.§The 17 full papers presented together with 2 invited and 6 short papers were carefully reviewed and selected from 96 submissions. The topics of interest included the following aspects of software engineering and formal methods: program verification, testing, certification, formal specification and proof, testing and model checking, planning, modelling, and model transformation.

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 Radu Calinescu, Bernhard Rumpe
Language English
Binding Book - Paperback
Date of issue 2015
Number of pages 369
EAN 9783319229683
ISBN 3319229680
Libristo code 09480142
Publishers Springer International Publishing AG
Weight 5796
Dimensions 155 x 235 x 23

Categories

Computing & Information Technology > Computer hardware > Network hardware
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

Elements of Brakigraphy John Thomas Porter / Book Paperback
common.buy 11.74 €
Top New
Bourbon & Proof WILDER VICTORIA / Book Paperback
common.buy 15.79 €
Dead Ringers: Series 20-23 Plus Specials Jon Culshaw / Audiobook MP3
common.buy 13.46 €
Go! Go! Dino!: Ready-To-Read Level 1 Kaz Windness / Book Paperback
common.buy 4.75 €
Microbe Science for Gardeners: Secrets to Better Plant Health Robert Pavlis / Book Paperback
common.buy 20.55 €
Priestly Ministry and the People of God Richard Lennan / Book Paperback
common.buy 23.18 €
Modernism in 6 Mediums: The Unknown Art of Chaim Goldberg Shalom Goldberg / Book Paperback
common.buy 25.41 €
Timid Devney Perry / Book Paperback
common.buy 18.42 €
Biodeconstruction: Jacques Derrida and the Life Sciences Francesco Vitale / Book Paperback
common.buy 41.72 €
Adventures Of Scratching Scratch & Smacking Mack Shirley Priscilla Johnson / Book Paperback
common.buy 14.78 €
Headhunters Mark Dawson / Book Paperback
common.buy 16.70 €
Top
The Satanic Rituals Anton Szandor Lavey / Book Paperback
common.buy 8.40 €
Regularized Radial Basis Function Networks - Theory & Applications Paul V. Yee / Book Hardback
common.buy 176.53 €
Configuring Sales and Distribution in SAP ERP Ricardo Lopez / Book Hardback
common.buy 75.45 €
Walking and Trekking on Corfu Gillian Price / Book Paperback
common.buy 19.13 €
How To Build an Eco-Friendly Greenhouse Andros Zacharia / Book Paperback
common.buy 26.32 €
Disruptive Behavior Disorders Frank M. Gresham / Book Paperback
common.buy 43.44 €
Boomeritis Ken Wilber / Book Paperback
common.buy 28.35 €

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?