Java Modeling Language (JML), and explains how
Saved in:
| Title: | Java Modeling Language (JML), and explains how |
|---|---|
| Authors: | Gary T. Leavens, Yoonsik Cheon |
| Contributors: | The Pennsylvania State University CiteSeerX Archives |
| Source: | http://www.cs.toronto.edu/~chechik/courses05/csc410/readings/jmldbc.pdf. |
| Publication Year: | 2006 |
| Collection: | CiteSeerX |
| Subject Terms: | public static double sqrt(double x) |
| Description: | This document gives a tutorial introduction to the |
| Document Type: | text |
| File Description: | application/pdf |
| Language: | English |
| Relation: | http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.118.1311; http://www.cs.toronto.edu/~chechik/courses05/csc410/readings/jmldbc.pdf |
| Availability: | http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.118.1311 http://www.cs.toronto.edu/~chechik/courses05/csc410/readings/jmldbc.pdf |
| Rights: | Metadata may be used without restrictions as long as the oai identifier remains attached to it. |
| Accession Number: | edsbas.FD2CB94A |
| Database: | BASE |
Nájsť tento článok vo Web of Science | Abstract: | This document gives a tutorial introduction to the |
|---|