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
Austrian Post 5.49 € DPD courier 3.99 € DPD point 2.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 132 b
53.79 € VAT included
In stock at our supplier Shipping in 5-8 days
Austria Delivery to Austria

30-day return policy

Customers also purchased

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

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 76.09 €
Software Engineering Elvis C. Foster / Book Paperback
common.buy 84.09 €
Coming soon
London's Lord Mayors Emma Hatfield / Book Hardback
common.buy 22.39 €
Job Mona P. Bias / Book Paperback
common.buy 25.79 €
Brady Lake Fun Book: A Fun and Educational Book About Brady Lake Jobe Leonard / Book Paperback
common.buy 10.69 €
Magic Molly; The Mirror Maze Trevor Forest / Book Paperback
common.buy 6.59 €
End Times - What Is It Really About? Michael Joseph Kiser / Book Paperback
common.buy 17.09 €
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 20.19 €
Fairytale Danielle Steel / Book Paperback
common.buy 8.89 €
Remembering the Osage Kid Mardi Oakley Medawar / Book Paperback
common.buy 19.09 €
James Otiss Speech On The Writs Of Assistance, 1906 (1906) James Otiss / Book Paperback
common.buy 23.19 €
Mountains And Molehills: Or Recollections Of A Burnt Journal (1855) Frank Marryat / Book Paperback
common.buy 33.99 €
Wushu Shaolin Kung Fu: White Belt Sal Redner / Book Paperback
common.buy 40.69 €
Making of Americans Gertrude Stein / Book Paperback
common.buy 18.39 €
Coming soon
Repertory of Pregnancy, Parturition and Puerperium Alberto Soler-Medina / Book Paperback
common.buy 19.59 €
Benefit Sharing Doris Schroeder / Book Hardback
common.buy 107.29 €
What Works in Corrections Doris Layton MacKenzie / Book Hardback
common.buy 147.19 €
White House is Burning Jane Sutcliffe / Book Hardback
common.buy 16.99 €
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.99 €
Fortune like the Moon Alys Clare / Book Paperback
common.buy 12.49 €
Toyota Land Cruiser Automotive Repair Manual Jeff Kibler / Book Paperback
common.buy 46.69 €
Appropriation of Native American Spirituality Suzanne Owen / Book Paperback
common.buy 60.59 €
Asian Crisis: A New Agenda For Euro-asian Cooperation, The Tommy Koh / Book Paperback
common.buy 44.79 €
Hyperthermia Fabian Bley / Book Paperback
common.buy 62.29 €

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?