Building High Integrity Applications with SPARK

Publisher: Cambridge University Press

Type: Physical Book

Language: English

Pages: 383

Information: 1

Release Date: 2015-01-01

ISBN 10: 1107040736

ISBN 13: 9781107040731

Readers: 1

Country: United States of America

Data Score: 1730