An edition of Teaching and Learning Formal Methods
(1996)
Teaching and Learning Formal Methods (Library and Information Science)
by C. Neville Dean and Michael G. Hinchey
Share
×Close
This work 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 logiciel| Edition | Availability |
|---|---|
1
Teaching and Learning Formal Methods (Library and Information Science)
September 17, 1996, Morgan Kaufmann
in English
0123490405 9780123490407
|
aaaa
|
2
Teaching and Learning Formal Methods
1996, Elsevier Science & Technology Books
in English
0080518508 9780080518503
|
zzzz
|
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
Edition Identifiers
Work Identifiers
Community Reviews (0)
Lists
See All
| May 9, 2021 | Edited by ImportBot | import existing book |
| August 4, 2020 | Created by ImportBot | import existing book |