High-Integrity Software (Software Science and Engineering) - Hardcover

 
9780306435522: High-Integrity Software (Software Science and Engineering)
Hardcover
ISBN 10: 0306435527 ISBN 13: 9780306435522
Publisher: Kluwer Academic / Plenum Publishers, 1990

This specific ISBN edition is currently not available.

Synopsis

6 Specification data types 91 4. 5 Practical experiences NewSpeak: a reliable programming language 6 122 I. 1 Introduction 122 6. 2 Types and values 127 6. 3 Declarations and variables 132 6. 4 Guarded declarations 134 6. 5 Cases and conditionals 136 6. 6 Loops 138 6. 7 Procedures 140 6. 11 Appendix 1: summary of syntax 150 6. 6 7.

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

Publisher
Kluwer Academic / Plenum Publishers
Publication date
1990
Language
English
ISBN 10 
0306435527
ISBN 13 
9780306435522
Binding
Hardcover
Number of pages
368
Editor
Sennett C.T.

Other Popular Editions of the Same Title

9781468457773: High-Integrity Software (Software Science and Engineering)

Featured Edition

ISBN 10:  1468457772 ISBN 13:  9781468457773
Publisher: Springer, 2013
Softcover