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

عنوان
System specification and design languages

پدید آورنده
Tom J. Kaźmierski, Adam Morawiec, editors

موضوع
Computer hardware description languages, Congresses,Computer software-- Verification, Congresses,Formal methods (Computer science), Congresses,Integrated circuits-- Very large scale integration-- Design and construction, Congresses,Software architecture, Congresses,Software engineering, Congresses

رده
TK7885
.
7
.
F35
2010eb

کتابخانه
Center and Library of Islamic Studies in European Languages

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

Center and Library of Islamic Studies in European Languages

تماس با کتابخانه : 32910706-025

INTERNATIONAL STANDARD BOOK NUMBER

(Number (ISBN
146141427X (electronic bk.)
(Number (ISBN
9781461414278 (electronic bk.)
Erroneous ISBN
1461414261
Erroneous ISBN
9781461414261

NATIONAL BIBLIOGRAPHY NUMBER

Number
dltt

TITLE AND STATEMENT OF RESPONSIBILITY

Title Proper
System specification and design languages
General Material Designation
[Book]
Other Title Information
selected contributions from FDL 2010 /
First Statement of Responsibility
Tom J. Kaźmierski, Adam Morawiec, editors

.PUBLICATION, DISTRIBUTION, ETC

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

PHYSICAL DESCRIPTION

Specific Material Designation and Extent of Item
1 online resource (xii, 254 p.) :
Other Physical Details
ill. (some col.)

SERIES

Series Title
Lecture notes in electrical engineering,
Volume Designation
v. 106
ISSN of Series
1876-1100 ;

GENERAL NOTES

Text of Note
"This book presents a selection of papers from FDL'2010 which was held in Southampton, UK, September 14-16, 2010 ..."--Pref

INTERNAL BIBLIOGRAPHIES/INDEXES NOTE

Text of Note
Includes bibliographical references

OTHER EDITION IN ANOTHER MEDIUM

Title
System specification and design languages.
International Standard Book Number
9781461414261

PIECE

Title
OhioLINK electronic book center (Online)
Title
SpringerLink

PARALLEL TITLE PROPER

Parallel Title
FDL 2010

TOPICAL NAME USED AS SUBJECT

Computer hardware description languages, Congresses
Computer software-- Verification, Congresses
Formal methods (Computer science), Congresses
Integrated circuits-- Very large scale integration-- Design and construction, Congresses
Software architecture, Congresses
Software engineering, Congresses

DEWEY DECIMAL CLASSIFICATION

Number
004
.
01/51
Edition
23

LIBRARY OF CONGRESS CLASSIFICATION

Class number
TK7885
.
7
Class number
TK7885
.
7
Book number
.
F35
2010eb
Book number
.
F35
2010eb

PERSONAL NAME - ALTERNATIVE RESPONSIBILITY

Kazmierski, Thomas J
Morawiec, Adam

CORPORATE BODY NAME - PRIMARY RESPONSIBILITY

FDL 2010(2010 :, Southampton, England)

ORIGINATING SOURCE

Date of Transaction
20120504105705.0

ELECTRONIC LOCATION AND ACCESS

Electronic name
 مطالعه متن کتاب 

[Book]

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