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

عنوان
Abstract state machines: a method for high-level system design and analysis

پدید آورنده
Borger, E.)Egon(

موضوع
، System design,، Computer software-- Development,، Embedded computer systems

رده
QA
76
.
9
.
S88
.
B66
2003

کتابخانه
Central Library of Sharif University of Technology

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

Central Library of Sharif University of Technology

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

OTHER STANDARD IDENTIFIER

Standard Number
136847

LANGUAGE OF THE ITEM

.Language of Text, Soundtrack etc
بها‌ر۳۸
.Language of Text, Soundtrack etc
English

TITLE AND STATEMENT OF RESPONSIBILITY

General Material Designation
)91(
First Statement of Responsibility
Borger, E.)Egon(
1946-
Title Proper
Abstract state machines: a method for high-level system design and analysis

.PUBLICATION, DISTRIBUTION, ETC

Place of Publication, Distribution, etc.
New York
Name of Publisher, Distributor, etc.
Springer
Date of Publication, Distribution, etc.
2003

PHYSICAL DESCRIPTION

Specific Material Designation and Extent of Item
x, 438 p.: ill.; 24 cm

GENERAL NOTES

Text of Note
Includes bibliographical references and index

TOPICAL NAME USED AS SUBJECT

Entry Element
، System design
Entry Element
، Computer software-- Development
Entry Element
، Embedded computer systems

LIBRARY OF CONGRESS CLASSIFICATION

Class number
QA
76
.
9
.
S88
.
B66
2003

PERSONAL NAME - PRIMARY RESPONSIBILITY

Relator Code
AU
Entry Element
Egon Borger, Robert Stark

AU F treboR ,kratS 1963-
TI

LOCATION AND CALL NUMBER

Shelving Form of Title, Author, Author/Title
129

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