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 9.99 €
phone Contact phoneHow to shop

Formal Methods for Executable Software Models

14th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2014, Bertinoro, Italy, June 16-20, 2014, Advanced Lectures

Language EnglishEnglish
Book Paperback
Book Formal Methods for Executable Software Models Marco Bernardo
Libristo code: 02667827
Publishers Springer International Publishing AG, May 2014
This book presents 8 tutorial lectures given by leading researchers at the 14th edition of the Inter... Full description
? points 125 b
51.53 €
In stock at our supplier Shipping in 5-8 days

Up to 30 days for returns

Customers also purchased

Top
Tie vytúžené slová / Book Paperback
common.buy 17.14 €
Colores 1 Eria Krisztina Nagy Seres / Book Paperback
common.buy 14.62 €
Rzepka Julian Tuwim / Book Paperback
common.buy 2.41 €
Depression: quand la Tristesse devient Pathologique Juan Moises de la Serna / E-book Adobe ePub DRM
common.buy 5.94 €
Opere Di Raimondo Montecuccoli... Ugo Foscolo / Book Paperback
common.buy 29.64 €
Lunchbox na każdy dzień. Dookoła świata Bareła Malwina / Book Hardback
common.buy 15.62 €
Top
Can't Hurt Me Peter Peschke / Book Hardback
common.buy 18.65 €
Top
Две жизни. Часть II Конкордия Антарова / Book Paperback
common.buy 8.87 €
CIMT - Constraint Induced Movement Therapy Sabine Lamprecht / E-book Adobe ePub DRM
common.buy 43.06 €
Trahison Que Tu Alimentes Tracy Lorraine / Book Paperback
common.buy 15.73 €
Plain Principles Of Prose Composition (1893) William Minto / Book Paperback
common.buy 22.08 €
Etica e hermeneutica Everton Nery Carneiro / Book Paperback
common.buy 44.37 €
Come Lasses and Lads (Traditional Chinese): 02 Zhuyin Fuhao (Bopomofo) Paperback Color H y Xiao Phd / Book Paperback
common.buy 33.58 €
Les Industries d'Art, Les Ecoles Et Les Musees d'Art Industriel En France Departements Vachon-M / Book Paperback
common.buy 30.65 €
Medios técnicos para los instaladores autorizados : equipos de medida y herramientas José Manuel de la Cruz Gómez / Book Paperback
common.buy 26.72 €
Héroes y Heroínas: los Favoritos de los Dioses T. LLACAY / Book Paperback
common.buy 14.92 €
de la Distribution Des Bulletins de Vote Par Les Agents Salaries Des Communes Andral-P / Book Paperback
common.buy 13.10 €
Controlling zwischen Shareholder Value und Stakeholder Value Regina W. Schröder / Book Hardback
common.buy 45.08 €
Aus Tirol - Berg- Und Gletscherreisen in Den Osterreichischen Hochalpen Anton von Ruthner / Book Paperback
common.buy 35.60 €
Reptilien Und Amphibien Deutschlands in Wort Und Bild Hermann Lachmann / Book Paperback
common.buy 70.09 €
Auge und die optische Abbildung Wiebke Gelder / Book Paperback
common.buy 16.13 €

This book presents 8 tutorial lectures given by leading researchers at the 14th edition of the International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2014, held in Bertinoro, Italy, in June 2014.§SFM 2014 was devoted to executable software models and covered topics such as variability models, automated analysis techniques, deductive verification, and runtime assessment and testing. The papers collected in the two parts (first part: modeling and verification; second part: run-time assessment and testing) of this volume represent the broad range of topics of the school.§

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 Formal Methods for Executable Software Models
Author Marco Bernardo, Ferruccio Damiani, Reiner Haehnle, Einar Broch Johnsen
Language English
Binding Book - Paperback
Date of issue 2014
Number of pages 343
EAN 9783319073163
ISBN 3319073168
Libristo code 02667827
Publishers Springer International Publishing AG
Weight 5329
Dimensions 155 x 235 x 20

Categories

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

Digital Media Rimon Elias / Book Paperback
common.buy 50.42 €
Advances in Cognitive Neurodynamics (VI) José M. Delgado-García / Book Hardback
common.buy 205.15 €
Mathematics for Dyslexics and Dyscalculics - A Teaching Handbook 4e Steve Chinn / Book Paperback
common.buy 49.11 €
Law of Contracts, Volume 3 Theophilus Parsons / Book Hardback
common.buy 45.68 €
Environmental Sustainability in the Mediterranean Region Carla Sofia Santos Ferreira / Book Hardback
common.buy 164.10 €
Winston Churchill in 100 Objects Anthony Richards / Book Hardback
common.buy 26.32 €
Macbeth Jo Nesbo / Book Paperback
common.buy 8.56 €
Fluctuational Effects in the Dynamics of Liquid Crystals E.I. Kats / Book Hardback
common.buy 114.07 €
How Great Cities Happen John Stanley / Book Hardback
common.buy 163.59 €
Confessions: The Princess, the Prick & the Priest Ella Frank / Book Paperback
common.buy 18.35 €
Go on a Critter Scavenger Hunt Emily Kington / Book Hardback
common.buy 29.54 €
Happy Birthday Braylon - The Big Birthday Activity Book: Personalized Children's Activity Book Birthdaydr / Book Paperback
common.buy 10.28 €
A Magyar Birosagi Szervezet Es Perjog Az Arpad-Es A Vegyes-Hazi Kiralyok Alatt (1899) Hajnik Imre / Book Paperback
common.buy 39.13 €
Top
The Lost Art of Handwriting Workbook: Practice Sheets to Improve Your Penmanship Brenna Jordan / Book Paperback
common.buy 13.61 €
Top
ENGLISH FILE ADVANCED PLUS MULTIPACK TEACHERS GUIDE +RESOURCE Christina Latham-Koenig / Book Paperback
common.buy 44.47 €
Official History of Britain: Our Story in Numbers as Told by the Office For National Statistics Boris Starling / E-book Adobe ePub DRM
common.buy 7.66 €
Feathers of Color Lionel Douglass / Book Hardback
common.buy 22.79 €
Magritte CHAMBERS NICHOLAS / Book Hardback
common.buy 60.31 €
Emerging Trends in International Law on Secession Jelena Pifat / Book Paperback
common.buy 98.33 €
Neoliberalism and Cultural Transition in New Zealand Literature, 1984-2008 Jennifer Lawn / Book Hardback
common.buy 153.91 €
Foundation Core GCSE Maths 1-3 Michael White / Book Paperback
common.buy 12.80 €
Black Mountains Ordnance Survey / Printed items Map
common.buy 18.04 €
Cost-Minimizing Choice Behavior in Transportation Planning Sven B. Erlander / Book Paperback
common.buy 102.67 €
King Arthur Trilogy Rosemary Sutcliff / Book Paperback
common.buy 15.93 €

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?