عنوان
پدید آورنده
موضوع
رده
QA 76.73 .Z2 D47 2001
QA
76
.
73
.
Z2
D47
2001
کتابخانه
محل استقرار
استان: Khorasan Razavi ـ شهر: Mashhad
OTHER STANDARD IDENTIFIER
Standard Number
1615
TITLE AND STATEMENT OF RESPONSIBILITY
First Statement of Responsibility
Derrick, John
Title Proper by Another Author
3691-
Title Proper
Refinement in Z and object-Z: foundations and advanced applications
.PUBLICATION, DISTRIBUTION, ETC
Place of Publication, Distribution, etc.
London
Name of Publisher, Distributor, etc.
Springer
Date of Publication, Distribution, etc.
c2001
PHYSICAL DESCRIPTION
Specific Material Designation and Extent of Item
xviii, 466p.: ill
SERIES
Series Title
Formal approaches to computing and information technology
GENERAL NOTES
Text of Note
Bibliography: p. ]449[-466
Text of Note
Includes index
NOTES PERTAINING TO TITLE AND STATEMENT OF RESPONSIBILITY
Text of Note
John Derrick and Eerke Boiten
TOPICAL NAME USED AS SUBJECT
Entry Element
، Z )Computer program language(
Entry Element
، Object-oriented programming )Computer science(
LIBRARY OF CONGRESS CLASSIFICATION
Class number
QA
76
.
73
.
Z2
D47
2001
PERSONAL NAME - PRIMARY RESPONSIBILITY
Relator Code
AU
AU Bioten, Eerke 1966-
TI
SE
LOCATION AND CALL NUMBER
Call Number Suffix
CL
