Resultados de búsqueda - 10 agosto~

The anatomy of corporate law : a comparative and functional approach / por Kraakman, Reinier H.

Software engineering : a programming approach / por Bell, Douglas

Tabla de Contenidos: “…17 (1) Summary 18 (3) Exercises 19 (1) Answers to self test questions 20 (1) Further reading 20 (1) Process models 21 (24) Introduction 21 (1) The components of software development 22 (2) Validation and verification 24 (1) The waterfall model 25 (3) Prototyping 28 (8) Formal methods -- the transform model 36 (1) The spiral model 37 (3) Discussion 40 (1) Summary 41 (4) Exercises 41 (1) Answers to self test questions 42 (1) Further reading 42 (3) Part B Requirements engineering Requirements analysis 45 (10) Introduction 45 (1) The notion of a requirement 46 (1) The process of eliciting requirements 47 (2) The requirements specification 49 (3) Summary 52 (3) Exercises 53 (1) Further reading 54 (1) Formal specification 55 (16) Introduction 55 (2) Formal specification in Z: an example 57 (7) The role of formal specification 64 (1) Summary 65 (6) Exercises 66 (1) Answers to self test questions 67 (1) Further reading 67 (4) Part C Design Structured programming 71 (14) Introduction 71 (1) Arguments against goto 72 (4) Arguments in favor of goto 76 (1) Selecting control structures 77 (2) What is structured programming? …”

LINUX : the textbook / por Sarwar, Syed Mansoor

Tabla de Contenidos: “…2 (2) Operating System Services 4 (1) Character Versus Graphical User Interfaces 4 (1) Types of Operating Systems 5 (1) The LINUX Family 6 (3) Summary 7 (1) Problems 7 (2) LINUX History 9 (8) Introduction 10 (1) Open Source Background 10 (2) Linus Torvalds 12 (1) LINUX Distributions 13 (1) Kernel History 13 (1) Popularity of LINUX 14 (1) Future Developments 14 (1) Web Resources 14 (3) Summary 14 (1) Problems 15 (2) Getting Started 17 (24) Introduction 18 (1) Computer System Hardware 18 (3) Main/Primary Storage 18 (1) Central Processing Unit (CPU) 19 (1) Disk 20 (1) Bus 20 (1) I/O Devices 21 (1) LINUX Software Architecture 21 (4) Device Driver Layer 21 (1) The LINUX Kernel 22 (2) The System Call Interface 24 (1) Language Libraries 24 (1) LINUX Shell 24 (1) Applications 25 (1) Logging On and Logging Off 25 (4) Correcting Command Line Typing Mistakes 29 (1) Some Important System Setups 30 (2) Some Useful Commands for the Beginner 32 (9) Changing Your Password 32 (1) Getting Help 32 (4) Finding Out Who You Are and What the Name of Your LINUX System Is 36 (1) Summary 37 (1) Problems 38 (3) LINUX Shells 41 (20) Introduction 42 (1) Various LINUX Shells 43 (6) Various Shell Programs 44 (1) Which Shell Suits Your Needs? …”