Abstract datatypes in PVS
An edition of Abstract datatypes in PVS (1997)
By Sam Owre
Publish Date
1997
Publisher
National Aeronautics and Space Administration, Langley Research Center,National Technical Information Service, distributor
Language
eng
Pages
-
1-1 of 1 Editions
Abstract datatypes in PVS
Language: eng
Published In: 1997
Publisher: National Aeronautics and Space Administration, Langley Research Center, National Technical Information Service, distributor