Java Modeling Language (JML), and explains how
Uloženo v:
| Název: | Java Modeling Language (JML), and explains how |
|---|---|
| Autoři: | Gary T. Leavens, Yoonsik Cheon |
| Přispěvatelé: | The Pennsylvania State University CiteSeerX Archives |
| Zdroj: | http://www.cs.toronto.edu/~chechik/courses05/csc410/readings/jmldbc.pdf. |
| Rok vydání: | 2006 |
| Sbírka: | CiteSeerX |
| Témata: | public static double sqrt(double x) |
| Popis: | This document gives a tutorial introduction to the |
| Druh dokumentu: | text |
| Popis souboru: | application/pdf |
| Jazyk: | 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 |
| Dostupnost: | 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. |
| Přístupové číslo: | edsbas.FD2CB94A |
| Databáze: | BASE |
Nájsť tento článok vo Web of Science | Abstrakt: | This document gives a tutorial introduction to the |
|---|