عنوان
پدید آورنده
موضوع
رده
QA76 .9 .T33 2010 E-Book ,
QA76
.
9
.
T33
2010
E-Book
,
کتابخانه
محل استقرار
INTERNATIONAL STANDARD BOOK NUMBER
(Number (ISBN
:9783662466803
NATIONAL BIBLIOGRAPHY NUMBER
Number
13586
LANGUAGE OF THE ITEM
.Language of Text, Soundtrack etc
انگلیسی
TITLE AND STATEMENT OF RESPONSIBILITY
Title Proper
Tools and Algorithms for the Construction and Analysis of Systems
General Material Designation
[electronic resources]
Other Title Information
: 21st International Conference, TACAS 2015 Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015 London, UK, April 11–18, 2015 Proceedings ABC
First Statement of Responsibility
\ Christel Baier, Cesare Tinelli (eds.)
.PUBLICATION, DISTRIBUTION, ETC
Place of Publication, Distribution, etc.
Heidelberg
Name of Publisher, Distributor, etc.
: Springer
Date of Publication, Distribution, etc.
, 2015
PHYSICAL DESCRIPTION
Specific Material Designation and Extent of Item
xviii, 725 p.
SERIES
Series Title
Lecture notes in computer science
Volume Designation
; 9035
INTERNAL BIBLIOGRAPHIES/INDEXES NOTE
Text of Note
Bibliography
Text of Note
Index
TOPICAL NAME USED AS SUBJECT
System design -- Congresses.
Computer software -- Verification -- Congresses.
System analysis -- Congresses.
طراحی سیستم -- کنگرهها
نرمافزار -- راستیآزمایی -- کنگره ها
LIBRARY OF CONGRESS CLASSIFICATION
Class number
QA76
.
9
Book number
.
T33
2010
E-Book
,
PERSONAL NAME - ALTERNATIVE RESPONSIBILITY
Baier, Christel
Tinelli, Cesare
CORPORATE BODY NAME - PRIMARY RESPONSIBILITY
TACAS (Conference) (21st : 2015 : London, England)
ETAPS (Conference) (18th : 2015 : London, England)
ORIGINATING SOURCE
Country
ایران
Date of Transaction
20170216
ELECTRONIC LOCATION AND ACCESS
Date and Hour of Consultation and Access
9783662466803.pdf
p
BL
279177
1
a
N
