

An edition of Teaching and Learning Formal Methods (1996)
By C. Neville Dean,Michael G. Hinchey
Publish Date
September 17, 1996
Publisher
Morgan Kaufmann
Language
eng
Pages
285
Description:
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