Your Waterstones card is changing, introducing...
TELL ME MORE
FME '94: Industrial Benefit of Formal Methods: Second International Symposium of Formal Methods Europe, Barcelona, Spain, October 24 - 28, 1994. Proceedings - Lecture Notes in Computer Science 873 (Paperback)
  • FME '94: Industrial Benefit of Formal Methods: Second International Symposium of Formal Methods Europe, Barcelona, Spain, October 24 - 28, 1994. Proceedings - Lecture Notes in Computer Science 873 (Paperback)
zoom

FME '94: Industrial Benefit of Formal Methods: Second International Symposium of Formal Methods Europe, Barcelona, Spain, October 24 - 28, 1994. Proceedings - Lecture Notes in Computer Science 873 (Paperback)

(editor), (editor), (editor)
£117.00
Paperback 732 Pages / Published: 12/10/1994
  • We can order this

Usually despatched within 3 weeks

  • This item has been added to your basket
This volume presents the proceedings of the Second International Symposium of Formal Methods Europe, held in Barcelona, Spain in October 1994.
Besides two invited papers and seven industrial usage reports, there are 32 full papers selected from some 150 submissions. The industrial usage reports describe practical experiences in a variety of areas including security systems and railway signalling. The subjects of the research papers include refinement, proof, process modelling, specification of programming languages, model checking, real-time aspects, and the combination of formal and systematic methods; these contributions advance the foundations of formal methods and demonstrate their practical value.

Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
ISBN: 9783540585558
Number of pages: 732
Weight: 2260 g
Dimensions: 235 x 155 x 37 mm
Edition: 1994 ed.

You may also be interested in...

The Mythical Man-Month
Added to basket
Coaching Agile Teams
Added to basket
Continuous Delivery
Added to basket
£43.99
Hardback
Domain-Driven Design
Added to basket
£55.99
Hardback
Essential Scrum
Added to basket
£36.99
Paperback
Test Driven Development
Added to basket
Kanban
Added to basket
£33.55
Paperback
The Art of Unit Testing
Added to basket
The Agile Samurai
Added to basket
Design Patterns
Added to basket
£43.99
Hardback
Agile Product Management with Scrum
Added to basket
Writing Effective Use Cases
Added to basket
Peopleware
Added to basket
£32.99
Paperback
Implementing Domain-Driven Design
Added to basket
Impact Mapping
Added to basket
£9.99
Paperback

Reviews

Please sign in to write a review

Your review has been submitted successfully.