An edition of Formal methods and software engineering
(2004)
Formal Methods and Software Engineering
6th International Conference on Formal Engineering Methods, ICFEM 2004, Seattle, WA, USA, November 8-12, 2004, Proceedings (Lecture Notes in Computer Science)
1 edition
by Jim Davies, Wolfram Schulte, and Mike Barnett
Share
×Close
This edition doesn't have a description yet. Can you add one?
Check nearby libraries
Buy this book
Previews available in: English
Showing 2 featured editions. View all 2 editions?
| Edition | Availability |
|---|---|
1
Formal Methods and Software Engineering: 6th International Conference on Formal Engineering Methods, ICFEM 2004, Seattle, WA, USA, November 8-12, 2004, Proceedings (Lecture Notes in Computer Science)
January 12, 2005, Springer
Paperback
in English
- 1 edition
3540238417 9783540238416
|
aaaa
Libraries near you:
WorldCat
|
2
Formal Methods and Software Engineering: 6th International Conference on Formal Engineering Methods, ICFEM 2004, Seattle, WA, USA, November 8-12, 2004, Proceedings
2004, Springer London, Limited
in English
3540304827 9783540304821
|
zzzz
Libraries near you:
WorldCat
|
Book Details
First Sentence
"Model-based development is all about adding the structuring and preciseness of formal approaches to the development process while being driven by the models of the application domain instead of mathematical formalisms."
Classifications
The Physical Object
ID Numbers
Community Reviews (0)
Feedback?
History
- Created April 30, 2008
- 10 revisions
Wikipedia citation
×CloseCopy and paste this code into your Wikipedia page. Need help?
| August 12, 2024 | Edited by MARC Bot | import existing book |
| November 15, 2022 | Edited by ImportBot | import existing book |
| October 4, 2021 | Edited by ImportBot | import existing book |
| December 8, 2020 | Edited by MARC Bot | import existing book |
| April 30, 2008 | Created by an anonymous user | Imported from amazon.com record |