Programming With Specifications (Texts and Monographs in Computer Science) - Hardcover

David Luckham

 
9783540972549: Programming With Specifications (Texts and Monographs in Computer Science)
Hardcover
ISBN 10: 3540972544 ISBN 13: 9783540972549
Publisher: Springer Verlad, 1990

Synopsis

Book by Luckham, David

"synopsis" may belong to another edition of this title.

Publisher
Springer Verlad
Publication date
1990
Language
English
ISBN 10 
3540972544
ISBN 13 
9783540972549
Binding
Hardcover

Other Popular Editions of the Same Title

9780387972541: Programming with Specifications: An Introduction to ANNA, A Language for Specifying Ada Programs (Monographs in Computer Science)

Featured Edition

ISBN 10:  0387972544 ISBN 13:  9780387972541
Publisher: Springer, 1990
Hardcover