Menu
Home
Advanced Search
Directory of Libraries
Languages
فارسی
English
العربی
عنوان
Formal specification and documentation Using Z: a case study approach
پدید آورنده
Bowen, Jonathan Peter
موضوع
، Z )Computer program language(,، System design,Development ، Computer software,، Software documentation
رده
QA
76
.
73
.
Z2
B68
1996
کتابخانه
Central Library and Information Center of Ferdowsi University of Mashhad
محل استقرار
استان:
Khorasan Razavi
ـ شهر:
Mashhad
تماس با کتابخانه :
05138806503
OTHER STANDARD IDENTIFIER
Standard Number
20227
TITLE AND STATEMENT OF RESPONSIBILITY
First Statement of Responsibility
Bowen, Jonathan Peter
Title Proper by Another Author
6591-
Title Proper
Formal specification and documentation Using Z: a case study approach
.PUBLICATION, DISTRIBUTION, ETC
Place of Publication, Distribution, etc.
London
Name of Publisher, Distributor, etc.
International Thomson Computer Press
Date of Publication, Distribution, etc.
c1996
PHYSICAL DESCRIPTION
Specific Material Designation and Extent of Item
xvi, 302p.: ill
GENERAL NOTES
Text of Note
Bibliography: p. 253-284
Text of Note
Includes index
NOTES PERTAINING TO TITLE AND STATEMENT OF RESPONSIBILITY
Text of Note
Jonathan Bowen
TOPICAL NAME USED AS SUBJECT
Entry Element
، Z )Computer program language(
Entry Element
، System design
Entry Element
Development ، Computer software
Entry Element
، Software documentation
LIBRARY OF CONGRESS CLASSIFICATION
Class number
QA
76
.
73
.
Z2
B68
1996
PERSONAL NAME - PRIMARY RESPONSIBILITY
Relator Code
AU
TI
LOCATION AND CALL NUMBER
Call Number Suffix
CL
Proposal/Bug Report
×
Proposal/Bug Report
×
Warning!
Enter The Information Carefully
Error Report
Proposal