High-Integrity Software - Software Science and Engineering - C T Sennett - 图书 - Springer-Verlag New York Inc. - 9781468457773 - 2013年7月1日
如封面与标题不符,以标题为准

High-Integrity Software - Software Science and Engineering Softcover reprint of the original 1st ed. 1989 edition

价格
元 380
不含税

远程仓调货

预计送达时间 年6月11日 - 年6月23日
添加至iMusic心愿单

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.


368 pages, biography

介质类型 图书     Paperback Book   (平装胶订图书)
已发行 2013年7月1日
ISBN13 9781468457773
出版商 Springer-Verlag New York Inc.
页数 360
商品尺寸 189 × 246 × 20 mm   ·   662 g
语言 英语  
编辑 Sennett, C.T.

Mere med samme udgiver