Menu
Home
Advanced Search
Directory of Libraries
عنوان
An introduction to formal specification and Z
پدید آورنده
Ben Potter, Jane Sinclair, David Till
موضوع
Computer software - Geotools,Z )Computer program language(
رده
QA
76
.
76
.
D47
کتابخانه
Library of Institute of Geophysics University of Tehran
محل استقرار
استان:
Tehran
ـ شهر:
Tehran
تماس با کتابخانه :
6
-
88001115
LANGUAGE OF THE ITEM
.Language of Text, Soundtrack etc
لاتين
TITLE AND STATEMENT OF RESPONSIBILITY
First Statement of Responsibility
Ben Potter, Jane Sinclair, David Till
Title Proper
An introduction to formal specification and Z
EDITION STATEMENT
Edition Statement
2nd ed
.PUBLICATION, DISTRIBUTION, ETC
Date of Publication, Distribution, etc.
1996
PHYSICAL DESCRIPTION
Specific Material Designation and Extent of Item
xiv, 434 p. :ill. ;24 cm.
SERIES
Series Title
Prentice-Hall international series in computer science
NOTES PERTAINING TO BINDING AND AVAILABILITY
Text of Note
مرجع به حساب نمي آيد
TOPICAL NAME USED AS SUBJECT
Topical Subdivision
tnempoleveD
Entry Element
Computer software - Geotools
Entry Element
Z )Computer program language(
LIBRARY OF CONGRESS CLASSIFICATION
Class number
QA
76
.
76
.
D47
PERSONAL NAME - PRIMARY RESPONSIBILITY
Entry Element
مولف
Relator Code
Potter, Ben
PERSONAL NAME - SECONDARY RESPONSIBILITY
Entry Element
Till, David
Entry Element
Sinclair, Jane
Proposal/Bug Report
×
Proposal/Bug Report
×
Warning!
Enter The Information Carefully
Error Report
Proposal