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 point 990 Ft DPD courier 1 190 Ft GLS point 1 190 Ft Hungarian Post 1 795 Ft Hungarian Post 1 690 Ft Hungarian Post 1 690 Ft FoxPost 1 190 Ft Packeta point 1 190 Ft GLS courier 1 690 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
20 319 Ft
In stock at our supplier Shipping in 5-8 days

Up to 30 days for returns

Customers also purchased

Zanoni Lytton / Book Paperback
common.buy 10 372 Ft
Dors bien, petit loup - Sov gott, lilla vargen (francais - suedois) Ulrich Renz / Book Paperback
common.buy 5 639 Ft
Inselhupfen in Griechenland Gabriele Lackner / Book Paperback
common.buy 6 073 Ft
Saison Anneline Dintilhac / Book Paperback
common.buy 5 686 Ft
CONTRA LA CULTURA LABRUCE / Book Book
common.buy 8 602 Ft
Ambicion Del Ave Fenix Oscar de Benito / Book Paperback
common.buy 7 120 Ft
Buonanotte! Benji Davies / Book Hardback
common.buy 5 969 Ft
PUZZLE 2x70 - Samochodziki Hot Wheels 34442 / Game/Toy Jigsaw puzzle
common.buy 1 736 Ft
Cine con sentido : una lectura humano-evangelizadora del cine VILLEGAS SALDAÑA / Book Paperback
common.buy 5 313 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

Blood Land A Karmic Journey J. D. Ash / Book Hardback
common.buy 10 372 Ft
Elements of Brakigraphy John Thomas Porter / Book Paperback
common.buy 4 638 Ft
Fichte's Ethics Michelle (Cornell University) Kosch / Book Hardback
common.buy 44 606 Ft
Apostolic Ministry and Authority DANIEL JUSTER / Book Paperback
common.buy 4 233 Ft
Adventures Of Scratching Scratch & Smacking Mack Shirley Priscilla Johnson / Book Paperback
common.buy 5 790 Ft
Biodeconstruction: Jacques Derrida and the Life Sciences Francesco Vitale / Book Paperback
common.buy 16 100 Ft
Timid Devney Perry / Book Paperback
common.buy 7 196 Ft
Modernism in 6 Mediums: The Unknown Art of Chaim Goldberg Shalom Goldberg / Book Paperback
common.buy 9 966 Ft
Headhunters Mark Dawson / Book Paperback
common.buy 6 526 Ft
Priestly Ministry and the People of God Richard Lennan / Book Paperback
common.buy 9 216 Ft
Microbe Science for Gardeners: Secrets to Better Plant Health Robert Pavlis / Book Paperback
common.buy 7 168 Ft
Wolf on the High Sea Renee Hewett / Book Paperback
common.buy 4 596 Ft
Go! Go! Dino!: Ready-To-Read Level 1 Kaz Windness / Book Paperback
common.buy 2 185 Ft
Dead Ringers: Series 20-23 Plus Specials Jon Culshaw / Audiobook MP3
common.buy 4 893 Ft
Top
Bourbon & Proof WILDER VICTORIA / Book Paperback
common.buy 7 333 Ft
Top
The Satanic Rituals Anton Szandor Lavey / Book Paperback
common.buy 3 350 Ft
Regularized Radial Basis Function Networks - Theory & Applications Paul V. Yee / Book Hardback
common.buy 63 924 Ft
Boomeritis Ken Wilber / Book Paperback
common.buy 11 207 Ft
How To Build an Eco-Friendly Greenhouse Andros Zacharia / Book Paperback
common.buy 8 753 Ft
Top
Walking and Trekking on Corfu Gillian Price / Book Paperback
common.buy 7 361 Ft
Configuring Sales and Distribution in SAP ERP Ricardo Lopez / Book Hardback
common.buy 29 704 Ft
Disruptive Behavior Disorders Frank M. Gresham / Book Paperback
common.buy 17 285 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?