 |
 |
 |
|
| Glossary N |
A-B-C-D-E-F-G-H-I-J-K-L-M-N-O-P-Q-R-S-T-U-V-W-X-Y-Z About Glossary
Process Technologies: General
Non-Operational Process ModelsMethods/Techniques: Software Development
NormalizationProjects/products
NP-Tools - framework for mathematically proving safety propertiesNqthm - Boyer-Moore theorem prover
Nuprl - A tool based on intuitionistic type theory
A-B-C-D-E-F-G-H-I-J-K-L-M-N-O-P-Q-R-S-T-U-V-W-X-Y-Z About Glossary
|
|
|
This page online • GDPA Online • Last Updated 08.Oct.2002 by C. Freericks |