 |
|
|
Item Details
| Title:
|
FORMAL METHODS AND SOFTWARE ENGINEERING
17TH INTERNATIONAL CONFERENCE ON FORMAL ENGINEERING METHODS, ICFEM 2015, PARIS, FRANCE, NOVEMBER 3-5, 2015, PROCEEDINGS |
| Volume: |
2015 |
| By: |
Michael Butler (Editor), Sylvain Conchon (Editor), Fatiha Zaidi (Editor) |
| Format: |
Paperback |
| List price:
|
£44.99 |
| Our price: |
£38.24 |
| Discount: |
|
| You save:
|
£6.75 |
|
|
|
|
|
| ISBN 10: |
3319254227 |
| ISBN 13: |
9783319254227 |
| Availability: |
Usually dispatched within 1-3 weeks.
 Delivery
rates
|
| Stock: |
Currently 0 available |
| Publisher: |
SPRINGER INTERNATIONAL PUBLISHING AG |
| Pub. date: |
2 November, 2015 |
| Edition: |
2015 ed. |
| Series: |
Lecture Notes in Computer Science 9407 |
| Pages: |
436 |
| Synopsis: |
This book constitutes the refereed proceedings of the 17th International Conference on Formal Engineering Methods, ICFEM 2015, held in Paris, France, in November 2015. The 27 revised full papers presented were carefully reviewed and selected from 82 submissions. The papers cover a wide range of topics in the area of formal methods and software engineering and are devoted to advancing the state of the art of applying formal methods in practice. They focus in particular on combinations of conceptual and methodological aspects with their formal foundation and tool support. |
| Illustrations: |
150 colour illustrations, biography |
| Publication: |
Switzerland |
| Imprint: |
Springer International Publishing AG |
| Returns: |
Returnable |
|
|
|
 |
|
|
|
|
|
No Cheese, Please!
A fun picture book for children with food allergies - full of friendship and super-cute characters!Little Mo the mouse is having a birthday party.
|
My Brother Is a Superhero
Luke is massively annoyed about this, but when Zack is kidnapped by his arch-nemesis, Luke and his friends have only five days to find him and save the world...
|
|
|
|
|