Liknande böcker

VDM '91. Formal Software Development Methods. 4th International Symposiu...
Bok
VDM '90. VDM and Z - Formal Methods in Software Development : Third Inte...
Bok av Dines Bjorner
Formal Methods in Programming and Their Applications : International Con...
Bok av Dines Bjorner
Advanced Programming Environments : Proceedings of an International Work...
Bok av Reidar Conradi
Rewriting Techniques and Applications : 6th International Conference, RT...
Bok av Jieh Hsiang
ESEC '87 : 1st European Software Engineering Conference Strasbourg, Fran...
Bok av Howard K Nichols
Mathematics of Program Construction
Bok
Object Technologies for Advanced Software : First JSSST International Sy...
Bok av Shojiro Nishio

VDM '91. Formal Software Development Methods. 4th International Symposium of VDM Europe, Noordwijkerhout, The Netherlands, October 21-25, 1991. Proceedings

Bok