Formal development of programs and proofs. /
Saved in:
| Main Author: | |
|---|---|
| Format: | Book |
| Language: | English |
| Published: |
Reading-Menlo Park :
Addison-Wesley Publishing Co.,
1990
|
| Edition: | 1. vyd. |
| Subjects: | |
| ISBN: |
0201172372 (viaz.) |
| Physical Description: |
242 s. |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Titul je dostupný aj v ... 
| LEADER | 01270nam a2200385 a 4500 | ||
|---|---|---|---|
| 001 | 000065759 | ||
| 003 | SVKK | ||
| 005 | 20010430000000.0 | ||
| 008 | 000612s1990 xxu e engo | ||
| FMT | |||
| 020 | |a 0201172372 (viaz.) | ||
| 040 | |a SVKKK |b slo |c SVKKK |e AACR2 | ||
| 041 | 0 | |a eng | |
| 044 | |a xxu |c US | ||
| 080 | |a 519.85(082) |2 1997 | ||
| 080 | |a 681.3(082) |2 1997 | ||
| 080 | |a 681.3.06(082) |2 1997 | ||
| 100 | 1 | |a Dijkstra, Edsger W. |4 aut | |
| 245 | 1 | 0 | |a Formal development of programs and proofs. / |c Edsger W. Dijkstra |
| 250 | |a 1. vyd. | ||
| 260 | |a Reading-Menlo Park : |b Addison-Wesley Publishing Co., |c 1990 | ||
| 300 | |a 242 s. | ||
| 653 | 0 | |a počítače |2 SVKKKPH | |
| 653 | 0 | |a programovanie |2 SVKKKPH | |
| 653 | 0 | |a zborníky |2 SVKKKPH | |
| 655 | 7 | |a zborníky |2 SVKKKPH | |
| 910 | |a svkkk | ||
| 919 | |a 0-201-17237-2 | ||
| 974 | |a MI |d 20000612 | ||
| 974 | |a PA |d 20000612 | ||
| 974 | |a PA |d 20010430 | ||
| 998 | |a BK | ||
| Z30 | 1 | |l SCK01 |l SCK01 |m BOOK |1 SCKHL |2 SK14 |b Sklad Pribinova prízemie |3 IV.165279 |6 867192 |q 20060125 |5 65759-10 |8 20060125 |e 000 |f 70 |s Absenčne |h SCKND |t 00000000 |u 0000 |w 000065759 |x 000010 | |
| a02 | 0 | |a 0201172372 (viaz.) | |
| 090 | |g SCKHL |k Sklad Pribinova prízemie |a IV.165279 |j 867192 |i 65759-10 |s Absenčne | ||