An introduction to formal specification an Z
| Κύριοι συγγραφείς: | , , |
|---|---|
| Μορφή: | Βιβλίο |
| Γλώσσα: | English |
| Έκδοση: |
Prentice Hall
|
| Έκδοση: | 2nd ed. |
MARC
| LEADER | 00000nam0a2200000 4500 | ||
|---|---|---|---|
| 001 | 1/14672 | ||
| 010 | |a 0-13-242207-7 | ||
| 035 | |l 10002324 | ||
| 100 | |a 19981001d1996 0grey0105 ba | ||
| 101 | 0 | |a eng | |
| 200 | 1 | |a An introduction to formal specification an Z | |
| 205 | |a 2nd ed. | ||
| 210 | |a London |c Prentice-Hall |d 1996 | ||
| 215 | |a xiv, 434 p. |d 24 cm. | ||
| 300 | |a Includes bibliographical references and index | ||
| 606 | 0 | |a Λογισμικό υπολογιστή |x Ανάπτυξη | |
| 606 | 0 | |a Z (Γλώσσα προγραμματισμού υπολογιστή) | |
| 676 | |a 005.12 | ||
| 700 | 1 | |a Potter |b Ben |4 070 | |
| 701 | 1 | |a Sinclair |b Jane |4 070 | |
| 701 | 1 | |a Till |b David |4 070 | |
| 709 | |a Prentice Hall | ||
| 801 | 0 | |a GR |b ΠΑ.Δ.Α. Βιβλιοθήκη Πανεπιστημιούπολης 2 |g AACR2 | |
| 852 | |a INST |b LIBRARY |e 19981008 |h 005.12 POT |p 000005459 |q 000005459 |t BK |y 23 |z 1 | ||
| 909 | |a 010815 | ||
Εγγραφή στο Ευρετήριο Αναζήτησης
| _version_ | 1780545236942979074 |
|---|---|
| author | Potter Ben Sinclair Jane Till David |
| author_facet | Potter Ben Sinclair Jane Till David |
| author_role | 070 070 070 |
| author_sort | Potter Ben |
| author_variant | p b pb s j sj t d td |
| building | Campus Library II |
| collection | LIB2 Catalog |
| dewey-full | 005.12 |
| dewey-hundreds | 000 |
| dewey-ones | 005 |
| dewey-raw | 005.12 |
| dewey-search | 005.12 |
| dewey-sort | 15.12 |
| dewey-tens | 000 |
| edition | 2nd ed. |
| format | Book |
| fullrecord | {"leader":"00922nam0a2200265 4500","fields":[{"001":"1/14672"},{"010":{"subfields":[{"a":"0-13-242207-7"}],"ind1":" ","ind2":" "}},{"035":{"subfields":[{"l":"10002324"}],"ind1":" ","ind2":" "}},{"100":{"subfields":[{"a":"19981001d1996 0grey0105 ba"}],"ind1":" ","ind2":" "}},{"101":{"subfields":[{"a":"eng"}],"ind1":"0","ind2":" "}},{"200":{"subfields":[{"a":"An introduction to formal specification an Z"}],"ind1":"1","ind2":" "}},{"205":{"subfields":[{"a":"2nd ed."}],"ind1":" ","ind2":" "}},{"210":{"subfields":[{"a":"London"},{"c":"Prentice-Hall"},{"d":"1996"}],"ind1":" ","ind2":" "}},{"215":{"subfields":[{"a":"xiv, 434 p."},{"d":"24 cm."}],"ind1":" ","ind2":" "}},{"300":{"subfields":[{"a":"Includes bibliographical references and index"}],"ind1":" ","ind2":" "}},{"606":{"subfields":[{"a":"\u039b\u03bf\u03b3\u03b9\u03c3\u03bc\u03b9\u03ba\u03cc \u03c5\u03c0\u03bf\u03bb\u03bf\u03b3\u03b9\u03c3\u03c4\u03ae"},{"x":"\u0391\u03bd\u03ac\u03c0\u03c4\u03c5\u03be\u03b7"}],"ind1":"0","ind2":" "}},{"606":{"subfields":[{"a":"Z (\u0393\u03bb\u03ce\u03c3\u03c3\u03b1 \u03c0\u03c1\u03bf\u03b3\u03c1\u03b1\u03bc\u03bc\u03b1\u03c4\u03b9\u03c3\u03bc\u03bf\u03cd \u03c5\u03c0\u03bf\u03bb\u03bf\u03b3\u03b9\u03c3\u03c4\u03ae)"}],"ind1":"0","ind2":" "}},{"676":{"subfields":[{"a":"005.12"}],"ind1":" ","ind2":" "}},{"700":{"subfields":[{"a":"Potter"},{"b":"Ben"},{"4":"070"}],"ind1":" ","ind2":"1"}},{"701":{"subfields":[{"a":"Sinclair"},{"b":"Jane"},{"4":"070"}],"ind1":" ","ind2":"1"}},{"701":{"subfields":[{"a":"Till"},{"b":"David"},{"4":"070"}],"ind1":" ","ind2":"1"}},{"709":{"subfields":[{"a":"Prentice Hall"}],"ind1":" ","ind2":" "}},{"801":{"subfields":[{"a":"GR"},{"b":"\u03a0\u0391.\u0394.\u0391. \u0392\u03b9\u03b2\u03bb\u03b9\u03bf\u03b8\u03ae\u03ba\u03b7 \u03a0\u03b1\u03bd\u03b5\u03c0\u03b9\u03c3\u03c4\u03b7\u03bc\u03b9\u03bf\u03cd\u03c0\u03bf\u03bb\u03b7\u03c2 2"},{"g":"AACR2"}],"ind1":" ","ind2":"0"}},{"852":{"subfields":[{"a":"INST"},{"b":"LIBRARY"},{"e":"19981008"},{"h":"005.12 POT"},{"p":"000005459"},{"q":"000005459"},{"t":"BK"},{"y":"23"},{"z":"1"}],"ind1":" ","ind2":" "}},{"909":{"subfields":[{"a":"010815"}],"ind1":" ","ind2":" "}}]}
|
| id | lib2_1/14672 |
| illustrated | Not Illustrated |
| institution | University of West Attica |
| isbn | 0-13-242207-7 |
| language | English |
| physical | xiv, 434 p. 24 cm. |
| publishDate | 1996 |
| publisher | Prentice Hall |
| record_format | marc |
| spelling | 19981001d1996 0grey0105 ba eng An introduction to formal specification an Z 2nd ed. London Prentice-Hall 1996 xiv, 434 p. 24 cm. Includes bibliographical references and index Λογισμικό υπολογιστή Ανάπτυξη Z (Γλώσσα προγραμματισμού υπολογιστή) 005.12 Potter Ben 070 Sinclair Jane 070 Till David 070 Prentice Hall GR ΠΑ.Δ.Α. Βιβλιοθήκη Πανεπιστημιούπολης 2 AACR2 INST LIBRARY 19981008 005.12 POT 000005459 000005459 BK 23 1 |
| spellingShingle | Potter Ben Sinclair Jane Till David An introduction to formal specification an Z Λογισμικό υπολογιστή Ανάπτυξη Z (Γλώσσα προγραμματισμού υπολογιστή) |
| title | An introduction to formal specification an Z |
| title_auth | An introduction to formal specification an Z |
| title_full | An introduction to formal specification an Z |
| title_fullStr | An introduction to formal specification an Z |
| title_full_unstemmed | An introduction to formal specification an Z |
| title_short | An introduction to formal specification an Z |
| topic | Λογισμικό υπολογιστή Ανάπτυξη Z (Γλώσσα προγραμματισμού υπολογιστή) |
| topic_facet | Λογισμικό υπολογιστή Ανάπτυξη Z (Γλώσσα προγραμματισμού υπολογιστή) |