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 9.99 €
phone Contact phoneHow to shop

Software Engineering and Formal Methods

11th International Conference, SEFM 2013, Madrid, Spain, September 25-27, 2013, Proceedings

Language EnglishEnglish
Book Paperback
Book Software Engineering and Formal Methods Robert Hierons
Libristo code: 02016931
Publishers Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, September 2013
This book constitutes the refereed proceedings of the11th International Conference on Software Engin... Full description
? points 125 b
51.75 €
In stock at our supplier Shipping in 5-8 days

Up to 30 days for returns

Customers also purchased

COUNTRY DANCES JOHN PLAYFORD / Printed items Sheet music
common.buy 13.56 €
Mercedes G-Modell / Book Book
common.buy 40.10 €
EPISODIOS SOBRENATURALES EN LA GUERRA CIVIL ROMERO GARCIA / Book Book
common.buy 28.65 €
El ser de una mujer hechicera y su cotidianidad Carlos Restrepo / Book Paperback
common.buy 54.38 €
Oooh, wie ist das schön! Germán Aczel / Book Hardback
common.buy 21.16 €
Entrenamiento de resistencia y respuestas inflamatorias Francisco Navarro / Book Paperback
common.buy 32.10 €
Cartas Portuguesas BARATA SILVERIO / Book Paperback
common.buy 24.10 €
Interprétation en chinois; Aspects théoriques et méthodologies didactiques Riccardo Moratto / Book Hardback
common.buy 84.46 €
Fachberatung auf dem Weg zur Profession Elke Alsago / Book Paperback
common.buy 30.17 €
America O Canada Bhramanara Dinalipi Prakash Chandra Patra / Book Paperback
common.buy 15.59 €
LEGO NINJAGO. Uwolnić Smoka Chaosu! Opracowanie zbiorowe / Book Paperback
common.buy 4.55 €
Alice au pays des merveilles Carroll / Book Paperback
common.buy 9.00 €
RODRIGO: CUATRO MADRIGALES AMATORIOS HIGH VOICE AND PIANO RODRIGO Book binding.
common.buy 23.08 €
Klasická filozofie v kostce Michael Moore / Book Hardback
common.buy 9.71 €
Die heilige Barbara und der Kirschblütenzweig. Mini-Bilderbuch. Catharina Fastenmeier / Book Sheet
common.buy 4.04 €
Mein großes Buch der Tiergeräusche / Book Hardback
common.buy 15.69 €
Mi marido, su velero y yo Anna Lleonard / Book Paperback
common.buy 13.26 €
einfach lesen! Moby Dick. Aufgaben und Übungen Kirsten Grossmann / Book Paperback
common.buy 11.33 €
Wanderjahre in Italien Ferdinand Gregorovius / Book Hardback
common.buy 22.37 €
Le Lai de Lanval Marie de France / Book Paperback
common.buy 5.66 €
Liberte de la Presse. Proces de M. Bertin Aine, Redacteur En Chef Et Gerant Responsable Louis-Francois Bertin / Book Paperback
common.buy 14.37 €
L-Architectes Heinz Wirz / Book Paperback
common.buy 35.84 €
Informationen zur Rechtewahrnehmung im Urheberrecht Julius Mittenzwei / Book Paperback
common.buy 47.29 €

This book constitutes the refereed proceedings of the11th International Conference on Software Engineering and Formal Methods, SEFM 2013, held in Madrid, Spain, in September 2013. The 21 full papers included in this volume were carefully reviewed and selected from 58 submissions. They are organized in topical section on real-time systems, verification, types and inference, static analysis, testing and runtime verification, and synthesis and 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 Robert Hierons, Mercedes G. Merayo, Mario Bravetti
Language English
Binding Book - Paperback
Date of issue 2013
Number of pages 321
EAN 9783642405600
ISBN 3642405606
Libristo code 02016931
Publishers Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Weight 5153
Dimensions 155 x 235 x 19

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

London's Lord Mayors Emma Hatfield / Book Hardback
common.buy 31.79 €
End Times - What Is It Really About? Michael Joseph Kiser / Book Paperback
common.buy 16.50 €
Job Mona P. Bias / Book Paperback
common.buy 25.31 €
No One Told Me I Was Going To Disappear John Dermot Woods / Book Paperback
common.buy 35.54 €
Brady Lake Fun Book: A Fun and Educational Book About Brady Lake Jobe Leonard / Book Paperback
common.buy 10.32 €
Magic Molly; The Mirror Maze Trevor Forest / Book Paperback
common.buy 6.37 €
Smoker Cookbook in Texas Style: The Art of Smoking Meat with Texas BBQ, Ultimate Smoker Cookbook for Real Pitmasters, Irresistible Barbecue Recipes in Adam Jones / Book Paperback
common.buy 19.44 €
Keepsake Suzy Vitello / Book Paperback
common.buy 12.85 €
Fairytale Danielle Steel / Book Paperback
common.buy 8.40 €
Remembering the Osage Kid Mardi Oakley Medawar / Book Paperback
common.buy 18.42 €
Religious Belief and Ethical Values of Rigveda: A Book on Rigveda Surbhi Parashar / Book Paperback
common.buy 13.97 €
Balanced Approach To Pcos Melissa Groves / Book Paperback
common.buy 27.54 €
Mountains And Molehills: Or Recollections Of A Burnt Journal (1855) Frank Marryat / Book Paperback
common.buy 39.29 €
Wushu Shaolin Kung Fu: White Belt Sal Redner / Book Paperback
common.buy 39.29 €
Top
Making of Americans Gertrude Stein / Book Paperback
common.buy 17.41 €
Coming soon
MOLESKINE LTD ED PETIT PRINCE LARGE RULE MOLESKINE / Book Hardback
common.buy 29.16 €
Fifty Years in the East Dr Farhad Daftary / Book Hardback
common.buy 73.22 €
Chokher Bali Rabindranath Tagore / Book Hardback
common.buy 14.37 €
Benefit Sharing Doris Schroeder / Book Hardback
common.buy 103.10 €
What Works in Corrections Doris Layton MacKenzie / Book Hardback
common.buy 142.49 €
White House is Burning Jane Sutcliffe / Book Hardback
common.buy 16.20 €
Introduction to Anglo-Saxon. An Anglo-Saxon Reader, With Philological Notes, A Brief Grammar, and A Vocabulary. by Francis A. March ... Francis Andrew March / Book Paperback
common.buy 22.27 €
Dirty Deeds: Dirty Angels 2 Karina Halle / Book Paperback
common.buy 25.31 €
Fortune like the Moon Alys Clare / Book Paperback
common.buy 11.84 €

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?