Logga in

O'Regan, Gerard

Mathematical Approaches to Software Quality

O'Regan, Gerard - Mathematical Approaches to Software Quality, e-bok

82,45€

E-bok, PDF, Adobe DRM-skydd
ISBN: 9781846284359
DRM-begränsningar

Skriva utInte tillåtet
Kopiera till urklippInte tillåtet

Table of contents

1. Introduction
2. Software Engineering Mathematics
3. Logic for Software Engineering
4. Z Specification Language
5. Vienna Development Method
6. Irish School of VDM
7. Dijkstra and Hoare
8. The Parnas Way
9. Cleanroom and Software Reliability
10. Unified Modeling Language
11. Technology Transfer

DRM-restrictions

Printing: not available
Clipboard copying: not available

Nyckelord: COMPUTERS / Computer Science COM014000

Författare
Utgivare
Springer
Utgivningsår
2006
Språk
en
Utgåva
1
Kategori
Datateknik, Datakommunikation
Format
E-bok
eISBN (PDF)
9781846284359

Liknande e-böcker