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
Marco Bernardo (editor), Ferruccio Damiani (editor), Reiner Haehnle (editor), Einar Broch Johnsen (editor), Ina Schaefer (editor)
Paperback Published on: 21/05/2014
Price: £44.99
Publisher information
- Publisher: Springer International Publishing AG
- ISBN: 9783319073163
- Number of pages: 343
- Dimensions: 235 x 155 mm
- Languages: English
Customer Reviews
You may also like...
Clean Coder, The
Price: £36.99
Programming Erlang 2ed
Price: £33.50
MMIXware
Price: £89.99
Mining Software Specifications
Price: £210
Software System Design Methods
Price: £89.99
Implementing Domain-Driven Design
Price: £47.99
Design Patterns
Price: £48.99
The Mythical Man-Month
Price: £34.99
Coaching Agile Teams
Price: £36.99
Essential Scrum
Price: £39.99
Succeeding with Agile
Price: £38.49
User Story Mapping
Price: £31.99
Git Pocket Guide
Price: £19.99
Enterprise Cloud Computing
Price: £37.00
