Free delivery for orders over 69.99 euro.
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
Free delivery for purchases over 69.99 €
DPD courier 5.99 €
Bpost point 7.99 €
Bpost 7.49 €
DPD point 3.49 €
GLS courier 4.49 €
Contact
How to shop
Help
Delivery
DPD courier 5.99 €
Bpost point 7.99 €
Bpost 7.49 €
DPD point 3.49 €
GLS courier 4.49 €
Free delivery for purchases over 69.99 €
Shopping guide
My account
▸
Empty :-(
0
Free delivery for orders over 69.99 euro.
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
English
English
Book
Paperback
This book presents 8 tutorial lectures given by leading researchers at the 14th edition of the Inter...
Full description
Libristo code: 02667827
?
125 b
125 b
51.69
€
In stock at our supplier
Shipping in 5-8 days
30-day return policy
Customers also purchased
/
Paperback
31.15
€
/
Paperback
35.71
€
/
Paperback
13.65
€
/
Paperback
27.00
€
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
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
Language
English
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
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 addressYou might also be interested in
/
Paperback
10.31
€
/
Paperback
39.25
€
/
Paperback
11.83
€
/
Paperback
44.61
€
/
Adobe ePub DRM
7.68
€
/
Hardback
164.61
€
/
Hardback
154.39
€
