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 19 990 Ft
DPD courier 1 190 Ft Post 1 795 Ft Post 1 690 Ft Post 1 690 Ft GLS point 1 390 Ft FoxPost 1 190 Ft Packeta point 1 190 Ft DPD point 990 Ft GLS courier 1 790 Ft
phone Contact phoneHow to shop
Free shipping on orders over 19,990 Ft via Packeta, Fox Post Box, and DPD Collection Point

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 136 b
19 902 Ft
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 5 172 Ft
PUZZLE 2x70 - Samochodziki Hot Wheels 34442 / Game/Toy Jigsaw puzzle
common.buy 1 317 Ft
Ambicion Del Ave Fenix Oscar de Benito / Book Paperback
common.buy 6 974 Ft
CONTRA LA CULTURA LABRUCE / Book Book
common.buy 8 426 Ft
Saison Anneline Dintilhac / Book Paperback
common.buy 5 967 Ft
Zanoni Lytton / Book Paperback
common.buy 10 159 Ft
Inselhupfen in Griechenland Gabriele Lackner / Book Paperback
common.buy 5 948 Ft
Buonanotte! Benji Davies / Book Hardback
common.buy 5 948 Ft
Cine con sentido : una lectura humano-evangelizadora del cine VILLEGAS SALDAÑA / Book Paperback
common.buy 5 246 Ft

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 4 543 Ft
Top New
Bourbon & Proof WILDER VICTORIA / Book Paperback
common.buy 6 156 Ft
Dead Ringers: Series 20-23 Plus Specials Jon Culshaw / Audiobook MP3
common.buy 4 765 Ft
Go! Go! Dino!: Ready-To-Read Level 1 Kaz Windness / Book Paperback
common.buy 1 863 Ft
Microbe Science for Gardeners: Secrets to Better Plant Health Robert Pavlis / Book Paperback
common.buy 7 709 Ft
Priestly Ministry and the People of God Richard Lennan / Book Paperback
common.buy 9 027 Ft
Modernism in 6 Mediums: The Unknown Art of Chaim Goldberg Shalom Goldberg / Book Paperback
common.buy 9 761 Ft
Timid Devney Perry / Book Paperback
common.buy 7 048 Ft
Biodeconstruction: Jacques Derrida and the Life Sciences Francesco Vitale / Book Paperback
common.buy 15 770 Ft
Adventures Of Scratching Scratch & Smacking Mack Shirley Priscilla Johnson / Book Paperback
common.buy 5 671 Ft
Headhunters Mark Dawson / Book Paperback
common.buy 6 392 Ft
Top
The Satanic Rituals Anton Szandor Lavey / Book Paperback
common.buy 3 282 Ft
Regularized Radial Basis Function Networks - Theory & Applications Paul V. Yee / Book Hardback
common.buy 67 405 Ft
Configuring Sales and Distribution in SAP ERP Ricardo Lopez / Book Hardback
common.buy 29 095 Ft
Walking and Trekking on Corfu Gillian Price / Book Paperback
common.buy 7 224 Ft
How To Build an Eco-Friendly Greenhouse Andros Zacharia / Book Paperback
common.buy 10 011 Ft
Disruptive Behavior Disorders Frank M. Gresham / Book Paperback
common.buy 16 486 Ft
Boomeritis Ken Wilber / Book Paperback
common.buy 10 977 Ft

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?