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

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 136 b
19 902 Ft
In stock at our supplier Shipping in 5-8 days

30-day return policy

Customers also purchased

Mercedes G-Modell / Book Book
common.buy 15 566 Ft
COUNTRY DANCES JOHN PLAYFORD / Printed items Sheet music
common.buy 4 867 Ft
El ser de una mujer hechicera y su cotidianidad Carlos Restrepo / Book Paperback
common.buy 21 062 Ft
Oooh, wie ist das schön! Germán Aczel / Book Hardback
common.buy 8 236 Ft
Oldenburg Iris Dahlke / Book Sheet
common.buy 1 978 Ft
Fachberatung auf dem Weg zur Profession Elke Alsago / Book Paperback
common.buy 10 261 Ft
EPISODIOS SOBRENATURALES EN LA GUERRA CIVIL ROMERO GARCIA / Book Book
common.buy 10 404 Ft
Mein großes Buch der Tiergeräusche / Book Hardback
common.buy 6 096 Ft
Cartas Portuguesas BARATA SILVERIO / Book Paperback
common.buy 9 396 Ft
America O Canada Bhramanara Dinalipi Prakash Chandra Patra / Book Paperback
common.buy 5 967 Ft
Interprétation en chinois; Aspects théoriques et méthodologies didactiques Riccardo Moratto / Book Hardback
common.buy 29 899 Ft
Alice au pays des merveilles Carroll / Book Paperback
common.buy 3 268 Ft
Die heilige Barbara und der Kirschblütenzweig. Mini-Bilderbuch. Catharina Fastenmeier / Book Sheet
common.buy 1 465 Ft
einfach lesen! Moby Dick. Aufgaben und Übungen Kirsten Grossmann / Book Paperback
common.buy 4 321 Ft
Wanderjahre in Italien Ferdinand Gregorovius / Book Hardback
common.buy 8 675 Ft
Le Lai de Lanval Marie de France / Book Paperback
common.buy 2 052 Ft
Liberte de la Presse. Proces de M. Bertin Aine, Redacteur En Chef Et Gerant Responsable Louis-Francois Bertin / Book Paperback
common.buy 5 583 Ft
L-Architectes Heinz Wirz / Book Paperback
common.buy 13 454 Ft
Informationen zur Rechtewahrnehmung im Urheberrecht Julius Mittenzwei / Book Paperback
common.buy 18 321 Ft

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 27 306 Ft
Software Engineering Elvis C. Foster / Book Paperback
common.buy 31 128 Ft
Coming soon
London's Lord Mayors Emma Hatfield / Book Hardback
common.buy 8 033 Ft
Job Mona P. Bias / Book Paperback
common.buy 9 600 Ft
Brady Lake Fun Book: A Fun and Educational Book About Brady Lake Jobe Leonard / Book Paperback
common.buy 3 956 Ft
Magic Molly; The Mirror Maze Trevor Forest / Book Paperback
common.buy 2 417 Ft
End Times - What Is It Really About? Michael Joseph Kiser / Book Paperback
common.buy 6 318 Ft
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 7 460 Ft
Fairytale Danielle Steel / Book Paperback
common.buy 3 282 Ft
Remembering the Osage Kid Mardi Oakley Medawar / Book Paperback
common.buy 7 048 Ft
James Otiss Speech On The Writs Of Assistance, 1906 (1906) James Otiss / Book Paperback
common.buy 8 546 Ft
Mountains And Molehills: Or Recollections Of A Burnt Journal (1855) Frank Marryat / Book Paperback
common.buy 12 516 Ft
Wushu Shaolin Kung Fu: White Belt Sal Redner / Book Paperback
common.buy 14 993 Ft
Making of Americans Gertrude Stein / Book Paperback
common.buy 6 873 Ft
Coming soon
Repertory of Pregnancy, Parturition and Puerperium Alberto Soler-Medina / Book Paperback
common.buy 6 711 Ft
Benefit Sharing Doris Schroeder / Book Hardback
common.buy 39 688 Ft
What Works in Corrections Doris Layton MacKenzie / Book Hardback
common.buy 54 201 Ft
White House is Burning Jane Sutcliffe / Book Hardback
common.buy 5 967 Ft
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 8 486 Ft
Fortune like the Moon Alys Clare / Book Paperback
common.buy 4 483 Ft
Toyota Land Cruiser Automotive Repair Manual Jeff Kibler / Book Paperback
common.buy 15 904 Ft
Appropriation of Native American Spirituality Suzanne Owen / Book Paperback
common.buy 20 724 Ft
Asian Crisis: A New Agenda For Euro-asian Cooperation, The Tommy Koh / Book Paperback
common.buy 16 708 Ft
Hyperthermia Fabian Bley / Book Paperback
common.buy 21 265 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?