Matches in SemOpenAlex for { <https://semopenalex.org/work/W2006604283> ?p ?o ?g. }
Showing items 1 to 79 of
79
with 100 items per page.
- W2006604283 abstract "Abstract In this paper the use of axiomatic computing models in designing is presented. The usefulness of the chosen approach is assessed by showing the specification and implementation of a symbolic multiplier. The formal definition of the multiplier of strings of digits is implemented in a fully-testable C-program, directly derived from the specification." @default.
- W2006604283 created "2016-06-24" @default.
- W2006604283 creator A5008112608 @default.
- W2006604283 creator A5035010076 @default.
- W2006604283 creator A5063664788 @default.
- W2006604283 creator A5067885642 @default.
- W2006604283 creator A5084737633 @default.
- W2006604283 date "1990-03-01" @default.
- W2006604283 modified "2023-09-27" @default.
- W2006604283 title "Computing models in designing" @default.
- W2006604283 cites W1518949134 @default.
- W2006604283 cites W1984820433 @default.
- W2006604283 cites W2146038860 @default.
- W2006604283 doi "https://doi.org/10.1016/0165-6074(90)90169-a" @default.
- W2006604283 hasPublicationYear "1990" @default.
- W2006604283 type Work @default.
- W2006604283 sameAs 2006604283 @default.
- W2006604283 citedByCount "0" @default.
- W2006604283 crossrefType "journal-article" @default.
- W2006604283 hasAuthorship W2006604283A5008112608 @default.
- W2006604283 hasAuthorship W2006604283A5035010076 @default.
- W2006604283 hasAuthorship W2006604283A5063664788 @default.
- W2006604283 hasAuthorship W2006604283A5067885642 @default.
- W2006604283 hasAuthorship W2006604283A5084737633 @default.
- W2006604283 hasConcept C124584101 @default.
- W2006604283 hasConcept C127313418 @default.
- W2006604283 hasConcept C139719470 @default.
- W2006604283 hasConcept C162324750 @default.
- W2006604283 hasConcept C167729594 @default.
- W2006604283 hasConcept C17409809 @default.
- W2006604283 hasConcept C199360897 @default.
- W2006604283 hasConcept C2524010 @default.
- W2006604283 hasConcept C2778648169 @default.
- W2006604283 hasConcept C33923547 @default.
- W2006604283 hasConcept C41008148 @default.
- W2006604283 hasConcept C75606506 @default.
- W2006604283 hasConcept C80444323 @default.
- W2006604283 hasConcept C84170951 @default.
- W2006604283 hasConceptScore W2006604283C124584101 @default.
- W2006604283 hasConceptScore W2006604283C127313418 @default.
- W2006604283 hasConceptScore W2006604283C139719470 @default.
- W2006604283 hasConceptScore W2006604283C162324750 @default.
- W2006604283 hasConceptScore W2006604283C167729594 @default.
- W2006604283 hasConceptScore W2006604283C17409809 @default.
- W2006604283 hasConceptScore W2006604283C199360897 @default.
- W2006604283 hasConceptScore W2006604283C2524010 @default.
- W2006604283 hasConceptScore W2006604283C2778648169 @default.
- W2006604283 hasConceptScore W2006604283C33923547 @default.
- W2006604283 hasConceptScore W2006604283C41008148 @default.
- W2006604283 hasConceptScore W2006604283C75606506 @default.
- W2006604283 hasConceptScore W2006604283C80444323 @default.
- W2006604283 hasConceptScore W2006604283C84170951 @default.
- W2006604283 hasLocation W20066042831 @default.
- W2006604283 hasOpenAccess W2006604283 @default.
- W2006604283 hasPrimaryLocation W20066042831 @default.
- W2006604283 hasRelatedWork W120326535 @default.
- W2006604283 hasRelatedWork W1499114716 @default.
- W2006604283 hasRelatedWork W1572428512 @default.
- W2006604283 hasRelatedWork W1588462485 @default.
- W2006604283 hasRelatedWork W1595340621 @default.
- W2006604283 hasRelatedWork W1835352161 @default.
- W2006604283 hasRelatedWork W2012189654 @default.
- W2006604283 hasRelatedWork W2014216531 @default.
- W2006604283 hasRelatedWork W2058098777 @default.
- W2006604283 hasRelatedWork W2059614596 @default.
- W2006604283 hasRelatedWork W2081056021 @default.
- W2006604283 hasRelatedWork W2109878325 @default.
- W2006604283 hasRelatedWork W2125641118 @default.
- W2006604283 hasRelatedWork W2135213777 @default.
- W2006604283 hasRelatedWork W2172006877 @default.
- W2006604283 hasRelatedWork W2277945177 @default.
- W2006604283 hasRelatedWork W2403047192 @default.
- W2006604283 hasRelatedWork W2952380519 @default.
- W2006604283 hasRelatedWork W61445866 @default.
- W2006604283 hasRelatedWork W179217736 @default.
- W2006604283 isParatext "false" @default.
- W2006604283 isRetracted "false" @default.
- W2006604283 magId "2006604283" @default.
- W2006604283 workType "article" @default.