Shortcuts
Please wait while page loads.
LiberoBanner . Default .
PageMenu- Main Menu-
Page content

Catalogue Display

Software reliability methods. Texts in computer science.

Software reliability methods. Texts in computer science.
Share Link
Item Information
Barcode Shelf Location Collection Volume Ref. Branch Status Due Date Res.
10010529 QA76.76.R44 P317 2001.
 Computer Science   GUtech Library . . Available .  
Download Title Catalogue Record 3674
Reserve Title Catalogue Record 3674
. Catalogue Record 3674 ItemInfo Beginning of record . Catalogue Record 3674 ItemInfo Top of page .
Catalogue Information
Field name Details
ISBN 9781441928764
Language E.
Shelf Location QA76.76.R44 P317 2001.
Author Gries, David
Title Software reliability methods. : Texts in computer science.
Publisher : Springer. , 2011. New York.
Description xix, 331p.:ill.; 24 cm.
Contents Introduction --Preliminaries --Logic and theorem proving --Modeling software systems --Formal specification --Automatic verification --Deductive software verification --Process algebra and equivalences --Software testing --Combining formal methods --Visualization --Conclusions.
Subject Computer science
Other name(s) Schneider, Fred B.
Links to Related Works
Subject References:
Authors:
.
Enriched Content Catalogue Record 3674
.
ISBD Display Catalogue Record 3674
.
Tag Display Catalogue Record 3674
.
Related Works Catalogue Record 3674
.
Marc XML Catalogue Record 3674
.
Add Title to Basket Catalogue Record 3674
.
Catalogue Information 3674 Beginning of record . Catalogue Information 3674 Top of page .
Most Read Titles
# Author Title
1 . Weinschenk, Susan 1 . 100 things every designer needs to know about people 1
2 . Murdock, Kelly 2 . 3ds max 9. 2
3 . Anderson, Andy 3 . Brilliant Photoshop CS3: What you need to know and how to do it 3
4 . Kurose, James F. 4 . Computer Networking: A top-down approach. 4
5 . Freeman, Eric 5 . Head first design patterns. A brain-friendly guide. 5
.
As well of interest
# Author Title
1 . Connolly, Thomas 1 . Database Systems. A Practical Approach to Design, Implementation and Management. 1
2 . Barakat, Nahla H. 2 . Intelligible support vector machines for diagnosis of diabetes mellitus. 2
3 . Meredith, Dale 3 . Certified Ethical Hacker (CEH) v12 312-50 exam guide: keep up to date with ethical hacking trends and hone your skills with hands-on activities 3
4 . Al Kalbani, Ali Khamis Ali Nasser 4 . Gamification of GUbridge English learning app: medical education 4
.

Reviews


This item has not been rated.    Add a Review and/or Rating3674