Code: 02016931

Software Engineering and Formal Methods

Name: Software Engineering and Formal Methods
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 02016931
Price: 51.31 EUR
Availability: InStock
Author: Robert Hierons
ISBN: 9783642405600

by Robert Hierons, Mercedes G. Merayo, Mario Bravetti

Language: English
Binding: Paperback
Number of pages: 321
Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2013
More about this

51.31 €

RRP: 55.54 €

You save 4.23 €

In stock at our supplier
Shipping in 5 - 8 days

Add to wishlist

Dodawanie i odejmowanie 100. Matematyka w krzyżówkach
3 €
Buy
Making of Americans
21.58 € -29 %
Buy
Balanced Approach To Pcos
26.30 € -24 %
Buy
Mercedes G-Modell
39.76 € -11 %
Buy
Fairytale
8.02 € -25 %
Buy
Klasická filozofie v kostce
10.33 € -15 %
Buy
Toyota Land Cruiser Automotive Repair Manual
44.28 € -10 %
Buy
Mein großes Buch der Tiergeräusche
17.87 € -1 %
Buy
MOLESKINE LTD ED PETIT PRINCE LARGE RULE
28.91 € -19 %
Pre-order
Oooh, wie ist das schön!
20.98 € -16 %
Buy
einfach lesen! Moby Dick. Aufgaben und Übungen
11.24 €
Buy
Die heilige Barbara und der Kirschblütenzweig. Mini-Bilderbuch.
3.81 €
Buy
Zimbabwe in Pictures
33.23 € -5 %
Buy
Wushu Shaolin Kung Fu: White Belt
35.14 € -10 %
Buy
Entrenamiento de resistencia y respuestas inflamatorias
31.93 € -14 %
Buy
Alice au pays des merveilles
7.92 €
Buy
El ser de una mujer hechicera y su cotidianidad
53.92 € -14 %
Buy
Fachberatung auf dem Weg zur Profession
26.40 € -6 %
Buy
Software Engineering
80.03 € -9 %
Buy
EPISODIOS SOBRENATURALES EN LA GUERRA CIVIL
27.91 €
Buy
Wanderjahre in Italien
22.19 € -11 %
Buy
Breathe: The 4-Week Breathing Retraining Plan to Relieve Stress, Anxiety and Panic
23.59 € -9 %
Buy
El estado de Florida contra James Douglas Morrison
24.50 €
Buy
America O Canada Bhramanara Dinalipi
15.05 € -2 %
Buy
Liberte de la Presse. Proces de M. Bertin Aine, Redacteur En Chef Et Gerant Responsable
13.55 € -10 %
Buy
No One Told Me I Was Going To Disappear
34.44 € -6 %
Buy
Magic Molly; The Mirror Maze
6.32 € -3 %
Buy
Chokher Bali
22.59 €
Buy
Interprétation en chinois; Aspects théoriques et méthodologies didactiques
80.23 € -10 %
Buy
RODRIGO: CUATRO MADRIGALES AMATORIOS HIGH VOICE AND PIANO
22.29 €
Buy
White House is Burning
15.36 € -26 %
Buy
Soviet Foreign Policy 1917-1991
80.54 €
Buy
Dirty Deeds: Dirty Angels 2
24.19 €
Buy
Benefit Sharing
102.23 € -7 %
Buy
Brady Lake Fun Book: A Fun and Educational Book About Brady Lake
9.93 € -7 %
Buy
Indirekte Gotteserfahrung
38.86 €
Buy
Remembering the Osage Kid
17.77 € -7 %
Buy
Fifty Years in the East
72.60 € -5 %
Buy
Informationen zur Rechtewahrnehmung im Urheberrecht
46.89 € -11 %
Buy
London's Lord Mayors
32.43 € -9 %
Buy
What Works in Corrections
138.48 €
Buy
Hyperthermia
59.34 € -3 %
Buy
COUNTRY DANCES
12.44 €
Buy
Archaeology Workbook
36.15 € -7 %
Buy
Les Grands Hommes En Robe de Chambre. Henri IV, Louis XIII Et Richelieu. Tome 1 (Ed.1866)
24.50 €
Buy
Repertory of Pregnancy, Parturition and Puerperium
18.07 €
Pre-order
Cartas Portuguesas
26.10 €
Buy
Job
24.19 € -25 %
Buy
romance spagnolo va in scena. Strategie di riscrittura nel teatro di Luis Vélez de Guevara
27.61 €
Buy
Introduction to Anglo-Saxon. An Anglo-Saxon Reader, With Philological Notes, A Brief Grammar, and A Vocabulary. by Francis A. March ...
21.48 € -2 %
Buy
Mi marido, su velero y yo
14.55 €
Buy
James Otiss Speech On The Writs Of Assistance, 1906 (1906)
33.84 €
Buy
Appropriation of Native American Spirituality
52.82 €
Buy
Keepsake
12.24 € -25 %
Buy
Keto Bread
11.54 € -25 %
Buy
End Times - What Is It Really About?
15.96 € -2 %
Buy
Manuel General de la Franc-Maconnerie
37.15 € -10 %
Buy
Economia aziendale
10.64 €
Buy
L-Architectes
35.54 € -19 %
Buy
Fortune like the Moon
12.24 € -19 %
Buy
Social Theory and Religion
117.19 €
Buy
Religious Belief and Ethical Values of Rigveda: A Book on Rigveda
13.45 € -7 %
Buy
Smoker Cookbook in Texas Style: The Art of Smoking Meat with Texas BBQ, Ultimate Smoker Cookbook for Real Pitmasters, Irresistible Barbecue Recipes in
18.77 € -7 %
Buy

Give this book as a present today

Order book and choose Gift Order.
We will send you book gift voucher at once. You can give it out to anyone.
Book will be send to donee, nothing more to care about.

Book gift voucher sample Read more

More about Software Engineering and Formal Methods

Book details
Synopsis
Trending among others

You get 125 loyalty points

Book synopsis

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.

Book details

Book category Knihy po anglicky Computing & information technology Computer hardware Network hardware

51.31 €

Full title: Software Engineering and Formal Methods
Subtitle: 11th International Conference, SEFM 2013, Madrid, Spain, September 25-27, 2013, Proceedings
Author: Robert Hierons, Mercedes G. Merayo, Mario Bravetti
Language: English
Binding: Paperback
Number of pages: 321
EAN: 9783642405600
ISBN: 3642405606
ID: 02016931
Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Weight: 5153 g
Dimensions: 235 × 155 × 19 mm
Date of publishing: 12. September 2013