عنوان
پدید آورنده
موضوع
رده
QA76.9.S88 T33 2010
QA76
.
9
.
S88
T33
2010
کتابخانه
محل استقرار
INTERNATIONAL STANDARD BOOK NUMBER
(Number (ISBN
3642120024
(Number (ISBN
9783642120022
NATIONAL BIBLIOGRAPHY NUMBER
Number
b433983
TITLE AND STATEMENT OF RESPONSIBILITY
Title Proper
Tools and algorithms for the construction and analysis of systems :
General Material Designation
[Book]
Other Title Information
16th International Conference, TACAS 2010, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010 ; proceedings /
First Statement of Responsibility
Javier Esparza, Rupak Majumdar (editions.)
PHYSICAL DESCRIPTION
Specific Material Designation and Extent of Item
1 online resource (xvi, 468 pages) :
Other Physical Details
illustrations
SERIES
Series Title
Advanced research in computing and software science
Series Title
Lecture notes in computer science,
Series Title
LNCS sublibrary. SL 1, Theoretical computer science and general issues
Volume Designation
6015
ISSN of Series
0302-9743 ;
INTERNAL BIBLIOGRAPHIES/INDEXES NOTE
Text of Note
Includes bibliographical references and author index
SUMMARY OR ABSTRACT
Text of Note
This book constitutes the refereed proceedings of the 16th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2010, held in Paphos, Cyprus, in March 2010, as part of ETAPS 2010, the European Joint Conferences on Theory and Practice of Software. The 35 papers presented were carefully reviewed and selected from 134 submissions. The topics covered are probabilistic systems and optimization, decision procedures, tools, automata theory, liveness, software verification, real time and information flow, and testing
ACQUISITION INFORMATION NOTE
Source for Acquisition/Subscription Address
Springer
Stock Number
978-3-642-12001-5
OTHER EDITION IN ANOTHER MEDIUM
Title
Tools and algorithms for the construction and analysis of systems.
International Standard Book Number
3642120016
TOPICAL NAME USED AS SUBJECT
System analysis, Congresses
System design, Congresses
Computer Systems.
Software Validation.
Systems Analysis.
(SUBJECT CATEGORY (Provisional
QA
DEWEY DECIMAL CLASSIFICATION
Number
004
.
2/1
Edition
22
LIBRARY OF CONGRESS CLASSIFICATION
Class number
QA76
.
9
.
S88
Book number
T33
2010
OTHER CLASS NUMBERS
Class number
QA
76
.
9
.
S88
PERSONAL NAME - ALTERNATIVE RESPONSIBILITY
Esparza, Javier
Majumdar, Rupak
CORPORATE BODY NAME - PRIMARY RESPONSIBILITY
TACAS (Conference)(16th :2010 :, Paphos, Cyprus)
ORIGINATING SOURCE
Date of Transaction
20170726082009.0
Cataloguing Rules (Descriptive Conventions))
pn
ELECTRONIC LOCATION AND ACCESS
Electronic name
مطالعه متن کتاب [Book]
Y
