Formal methods in circuit design

Λεπτομέρειες βιβλιογραφικής εγγραφής
Κύριος συγγραφέας: Σταυρίδου Βικτωρία
Μορφή: Βιβλίο
Γλώσσα:English
Έκδοση: Cambridge University Press
Σειρά:Cambridge University Press

MARC

LEADER 00000nam a2200000 i 4500
001 1/10239
010 |a 0 521 44336 9  |b hardback 
035 |l 10000828 
100 |a 19981021d1993 0grey0105 ba 
101 0 |a eng 
200 1 |a Formal methods in circuit design  |f V. Stavridou 
210 |a Cambridge  |c Cambridge University Press  |d c1993 
215 |a xiii, 193 p.  |c ill.  |d 26 cm. 
225 2 |a Cambridge tracts in theoretical computer science  |v 37 
320 |a Bibliography : p.171-193 
410 1 |t Cambridge Tracts in Theoretical Computer Science  |f Cambridge University Press  |v 37 
606 0 |a Ψηφιακά ηλεκτρονικά 
606 0 |a Ολοκληρωμένα κυκλώματα  |x Πολύ μεγάλη κλίμακα ολοκλήρωσης  |x Σχεδίαση και κατασκευή 
676 |a 621.395 
700 1 |a Σταυρίδου  |b Βικτωρία 
709 |a Cambridge University Press 
801 0 |a GR  |b ΠΑ.Δ.Α. Βιβλιοθήκη Πανεπιστημιούπολης 2  |g AACR2 
852 |a INST  |b LIBRARY  |e 19981020  |h 621.395 ΣΤΑ  |p 000018837  |q 000018837  |t BK  |y 23  |z 1 
852 |a INST  |b LIBRARY  |e 19981020  |h 621.395 ΣΤΑ  |p 000018840  |q 000018840  |t BK  |y 0  |z 2 
901 |a 000773, 000772 
909 |b 012688 (c.1) 
909 |b 012689 (c.2) 
970 |a ΑΔΑΜ  |b ΚΥΡΙΑΚΗ  |z 1998-10 

Εγγραφή στο Ευρετήριο Αναζήτησης

_version_ 1780545232933224448
author Σταυρίδου Βικτωρία
author_facet Σταυρίδου Βικτωρία
author_role
author_sort Σταυρίδου Βικτωρία
author_variant σ β σβ
building Campus Library II
collection LIB2 Catalog
dewey-full 621.395
dewey-hundreds 600
dewey-ones 621
dewey-raw 621.395
dewey-search 621.395
dewey-sort 3621.395
dewey-tens 620
format Book
fullrecord {"leader":"01312nam a2200301 i 4500","fields":[{"001":"1/10239"},{"010":{"subfields":[{"a":"0 521 44336 9"},{"b":"hardback"}],"ind1":" ","ind2":" "}},{"035":{"subfields":[{"l":"10000828"}],"ind1":" ","ind2":" "}},{"100":{"subfields":[{"a":"19981021d1993 0grey0105 ba"}],"ind1":" ","ind2":" "}},{"101":{"subfields":[{"a":"eng"}],"ind1":"0","ind2":" "}},{"200":{"subfields":[{"a":"Formal methods in circuit design"},{"f":"V. Stavridou"}],"ind1":"1","ind2":" "}},{"210":{"subfields":[{"a":"Cambridge"},{"c":"Cambridge University Press"},{"d":"c1993"}],"ind1":" ","ind2":" "}},{"215":{"subfields":[{"a":"xiii, 193 p."},{"c":"ill."},{"d":"26 cm."}],"ind1":" ","ind2":" "}},{"225":{"subfields":[{"a":"Cambridge tracts in theoretical computer science"},{"v":"37"}],"ind1":"2","ind2":" "}},{"320":{"subfields":[{"a":"Bibliography : p.171-193"}],"ind1":" ","ind2":" "}},{"410":{"subfields":[{"t":"Cambridge Tracts in Theoretical Computer Science"},{"f":"Cambridge University Press"},{"v":"37"}],"ind1":" ","ind2":"1"}},{"606":{"subfields":[{"a":"\u03a8\u03b7\u03c6\u03b9\u03b1\u03ba\u03ac \u03b7\u03bb\u03b5\u03ba\u03c4\u03c1\u03bf\u03bd\u03b9\u03ba\u03ac"}],"ind1":"0","ind2":" "}},{"606":{"subfields":[{"a":"\u039f\u03bb\u03bf\u03ba\u03bb\u03b7\u03c1\u03c9\u03bc\u03ad\u03bd\u03b1 \u03ba\u03c5\u03ba\u03bb\u03ce\u03bc\u03b1\u03c4\u03b1"},{"x":"\u03a0\u03bf\u03bb\u03cd \u03bc\u03b5\u03b3\u03ac\u03bb\u03b7 \u03ba\u03bb\u03af\u03bc\u03b1\u03ba\u03b1 \u03bf\u03bb\u03bf\u03ba\u03bb\u03ae\u03c1\u03c9\u03c3\u03b7\u03c2"},{"x":"\u03a3\u03c7\u03b5\u03b4\u03af\u03b1\u03c3\u03b7 \u03ba\u03b1\u03b9 \u03ba\u03b1\u03c4\u03b1\u03c3\u03ba\u03b5\u03c5\u03ae"}],"ind1":"0","ind2":" "}},{"676":{"subfields":[{"a":"621.395"}],"ind1":" ","ind2":" "}},{"700":{"subfields":[{"a":"\u03a3\u03c4\u03b1\u03c5\u03c1\u03af\u03b4\u03bf\u03c5"},{"b":"\u0392\u03b9\u03ba\u03c4\u03c9\u03c1\u03af\u03b1"}],"ind1":" ","ind2":"1"}},{"709":{"subfields":[{"a":"Cambridge University Press"}],"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":"19981020"},{"h":"621.395 \u03a3\u03a4\u0391"},{"p":"000018837"},{"q":"000018837"},{"t":"BK"},{"y":"23"},{"z":"1"}],"ind1":" ","ind2":" "}},{"852":{"subfields":[{"a":"INST"},{"b":"LIBRARY"},{"e":"19981020"},{"h":"621.395 \u03a3\u03a4\u0391"},{"p":"000018840"},{"q":"000018840"},{"t":"BK"},{"y":"0"},{"z":"2"}],"ind1":" ","ind2":" "}},{"901":{"subfields":[{"a":"000773, 000772"}],"ind1":" ","ind2":" "}},{"909":{"subfields":[{"b":"012688 (c.1)"}],"ind1":" ","ind2":" "}},{"909":{"subfields":[{"b":"012689 (c.2)"}],"ind1":" ","ind2":" "}},{"970":{"subfields":[{"a":"\u0391\u0394\u0391\u039c"},{"b":"\u039a\u03a5\u03a1\u0399\u0391\u039a\u0397"},{"z":"1998-10"}],"ind1":" ","ind2":" "}}]}
id lib2_1/10239
illustrated Illustrated
institution University of West Attica
isbn 0 521 44336 9
language English
physical xiii, 193 p. ill. 26 cm.
publishDate 1993
publisher Cambridge University Press
record_format marc
series Cambridge University Press
series2 Cambridge tracts in theoretical computer science
spelling 19981021d1993 0grey0105 ba
eng
Formal methods in circuit design V. Stavridou
Cambridge Cambridge University Press c1993
xiii, 193 p. ill. 26 cm.
Cambridge tracts in theoretical computer science 37
Bibliography : p.171-193
Cambridge Tracts in Theoretical Computer Science Cambridge University Press 37
Ψηφιακά ηλεκτρονικά
Ολοκληρωμένα κυκλώματα Πολύ μεγάλη κλίμακα ολοκλήρωσης Σχεδίαση και κατασκευή
621.395
Σταυρίδου Βικτωρία
Cambridge University Press
GR ΠΑ.Δ.Α. Βιβλιοθήκη Πανεπιστημιούπολης 2 AACR2
INST LIBRARY 19981020 621.395 ΣΤΑ 000018837 000018837 BK 23 1
INST LIBRARY 19981020 621.395 ΣΤΑ 000018840 000018840 BK 0 2
spellingShingle Σταυρίδου Βικτωρία
Formal methods in circuit design
Cambridge University Press
Ψηφιακά ηλεκτρονικά
Ολοκληρωμένα κυκλώματα Πολύ μεγάλη κλίμακα ολοκλήρωσης Σχεδίαση και κατασκευή
title Formal methods in circuit design
title_auth Formal methods in circuit design
title_full Formal methods in circuit design V. Stavridou
title_fullStr Formal methods in circuit design V. Stavridou
title_full_unstemmed Formal methods in circuit design V. Stavridou
title_short Formal methods in circuit design
topic Ψηφιακά ηλεκτρονικά
Ολοκληρωμένα κυκλώματα Πολύ μεγάλη κλίμακα ολοκλήρωσης Σχεδίαση και κατασκευή
topic_facet Ψηφιακά ηλεκτρονικά
Ολοκληρωμένα κυκλώματα Πολύ μεγάλη κλίμακα ολοκλήρωσης Σχεδίαση και κατασκευή