'Peter gorm larsen' presentation slideshows

Introduction to VDM2, Simple AST extensions and Concurrency in VDM++

Introduction to VDM2, Simple AST extensions and Concurrency in VDM++. Professor Peter Gorm Larsen ( pgl@iha.dk ). Agenda. Administrative information about the course Simple AST Extensions Concurrency primitives in VDM++ Example: POP3 Server Example: MSAWConc Concurrency and Overture

766 views • 64 slides

319 views • 4 slides