scientific article; zbMATH DE number 3990911

zbMATH Open0612.68084MaRDI QIDQ3753523FDOQ3753523

Authors: P. A. Subrahmanyam 

Publication date: 1986

Title of this publication is not available (Why is that?)

Recommendations

• scientific article; zbMATH DE number 58311
• scientific article
• A logic-topological calculus for the construction of integrated circuits. I
• scientific article; zbMATH DE number 3898775
• scientific article; zbMATH DE number 3858396

zbMATH Keywords

design of provably correct integrated software-hardware systemshigher levels of system designsyntax and semantics of computational networkstransformation methodology

Mathematics Subject Classification ID

Artificial intelligence (68T99) Specification and verification (program logics, model checking, etc.) (68Q60) Abstract data types; algebraic specification (68Q65)

Cited In (3)

• VLSI design with object-oriented knowledge bases
• Title not available (Why is that?)
• A logic-topological calculus for the construction of integrated circuits. I

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3753523)