Teaching and Learning Formal Methods
By C. Neville Dean and Michael G. Hinchey
"Teaching and Learning Formal Methods" is published by Elsevier Science & Technology Books in 1996 and the language of the book is English.
“Teaching and Learning Formal Methods” Metadata:
- Title: ➤ Teaching and Learning Formal Methods
- Authors: C. Neville DeanMichael G. Hinchey
- Language: English
- Publisher: ➤ Elsevier Science & Technology Books
- Publish Date: 1996
“Teaching and Learning Formal Methods” Subjects and Themes:
- 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 Specifications:
- Weight: 0.440
- Pagination: 285
Edition Identifiers:
- The Open Library ID: OL44166813M - OL21079601W
- ISBN-13: 9780080518503
- All ISBNs: 9780080518503
AI-generated Review of “Teaching and Learning Formal Methods”:
Read “Teaching and Learning Formal Methods”:
Read “Teaching and Learning Formal Methods” by choosing from the options below.
Search for “Teaching and Learning Formal Methods” downloads:
Visit our Downloads Search page to see if downloads are available.
Find “Teaching and Learning Formal Methods” in Libraries Near You:
Read or borrow “Teaching and Learning Formal Methods” from your local library.
- The WorldCat Libraries Catalog: Find a copy of “Teaching and Learning Formal Methods” at a library near you.
Buy “Teaching and Learning Formal Methods” online:
Shop for “Teaching and Learning Formal Methods” on popular online marketplaces.
