Matches in SemOpenAlex for { <https://semopenalex.org/work/W1550981657> ?p ?o ?g. }
Showing items 1 to 65 of
65
with 100 items per page.
- W1550981657 abstract "From the Publisher:Formal Specification offers a practical and versatile approach to constructing formal specifications. Mathematical principles, abstraction and modularisation are explained using examples from everyday life and practical computing. Both model-based and algebraic approaches to specification are covered.. Formal Specification is an ideal teaching text for both undergraduate and postgraduate courses in formal methods. No prior knowledge of formal specification is needed as the text is written to be accessible to a wide audience." @default.
- W1550981657 created "2016-06-24" @default.
- W1550981657 creator A5038764694 @default.
- W1550981657 date "1999-07-27" @default.
- W1550981657 modified "2023-09-27" @default.
- W1550981657 title "Formal Specification: Techniques and Applications" @default.
- W1550981657 hasPublicationYear "1999" @default.
- W1550981657 type Work @default.
- W1550981657 sameAs 1550981657 @default.
- W1550981657 citedByCount "8" @default.
- W1550981657 crossrefType "book" @default.
- W1550981657 hasAuthorship W1550981657A5038764694 @default.
- W1550981657 hasConcept C111472728 @default.
- W1550981657 hasConcept C111498074 @default.
- W1550981657 hasConcept C115903868 @default.
- W1550981657 hasConcept C116253237 @default.
- W1550981657 hasConcept C124304363 @default.
- W1550981657 hasConcept C138885662 @default.
- W1550981657 hasConcept C14331664 @default.
- W1550981657 hasConcept C146072743 @default.
- W1550981657 hasConcept C199360897 @default.
- W1550981657 hasConcept C2777691520 @default.
- W1550981657 hasConcept C41008148 @default.
- W1550981657 hasConcept C75606506 @default.
- W1550981657 hasConcept C90069079 @default.
- W1550981657 hasConceptScore W1550981657C111472728 @default.
- W1550981657 hasConceptScore W1550981657C111498074 @default.
- W1550981657 hasConceptScore W1550981657C115903868 @default.
- W1550981657 hasConceptScore W1550981657C116253237 @default.
- W1550981657 hasConceptScore W1550981657C124304363 @default.
- W1550981657 hasConceptScore W1550981657C138885662 @default.
- W1550981657 hasConceptScore W1550981657C14331664 @default.
- W1550981657 hasConceptScore W1550981657C146072743 @default.
- W1550981657 hasConceptScore W1550981657C199360897 @default.
- W1550981657 hasConceptScore W1550981657C2777691520 @default.
- W1550981657 hasConceptScore W1550981657C41008148 @default.
- W1550981657 hasConceptScore W1550981657C75606506 @default.
- W1550981657 hasConceptScore W1550981657C90069079 @default.
- W1550981657 hasLocation W15509816571 @default.
- W1550981657 hasOpenAccess W1550981657 @default.
- W1550981657 hasPrimaryLocation W15509816571 @default.
- W1550981657 hasRelatedWork W1516162859 @default.
- W1550981657 hasRelatedWork W1525387034 @default.
- W1550981657 hasRelatedWork W1537154714 @default.
- W1550981657 hasRelatedWork W1599908518 @default.
- W1550981657 hasRelatedWork W1605343538 @default.
- W1550981657 hasRelatedWork W1870189519 @default.
- W1550981657 hasRelatedWork W1898212773 @default.
- W1550981657 hasRelatedWork W1932325440 @default.
- W1550981657 hasRelatedWork W196378786 @default.
- W1550981657 hasRelatedWork W2043379545 @default.
- W1550981657 hasRelatedWork W2043563043 @default.
- W1550981657 hasRelatedWork W2098132724 @default.
- W1550981657 hasRelatedWork W2098799476 @default.
- W1550981657 hasRelatedWork W2214314364 @default.
- W1550981657 hasRelatedWork W2272271980 @default.
- W1550981657 hasRelatedWork W2349269724 @default.
- W1550981657 hasRelatedWork W2578142825 @default.
- W1550981657 hasRelatedWork W27954748 @default.
- W1550981657 hasRelatedWork W3022086173 @default.
- W1550981657 hasRelatedWork W3048371688 @default.
- W1550981657 isParatext "false" @default.
- W1550981657 isRetracted "false" @default.
- W1550981657 magId "1550981657" @default.
- W1550981657 workType "book" @default.