RESETting timed machines
| Permalink: | http://skupni.nsk.hr/Record/nsk.NSK01000832637/Details |
|---|---|
| Matična publikacija: |
CIT. Journal of computing and information technology 19 (2011), 1 ; str. 11-23 |
| Glavni autor: | Stulman, Ariel (-) |
| Vrsta građe: | Članak |
| Jezik: | eng |
| Predmet: | |
| Online pristup: |
Elektronička verzija članka |
| LEADER | 00825caa a2200253 i 4500 | ||
|---|---|---|---|
| 001 | NSK01000832637 | ||
| 003 | HR-ZaNSK | ||
| 005 | 20131007113905.0 | ||
| 007 | ta | ||
| 008 | 130212s2011 ci | |||| ||eng | ||
| 035 | |a (HR-ZaNSK)000832637 | ||
| 040 | |a HR-ZaNSK |b hrv |c HR-ZaNSK |e ppiak | ||
| 042 | |a croatica | ||
| 044 | |a ci |c hr | ||
| 080 | |a 004 |2 MRF 1998. | ||
| 100 | 1 | |a Stulman, Ariel | |
| 245 | 1 | 0 | |a RESETting timed machines / |c Ariel Stulman. |
| 300 | |b Ilustr. | ||
| 504 | |a Bibliografija: 31 jed. | ||
| 653 | 0 | |a Programsko inženjerstvo |a Verifikacija programa | |
| 773 | 0 | |t CIT. Journal of computing and information technology |x 1330-1136 |g 19 (2011), 1 ; str. 11-23 | |
| 981 | |b B11/11 |p CRO | ||
| 998 | |a rpeo130212 | ||
| 856 | 4 | 2 | |u http://hrcak.srce.hr/index.php?show=clanak&id_clanak_jezik=100836 |y Elektronička verzija članka |