{"title":"Verification of Sequential and Concurrent Programs","authors":"K. Apt, E. Olderog","doi":"10.1007/978-1-4757-4376-0","DOIUrl":"https://doi.org/10.1007/978-1-4757-4376-0","url":null,"abstract":"","PeriodicalId":124930,"journal":{"name":"Texts and Monographs in Computer Science","volume":"9 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1997-05-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128023054","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Algorithmic Algebra","authors":"B. Mishra","doi":"10.1007/978-1-4612-4344-1","DOIUrl":"https://doi.org/10.1007/978-1-4612-4344-1","url":null,"abstract":"","PeriodicalId":124930,"journal":{"name":"Texts and Monographs in Computer Science","volume":"2 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1993-10-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126193209","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"The Design and Analysis of Algorithms","authors":"D. Kozen","doi":"10.1007/978-1-4612-4400-4","DOIUrl":"https://doi.org/10.1007/978-1-4612-4400-4","url":null,"abstract":"","PeriodicalId":124930,"journal":{"name":"Texts and Monographs in Computer Science","volume":"40 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1991-12-03","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123974978","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Specification and Transformation of Programs - A Formal Approach to Software Development","authors":"H. Partsch","doi":"10.1007/978-3-642-61512-2","DOIUrl":"https://doi.org/10.1007/978-3-642-61512-2","url":null,"abstract":"","PeriodicalId":124930,"journal":{"name":"Texts and Monographs in Computer Science","volume":"16 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1990-07-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"134006865","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Predicate Calculus and Program Semantics","authors":"E. Dijkstra, C. S. Scholten","doi":"10.1007/978-1-4612-3228-5","DOIUrl":"https://doi.org/10.1007/978-1-4612-3228-5","url":null,"abstract":"","PeriodicalId":124930,"journal":{"name":"Texts and Monographs in Computer Science","volume":"7 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1989-12-18","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115333143","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"VLSI Placement and Routing: The PI Project","authors":"A. Sherman","doi":"10.1007/978-1-4613-9658-1","DOIUrl":"https://doi.org/10.1007/978-1-4613-9658-1","url":null,"abstract":"","PeriodicalId":124930,"journal":{"name":"Texts and Monographs in Computer Science","volume":"256 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1989-08-25","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132471825","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"The Synthesizer Generator Reference Manual","authors":"T. Reps, T. Teitelbaum","doi":"10.1007/978-1-4613-9633-8","DOIUrl":"https://doi.org/10.1007/978-1-4613-9633-8","url":null,"abstract":"","PeriodicalId":124930,"journal":{"name":"Texts and Monographs in Computer Science","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1988-12-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129171020","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"An Introduction to Formal Language Theory","authors":"R. Moll, M. Arbib, A. Kfoury","doi":"10.1007/978-1-4613-9595-9","DOIUrl":"https://doi.org/10.1007/978-1-4613-9595-9","url":null,"abstract":"","PeriodicalId":124930,"journal":{"name":"Texts and Monographs in Computer Science","volume":"13 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1988-08-08","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127480102","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Algebraic Approaches to Program Semantics","authors":"E. Manes, M. Arbib","doi":"10.1007/978-1-4612-4962-7","DOIUrl":"https://doi.org/10.1007/978-1-4612-4962-7","url":null,"abstract":"","PeriodicalId":124930,"journal":{"name":"Texts and Monographs in Computer Science","volume":"136 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1986-09-10","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122774536","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}