Menu
Home
Advanced Search
Directory of Libraries
Languages
فارسی
English
العربی
عنوان
Rigorous software development an introduction to program verification
پدید آورنده
Josae Bacelar Almeida ... ]et al.[
موضوع
، Computer software, Verification,، Computer software, Development
رده
QA
76
.
76
.
V47
R54
2011
کتابخانه
Library and Documentation Center of Kurdistan University
محل استقرار
استان:
Kurdistan
ـ شهر:
Sanandaj
تماس با کتابخانه :
33624006
-
087
OTHER STANDARD IDENTIFIER
Standard Number
1965
TITLE AND STATEMENT OF RESPONSIBILITY
Title Proper
Rigorous software development an introduction to program verification
.PUBLICATION, DISTRIBUTION, ETC
Place of Publication, Distribution, etc.
London
Name of Publisher, Distributor, etc.
Springer
Date of Publication, Distribution, etc.
c2011
PHYSICAL DESCRIPTION
Specific Material Designation and Extent of Item
xii, 263 p. , 23 cm.
SERIES
Series Title
Undergraduate topics in computer science,3681-0137
GENERAL NOTES
Text of Note
Includes bibliographical references and index.
TOPICAL NAME USED AS SUBJECT
Entry Element
، Computer software, Verification
Entry Element
، Computer software, Development
DEWEY DECIMAL CLASSIFICATION
Number
005
.
14
LIBRARY OF CONGRESS CLASSIFICATION
Class number
QA
76
.
76
.
V47
R54
2011
PERSONAL NAME - PRIMARY RESPONSIBILITY
Relator Code
TI
Entry Element
Josae Bacelar Almeida ... ]et al.[
AU .ralecaB easoJ ,adiemlA
LOCATION AND CALL NUMBER
Shelving Form of Title, Author, Author/Title
لاه دیجیتانابخکت
Proposal/Bug Report
×
Proposal/Bug Report
×
Warning!
Enter The Information Carefully
Error Report
Proposal