Matches in Harvard for { <http://id.lib.harvard.edu/aleph/008691695/catalog> ?p ?o. }
Showing items 1 to 35 of
35
with 100 items per page.
- catalog accrualPolicy "Bimonthly".
- catalog alternative "Form. methods syst. des.".
- catalog alternative "Formal methods in system design (Online) wid".
- catalog created "1992-".
- catalog date "1992".
- catalog date "1992-".
- catalog dateCopyrighted "1992-".
- catalog description "Computer & control abstracts 0036-8113 1992-".
- catalog description "Electrical & electronics abstracts 0036-8105 1992-".
- catalog description "Physics abstracts 0036-8091 1992-".
- catalog description "Some no. combined.".
- catalog extent "v. :".
- catalog hasFormat "Also available in an electronic version.".
- catalog hasFormat "Formal methods in system design (Online)".
- catalog identifier "0925-9856".
- catalog isFormatOf "Also available in an electronic version.".
- catalog isFormatOf "Formal methods in system design (Online)".
- catalog isReferencedBy "Computer & control abstracts 0036-8113 1992-".
- catalog isReferencedBy "Electrical & electronics abstracts 0036-8105 1992-".
- catalog isReferencedBy "Physics abstracts 0036-8091 1992-".
- catalog issued "1992".
- catalog issued "1992-".
- catalog language "eng".
- catalog publisher "Boston, U.S.A. : Kluwer Academic Publishers,".
- catalog relation "Also available in an electronic version.".
- catalog relation "Formal methods in system design (Online)".
- catalog subject "004.2/1 20".
- catalog subject "QA76.9.S88 F675".
- catalog subject "System design Periodicals.".
- catalog title "Form. methods syst. des.".
- catalog title "Formal methods in system design".
- catalog title "Formal methods in system design.".
- catalog type "Computer network resources. local".
- catalog type "Electronic journals. lcsh".
- catalog type "text".