David A. Schmidt – författare
Visar alla böcker från författaren David A. Schmidt. Handla med fri frakt och snabb leverans.
4 produkter
Mathematical Foundations of Programming Semantics
5th International Conference, Tulane University, New Orleans, Louisiana, USA, March 29-April 1, 1989. Proceedings
Av Michael G. Main, Austin C. Melton m. fl.
Häftad, 1990
550 kr
Lägg i varukorg
This is the latest in a series of proceedings of conferences on the Mathematical Foundations of Programming Semantics. The purpose of the series is to bring together mathematicians and theoretical computer scientists who share the common interests of working on problems related to programming …
Static Analysis
Third International Symposium, SAS '96, Aachen, Germany, September 24 - 26, 1996. Proceedings
Av Radhia Cousot, David A. Schmidt
Häftad, 1996
566 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the Third International Static Analysis Symposium, SAS '96, held in Aachen, Germany, in September 1996 in conjunction with ALP and PLILP.The volume presents 22 highly-quality revised full papers selected from a total of 79 submissions; also included …
