Matches in SemOpenAlex for { <https://semopenalex.org/work/W2087131626> ?p ?o ?g. }
Showing items 1 to 48 of
48
with 100 items per page.
- W2087131626 endingPage "191" @default.
- W2087131626 startingPage "191" @default.
- W2087131626 abstract "Software Testing, Verification and ReliabilityVolume 4, Issue 3 p. 191-191 Book ReviewFree Access Z – An introduction to formal methods 2nd edn. Antoni Diller. Published by John Wiley & Sons Ltd., Chichester, U.K., 1994. ISBN 0 47 193 973 0, 374 pages. Price: £22.50, hard cover David Mole, David Mole Senior Research Fellow Centre for Systems and Software Engineering, South Bank University, 103 Borough Road, London SE1 0AA, U.K.Search for more papers by this author David Mole, David Mole Senior Research Fellow Centre for Systems and Software Engineering, South Bank University, 103 Borough Road, London SE1 0AA, U.K.Search for more papers by this author First published: 1994 https://doi.org/10.1002/stvr.4370040305AboutPDF ToolsRequest permissionExport citationAdd to favoritesTrack citation ShareShare Give accessShare full text accessShare full-text accessPlease review our Terms and Conditions of Use and check box below to share full-text version of article.I have read and accept the Wiley Online Library Terms and Conditions of UseShareable LinkUse the link below to share a full-text version of this article with your friends and colleagues. Learn more.Copy URL Share a linkShare onFacebookTwitterLinked InRedditWechat No abstract is available for this article. Volume4, Issue31994Pages 191-191 ReferencesRelatedInformation" @default.
- W2087131626 created "2016-06-24" @default.
- W2087131626 creator A5004915574 @default.
- W2087131626 date "1994-01-01" @default.
- W2087131626 modified "2023-09-27" @default.
- W2087131626 title "Z – An introduction to formal methods 2nd edn. Antoni Diller. Published by John Wiley & Sons Ltd., Chichester, U.K., 1994. ISBN 0 47 193 973 0, 374 pages. Price: £22.50, hard cover" @default.
- W2087131626 cites W2090587238 @default.
- W2087131626 doi "https://doi.org/10.1002/stvr.4370040305" @default.
- W2087131626 hasPublicationYear "1994" @default.
- W2087131626 type Work @default.
- W2087131626 sameAs 2087131626 @default.
- W2087131626 citedByCount "0" @default.
- W2087131626 crossrefType "journal-article" @default.
- W2087131626 hasAuthorship W2087131626A5004915574 @default.
- W2087131626 hasBestOaLocation W20871316261 @default.
- W2087131626 hasConcept C161191863 @default.
- W2087131626 hasConcept C166957645 @default.
- W2087131626 hasConcept C2778805511 @default.
- W2087131626 hasConcept C2780443626 @default.
- W2087131626 hasConcept C41008148 @default.
- W2087131626 hasConcept C95457728 @default.
- W2087131626 hasConceptScore W2087131626C161191863 @default.
- W2087131626 hasConceptScore W2087131626C166957645 @default.
- W2087131626 hasConceptScore W2087131626C2778805511 @default.
- W2087131626 hasConceptScore W2087131626C2780443626 @default.
- W2087131626 hasConceptScore W2087131626C41008148 @default.
- W2087131626 hasConceptScore W2087131626C95457728 @default.
- W2087131626 hasIssue "3" @default.
- W2087131626 hasLocation W20871316261 @default.
- W2087131626 hasOpenAccess W2087131626 @default.
- W2087131626 hasPrimaryLocation W20871316261 @default.
- W2087131626 hasRelatedWork W1990314015 @default.
- W2087131626 hasRelatedWork W2065701925 @default.
- W2087131626 hasRelatedWork W2136203885 @default.
- W2087131626 hasRelatedWork W2511808626 @default.
- W2087131626 hasRelatedWork W4239193864 @default.
- W2087131626 hasRelatedWork W4246892729 @default.
- W2087131626 hasRelatedWork W4249537961 @default.
- W2087131626 hasRelatedWork W4249717062 @default.
- W2087131626 hasRelatedWork W4250834714 @default.
- W2087131626 hasRelatedWork W4252470979 @default.
- W2087131626 hasVolume "4" @default.
- W2087131626 isParatext "false" @default.
- W2087131626 isRetracted "false" @default.
- W2087131626 magId "2087131626" @default.
- W2087131626 workType "article" @default.