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

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.63 €
In stock at our supplier Shipping in 5-8 days

30-day return policy

Customers also purchased

Mercedes G-Modell / Book Book
common.buy 40.11 €
COUNTRY DANCES JOHN PLAYFORD / Printed items Sheet music
common.buy 13.73 €
El ser de una mujer hechicera y su cotidianidad Carlos Restrepo / Book Paperback
common.buy 54.26 €
Oooh, wie ist das schön! Germán Aczel / Book Hardback
common.buy 21.11 €
Oldenburg Iris Dahlke / Book Sheet
common.buy 5.14 €
Fachberatung auf dem Weg zur Profession Elke Alsago / Book Paperback
common.buy 26.57 €
EPISODIOS SOBRENATURALES EN LA GUERRA CIVIL ROMERO GARCIA / Book Book
common.buy 28.69 €
Mein großes Buch der Tiergeräusche / Book Hardback
common.buy 15.65 €
Cartas Portuguesas BARATA SILVERIO / Book Paperback
common.buy 26.47 €
America O Canada Bhramanara Dinalipi Prakash Chandra Patra / Book Paperback
common.buy 15.55 €
Interprétation en chinois; Aspects théoriques et méthodologies didactiques Riccardo Moratto / Book Hardback
common.buy 84.27 €
Alice au pays des merveilles Carroll / Book Paperback
common.buy 9.19 €
Die heilige Barbara und der Kirschblütenzweig. Mini-Bilderbuch. Catharina Fastenmeier / Book Sheet
common.buy 4.13 €
einfach lesen! Moby Dick. Aufgaben und Übungen Kirsten Grossmann / Book Paperback
common.buy 11.31 €
Wanderjahre in Italien Ferdinand Gregorovius / Book Hardback
common.buy 22.32 €
Le Lai de Lanval Marie de France / Book Paperback
common.buy 5.75 €
Liberte de la Presse. Proces de M. Bertin Aine, Redacteur En Chef Et Gerant Responsable Louis-Francois Bertin / Book Paperback
common.buy 14.54 €
L-Architectes Heinz Wirz / Book Paperback
common.buy 35.76 €
Informationen zur Rechtewahrnehmung im Urheberrecht Julius Mittenzwei / Book Paperback
common.buy 47.18 €

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

Fifty Years in the East Dr Farhad Daftary / Book Hardback
common.buy 73.05 €
Software Engineering Elvis C. Foster / Book Paperback
common.buy 80.53 €
Coming soon
London's Lord Mayors Emma Hatfield / Book Hardback
common.buy 21.21 €
Job Mona P. Bias / Book Paperback
common.buy 24.55 €
Brady Lake Fun Book: A Fun and Educational Book About Brady Lake Jobe Leonard / Book Paperback
common.buy 10.30 €
Magic Molly; The Mirror Maze Trevor Forest / Book Paperback
common.buy 6.36 €
End Times - What Is It Really About? Michael Joseph Kiser / Book Paperback
common.buy 16.46 €
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.39 €
Fairytale Danielle Steel / Book Paperback
common.buy 8.38 €
Remembering the Osage Kid Mardi Oakley Medawar / Book Paperback
common.buy 18.38 €
James Otiss Speech On The Writs Of Assistance, 1906 (1906) James Otiss / Book Paperback
common.buy 22.42 €
Mountains And Molehills: Or Recollections Of A Burnt Journal (1855) Frank Marryat / Book Paperback
common.buy 32.83 €
Wushu Shaolin Kung Fu: White Belt Sal Redner / Book Paperback
common.buy 39.20 €
Making of Americans Gertrude Stein / Book Paperback
common.buy 17.37 €
Coming soon
Repertory of Pregnancy, Parturition and Puerperium Alberto Soler-Medina / Book Paperback
common.buy 18.89 €
Benefit Sharing Doris Schroeder / Book Hardback
common.buy 102.86 €
What Works in Corrections Doris Layton MacKenzie / Book Hardback
common.buy 142.17 €
White House is Burning Jane Sutcliffe / Book Hardback
common.buy 16.16 €
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.22 €
Fortune like the Moon Alys Clare / Book Paperback
common.buy 11.81 €
Toyota Land Cruiser Automotive Repair Manual Jeff Kibler / Book Paperback
common.buy 44.76 €
Appropriation of Native American Spirituality Suzanne Owen / Book Paperback
common.buy 58.40 €
Asian Crisis: A New Agenda For Euro-asian Cooperation, The Tommy Koh / Book Paperback
common.buy 43.85 €
Hyperthermia Fabian Bley / Book Paperback
common.buy 59.91 €

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