David Luckham的作品

iMusic 有现货显示无货商品

Cover for David Luckham · Programming with Specifications: An Introduction to ANNA, A Language for Specifying Ada Programs - Monographs in Computer Science (Paperback Book) [Softcover reprint of the original 1st ed. 1990 edition] (2012)

Softcover reprint of the original 1st ed. 1990 edition

Programming with Specifications:... (2012)

Cover for David Luckham · Anna a Language for Annotating Ada Programs: Reference Manual - Lecture Notes in Computer Science (Paperback Book) (1987)

Anna a Language for Annotating A... (1987)