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

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
18 641 Ft
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 4 891 Ft
Mercedes G-Modell / Book Book
common.buy 14 465 Ft
EPISODIOS SOBRENATURALES EN LA GUERRA CIVIL ROMERO GARCIA / Book Book
common.buy 10 571 Ft
El ser de una mujer hechicera y su cotidianidad Carlos Restrepo / Book Paperback
common.buy 19 595 Ft
Oooh, wie ist das schön! Germán Aczel / Book Hardback
common.buy 7 618 Ft
Entrenamiento de resistencia y respuestas inflamatorias Francisco Navarro / Book Paperback
common.buy 12 673 Ft
Cartas Portuguesas BARATA SILVERIO / Book Paperback
common.buy 8 695 Ft
Interprétation en chinois; Aspects théoriques et méthodologies didactiques Riccardo Moratto / Book Hardback
common.buy 30 421 Ft
Fachberatung auf dem Weg zur Profession Elke Alsago / Book Paperback
common.buy 10 886 Ft
America O Canada Bhramanara Dinalipi Prakash Chandra Patra / Book Paperback
common.buy 6 071 Ft
LEGO NINJAGO. Uwolnić Smoka Chaosu! Opracowanie zbiorowe / Book Paperback
common.buy 1 641 Ft
Alice au pays des merveilles Carroll / Book Paperback
common.buy 3 235 Ft
RODRIGO: CUATRO MADRIGALES AMATORIOS HIGH VOICE AND PIANO RODRIGO Book binding.
common.buy 8 305 Ft
Klasická filozofie v kostce Michael Moore / Book Hardback
common.buy 3 517 Ft
Die heilige Barbara und der Kirschblütenzweig. Mini-Bilderbuch. Catharina Fastenmeier / Book Sheet
common.buy 1 477 Ft
Mein großes Buch der Tiergeräusche / Book Hardback
common.buy 5 652 Ft
Mi marido, su velero y yo Anna Lleonard / Book Paperback
common.buy 4 787 Ft
einfach lesen! Moby Dick. Aufgaben und Übungen Kirsten Grossmann / Book Paperback
common.buy 4 072 Ft
Wanderjahre in Italien Ferdinand Gregorovius / Book Hardback
common.buy 8 069 Ft
Le Lai de Lanval Marie de France / Book Paperback
common.buy 2 027 Ft
Liberte de la Presse. Proces de M. Bertin Aine, Redacteur En Chef Et Gerant Responsable Louis-Francois Bertin / Book Paperback
common.buy 5 192 Ft
L-Architectes Heinz Wirz / Book Paperback
common.buy 13 689 Ft
Informationen zur Rechtewahrnehmung im Urheberrecht Julius Mittenzwei / Book Paperback
common.buy 18 641 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

London's Lord Mayors Emma Hatfield / Book Hardback
common.buy 11 451 Ft
End Times - What Is It Really About? Michael Joseph Kiser / Book Paperback
common.buy 6 428 Ft
Job Mona P. Bias / Book Paperback
common.buy 10 049 Ft
No One Told Me I Was Going To Disappear John Dermot Woods / Book Paperback
common.buy 13 882 Ft
Brady Lake Fun Book: A Fun and Educational Book About Brady Lake Jobe Leonard / Book Paperback
common.buy 4 025 Ft
Magic Molly; The Mirror Maze Trevor Forest / Book Paperback
common.buy 2 459 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 590 Ft
Keepsake Suzy Vitello / Book Paperback
common.buy 5 102 Ft
Fairytale Danielle Steel / Book Paperback
common.buy 3 339 Ft
Remembering the Osage Kid Mardi Oakley Medawar / Book Paperback
common.buy 7 171 Ft
Religious Belief and Ethical Values of Rigveda: A Book on Rigveda Surbhi Parashar / Book Paperback
common.buy 5 441 Ft
Balanced Approach To Pcos Melissa Groves / Book Paperback
common.buy 10 915 Ft
Mountains And Molehills: Or Recollections Of A Burnt Journal (1855) Frank Marryat / Book Paperback
common.buy 15 241 Ft
Wushu Shaolin Kung Fu: White Belt Sal Redner / Book Paperback
common.buy 15 255 Ft
Top
Making of Americans Gertrude Stein / Book Paperback
common.buy 6 278 Ft
Coming soon
MOLESKINE LTD ED PETIT PRINCE LARGE RULE MOLESKINE / Book Hardback
common.buy 10 496 Ft
Fifty Years in the East Dr Farhad Daftary / Book Hardback
common.buy 27 782 Ft
Benefit Sharing Doris Schroeder / Book Hardback
common.buy 37 159 Ft
What Works in Corrections Doris Layton MacKenzie / Book Hardback
common.buy 55 146 Ft
White House is Burning Jane Sutcliffe / Book Hardback
common.buy 6 052 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 634 Ft
Dirty Deeds: Dirty Angels 2 Karina Halle / Book Paperback
common.buy 9 127 Ft
Fortune like the Moon Alys Clare / Book Paperback
common.buy 4 561 Ft
Toyota Land Cruiser Automotive Repair Manual Jeff Kibler / Book Paperback
common.buy 16 017 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?