Menu
Home
Advanced Search
Directory of Libraries
Languages
فارسی
English
العربی
عنوان
Rigorous software development : an introduction to program verification
پدید آورنده
Jose Bacelar Almeida ... ]et al.[
موضوع
، Computer software -- Verification,، Computer software -- Development
رده
QA
76
.
76
.
V47R5
کتابخانه
Library of Institute for Research in Fundamental Sciences
محل استقرار
استان:
Tehran
ـ شهر:
Tehran
تماس با کتابخانه :
22291812
-
021
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.: ill
SERIES
Other Title Information
Undergraduate topics in computer science
GENERAL NOTES
Text of Note
Includes bibliographies
Text of Note
ISBN: 9780857290175
NOTES PERTAINING TO TITLE AND STATEMENT OF RESPONSIBILITY
Text of Note
Jose Bacelar Almeida ... ]et al.[
ORIGINAL VERSION NOTE
Text of Note
1
TOPICAL NAME USED AS SUBJECT
Entry Element
، Computer software -- Verification
Entry Element
، Computer software -- Development
LIBRARY OF CONGRESS CLASSIFICATION
Class number
QA
76
.
76
.
V47R5
PERSONAL NAME - PRIMARY RESPONSIBILITY
Relator Code
TI
AU Almeida, Jose Bacelar
SE Undergraduate topics in computer science
Proposal/Bug Report
×
Proposal/Bug Report
×
Warning!
Enter The Information Carefully
Error Report
Proposal