Check nearby libraries
Buy this book
This edition doesn't have a description yet. Can you add one?
Check nearby libraries
Buy this book
Previews available in: English
Subjects
Computer science, Mathematics, study and teaching, Engineering, study and teaching, Computers, study and teaching, System design, Study and teaching, Computer software, Development, Systèmes, Conception de, Étude et enseignement, Logiciels, Développement, Programmation (Informatique), 54.04 teaching, profession and organizations of computer science, Onderwijskunde, Formele logica, Computers, Génie logicielEdition | Availability |
---|---|
1
Teaching and Learning Formal Methods
1996, Elsevier Science & Technology Books
in English
0080518508 9780080518503
|
zzzz
Libraries near you:
WorldCat
|
2
Teaching and Learning Formal Methods (Library and Information Science)
September 17, 1996, Morgan Kaufmann
in English
0123490405 9780123490407
|
aaaa
Libraries near you:
WorldCat
|
Book Details
First Sentence
"By formal methods of software development I mean methods that exploit the power of discrete mathematics (set theory and predicate calculus)."
Classifications
ID Numbers
Community Reviews (0)
Feedback?History
- Created April 29, 2008
- 9 revisions
Wikipedia citation
×CloseCopy and paste this code into your Wikipedia page. Need help?
December 9, 2022 | Edited by ImportBot | import existing book |
May 9, 2021 | Edited by ImportBot | import existing book |
October 10, 2020 | Edited by ImportBot | import existing book |
August 4, 2020 | Edited by ImportBot | import existing book |
April 29, 2008 | Created by an anonymous user | Imported from amazon.com record |