Items related to Formal Methods for Executable Software Models: 14th...

Formal Methods for Executable Software Models: 14th International School on Formal Methods for the Design of Computer, Communication, and Software ... (Lecture Notes in Computer Science, 8483) - Softcover

 
9783319073163: Formal Methods for Executable Software Models: 14th International School on Formal Methods for the Design of Computer, Communication, and Software ... (Lecture Notes in Computer Science, 8483)

Synopsis

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.

"synopsis" may belong to another edition of this title.

Buy Used

Condition: As New
Unread book in perfect condition...
View this item

FREE shipping within United Kingdom

Destination, rates & speeds

Search results for Formal Methods for Executable Software Models: 14th...

Seller Image

Bernardo, Marco (EDT); Damiani, Ferruccio (EDT); Haehnle, Reiner (EDT); Johnsen, Einar Broch (EDT); Schaefer, Ina (EDT)
Published by Springer, 2014
ISBN 10: 3319073168 ISBN 13: 9783319073163
New Softcover

Seller: GreatBookPricesUK, Woodford Green, United Kingdom

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

Condition: New. Seller Inventory # 21306006-n

Contact seller

Buy New

£ 50.72
Convert currency
Shipping: FREE
Within United Kingdom
Destination, rates & speeds

Quantity: Over 20 available

Add to basket

Stock Image

Marco Bernardo, Ferruccio Damiani, Reiner Haehnle, Einar Broch Johnsen, Ina Schaefer
Published by Springer 2014-05-21, 2014
ISBN 10: 3319073168 ISBN 13: 9783319073163
New Paperback

Seller: Chiron Media, Wallingford, United Kingdom

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

Paperback. Condition: New. Seller Inventory # 6666-IUK-9783319073163

Contact seller

Buy New

£ 48.24
Convert currency
Shipping: £ 2.49
Within United Kingdom
Destination, rates & speeds

Quantity: 10 available

Add to basket

Stock Image

Published by Springer, 2014
ISBN 10: 3319073168 ISBN 13: 9783319073163
New Softcover

Seller: Ria Christie Collections, Uxbridge, United Kingdom

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

Condition: New. In. Seller Inventory # ria9783319073163_new

Contact seller

Buy New

£ 50.82
Convert currency
Shipping: FREE
Within United Kingdom
Destination, rates & speeds

Quantity: Over 20 available

Add to basket

Seller Image

Marco Bernardo
ISBN 10: 3319073168 ISBN 13: 9783319073163
New Taschenbuch
Print on Demand

Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -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. 352 pp. Englisch. Seller Inventory # 9783319073163

Contact seller

Buy New

£ 46.22
Convert currency
Shipping: £ 9.23
From Germany to United Kingdom
Destination, rates & speeds

Quantity: 2 available

Add to basket

Seller Image

Marco Bernardo
ISBN 10: 3319073168 ISBN 13: 9783319073163
New Taschenbuch

Seller: AHA-BUCH GmbH, Einbeck, Germany

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - 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. Seller Inventory # 9783319073163

Contact seller

Buy New

£ 46.22
Convert currency
Shipping: £ 11.74
From Germany to United Kingdom
Destination, rates & speeds

Quantity: 1 available

Add to basket

Seller Image

Bernardo, Marco (EDT); Damiani, Ferruccio (EDT); Haehnle, Reiner (EDT); Johnsen, Einar Broch (EDT); Schaefer, Ina (EDT)
Published by Springer, 2014
ISBN 10: 3319073168 ISBN 13: 9783319073163
New Softcover

Seller: GreatBookPrices, Columbia, MD, U.S.A.

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

Condition: New. Seller Inventory # 21306006-n

Contact seller

Buy New

£ 46.41
Convert currency
Shipping: £ 14.79
From U.S.A. to United Kingdom
Destination, rates & speeds

Quantity: Over 20 available

Add to basket

Seller Image

Bernardo, Marco|Damiani, Ferruccio|Haehnle, Reiner|Johnsen, Einar Broch|Schaefer, Ina
ISBN 10: 3319073168 ISBN 13: 9783319073163
New Kartoniert / Broschiert
Print on Demand

Seller: moluna, Greven, Germany

Seller rating 4 out of 5 stars 4-star rating, Learn more about seller ratings

Kartoniert / Broschiert. Condition: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Original, readable, and useful lecture notes written by leading expertsMade for students, researchers, and practitionersCovers a variety of topics in formal methods for software systems, with particular focus on modeling and verification r. Seller Inventory # 4497842

Contact seller

Buy New

£ 42.11
Convert currency
Shipping: £ 20.97
From Germany to United Kingdom
Destination, rates & speeds

Quantity: Over 20 available

Add to basket

Stock Image

Published by Springer, 2014
ISBN 10: 3319073168 ISBN 13: 9783319073163
New Softcover
Print on Demand

Seller: Majestic Books, Hounslow, United Kingdom

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

Condition: New. Print on Demand pp. 352 49:B&W 6.14 x 9.21 in or 234 x 156 mm (Royal 8vo) Perfect Bound on White w/Gloss Lam. Seller Inventory # 131474902

Contact seller

Buy New

£ 71.73
Convert currency
Shipping: £ 3.35
Within United Kingdom
Destination, rates & speeds

Quantity: 4 available

Add to basket

Seller Image

Marco Bernardo
ISBN 10: 3319073168 ISBN 13: 9783319073163
New Taschenbuch

Seller: buchversandmimpf2000, Emtmannsberg, BAYE, Germany

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

Taschenbuch. Condition: Neu. Neuware -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.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 352 pp. Englisch. Seller Inventory # 9783319073163

Contact seller

Buy New

£ 46.22
Convert currency
Shipping: £ 29.36
From Germany to United Kingdom
Destination, rates & speeds

Quantity: 2 available

Add to basket

Stock Image

Published by Springer, 2014
ISBN 10: 3319073168 ISBN 13: 9783319073163
New Softcover

Seller: Books Puddle, New York, NY, U.S.A.

Seller rating 4 out of 5 stars 4-star rating, Learn more about seller ratings

Condition: New. pp. 352. Seller Inventory # 26128031241

Contact seller

Buy New

£ 70.35
Convert currency
Shipping: £ 6.66
From U.S.A. to United Kingdom
Destination, rates & speeds

Quantity: 4 available

Add to basket

There are 5 more copies of this book

View all search results for this book