Formal Methods:Foundations and Applications:12th Brazilian
AuthorMarcel Vinícius Medeiros Oliveira, Jim Woodcock
Print length: 351
Publication date: 2009-12-01
ISBN-10: 3642104517
ISBN-13: 9783642104510
未经允许不得转载：Wow! eBook » Formal Methods:Foundations and Applications:12th Brazilian