عنوان
پدید آورنده
موضوع
رده
E-Book ,
E-Book
,
کتابخانه
محل استقرار
INTERNATIONAL STANDARD BOOK NUMBER
(Number (ISBN
:3540664629
NATIONAL BIBLIOGRAPHY NUMBER
Number
27398
LANGUAGE OF THE ITEM
.Language of Text, Soundtrack etc
انگلیسی
TITLE AND STATEMENT OF RESPONSIBILITY
Title Proper
Applied Formal Methods FM-Trends 98
General Material Designation
[electronic resources]
Other Title Information
: International Workshop on Current Trends in Applied Formal Methods Boppard, Germany, October 7-9, 1998 Proceedings
First Statement of Responsibility
\ [Edited by] Dieter Hutter...[et.al]
.PUBLICATION, DISTRIBUTION, ETC
Place of Publication, Distribution, etc.
Berlin
Name of Publisher, Distributor, etc.
: Springer
Date of Publication, Distribution, etc.
, 1999
PHYSICAL DESCRIPTION
Specific Material Designation and Extent of Item
xi, [379] p
Other Physical Details
:ill
SERIES
Series Title
Lecture notes in computer science
Volume Designation
; 1641
INTERNAL BIBLIOGRAPHIES/INDEXES NOTE
Text of Note
Index
Text of Note
Bibliography
TOPICAL NAME USED AS SUBJECT
Formal methods (Computer science) -- Congresses.
روشهای صوری (کامپیوتر) -- کنگره ها
LIBRARY OF CONGRESS CLASSIFICATION
E-Book
,
PERSONAL NAME - ALTERNATIVE RESPONSIBILITY
Hutter, Dieter.
CORPORATE BODY NAME - PRIMARY RESPONSIBILITY
International Workshop on Current Trends in Applied Formal Methods (1998 : Boppard, Germany)
ORIGINATING SOURCE
Country
ایران
ELECTRONIC LOCATION AND ACCESS
Date and Hour of Consultation and Access
3540664629.pdf
p
BL
279177
1
a
N
