Software Engineering -> Chinese Version

Chapter(章节)

Pages(页数)

Translator(译者)

Reviewer(审阅人)

Preface

17

CXY

LBC

Introduction

42

CXY

XJW

Numbers

10

LX

KWQ

Sets

8

KWQ

LGQ

Cartesian

8

KWQ

LGQ

Types

16

LBC

KWQ

Functions

22

LBC

XJW

Lambda Calculus

28

LBC

KWQ

Algebras

14

LX

KWQ

Mathematical Logic

60

LX

XJW

Atomic Types and Values in RSL

20

XJW

CXY

Function Definitions in RSL

10

XJW

LBC

Property-Oriented and Model-Oriented Abstraction

32

XJW

CXY

Sets in RSL

32

XJW

LX

Cartesians in RSL

26

XJW

KWQ

Lists in RSL

28

KWQ

LBC

Maps in RSL

44

KWQ

CXY

Higher-Order Functions in RSL

20

KWQ

LX

Types in RSL

14

KWQ

XJW

Applicative Specification Programming

28

LBC

KWQ

Imperative Specification Programming

44

LBC

CXY

Concurrent Specification Programming

46

LBC

LX

Etcetera

6

LBC

XJW

Appendix(附录)

Pages(页数)

Translator(译者)

Reviewer(审阅)

563-579

17

LBC

KWQ

580-596

17

LBC

LX

597-614

18

XJW

CXY

615-632

18

LBC

LX

632-649

18

LBC

XJW