• Home
  • Advanced Search
  • Directory of Libraries
  • About lib.ir
  • Contact Us
  • History

عنوان
Using formal description techniques

پدید آورنده
/ edited by Kenneth J. Turner

موضوع
Electronic digital computers - Programming,Formal languages

رده
QA
76
.
6
.
U848
1993

کتابخانه
Tehran University, technical faculty libraries 1

محل استقرار
استان: Tehran ـ شهر: Tehran

Tehran University, technical faculty libraries 1

تماس با کتابخانه : 66498986-021

INTERNATIONAL STANDARD BOOK NUMBER

(Number (ISBN
0471934550

NATIONAL BIBLIOGRAPHY NUMBER

Country Code
IR
Number
15656

LANGUAGE OF THE ITEM

.Language of Text, Soundtrack etc
انگلیسی

COUNTRY OF PUBLICATION OR PRODUCTlON

Country of publication
IR

TITLE AND STATEMENT OF RESPONSIBILITY

Title Proper
Using formal description techniques
General Material Designation
[Book]
Other Title Information
: an introduction to Estelle, LOTOS, and SDL
First Statement of Responsibility
/ edited by Kenneth J. Turner

.PUBLICATION, DISTRIBUTION, ETC

Place of Publication, Distribution, etc.
Chichester (England)
Name of Publisher, Distributor, etc.
: John Wiley
Date of Publication, Distribution, etc.
, 1993

PHYSICAL DESCRIPTION

Specific Material Designation and Extent of Item
xxviii, 431 p.
Other Physical Details
: ill.
Dimensions
; 24 cm

SERIES

Series Title
Wiley series in communication and distributed systems

GENERAL NOTES

Text of Note
English

INTERNAL BIBLIOGRAPHIES/INDEXES NOTE

Text of Note
Includes bibliographical references (p. 409-416) and indexes

TOPICAL NAME USED AS SUBJECT

Electronic digital computers - Programming
Formal languages

LIBRARY OF CONGRESS CLASSIFICATION

Class number
QA
76
.
6
Book number
.
U848
1993

PERSONAL NAME - SECONDARY RESPONSIBILITY

Turner, Kenneth J

ORIGINATING SOURCE

Country
ایران
Agency
University of Tehran. Library of Technical Camp 1

Old cataloging

p

BL
1

Y

Proposal/Bug Report

Warning! Enter The Information Carefully
Send Cancel
This website is managed by Dar Al-Hadith Scientific-Cultural Institute and Computer Research Center of Islamic Sciences (also known as Noor)
Libraries are responsible for the validity of information, and the spiritual rights of information are reserved for them
Best Searcher - The 5th Digital Media Festival