Tools and algorithms for the construction and analysis of systems : 19th international conference, TACAS 2013 : held as part of the European joint conferences on theory and practice of software, ETAPS 2013 : Rome, Italy, March 16-24, 2013 : proceedings : 16th European joint conference on theory and practice of software : Mar 2013, Rome, Italy. (Lecture Notes in Computer Science ; 7795. Advanced Research in Computing and Software Science)

Tools and algorithms for the construction and analysis of systems : 19th international conference, TACAS 2013 : held as part of the European joint conferences on theory and practice of software, ETAPS 2013 : Rome, Italy, March 16-24, 2013 : proceedings : 16th European joint conference on theory and practice of software : Mar 2013, Rome, Italy.

(Lecture Notes in Computer Science ; 7795. Advanced Research in Computing and Software Science)

Call No. (NDL): M17-13-2122
Bibliographic ID of National Diet Library: 024394463

Material type: 図書

Author: TACAS 2013 (2013 : Rome, Italy)ほか

Publisher: Springer

Publication date: c2013.

Material Format: Paper

Capacity, size, etc.: xxiv, 646 p. ; 24 cm.

NDC: -

View All

Notes on use

Note (General)：: An abstract and papers."ETAPS 2013 is the sixteenth instance of the European Joint Conferences on Theory and Practice of Software. ETAPS is an annual ...

Other physical details：: ill.

Search by Bookstore

Bibliographic Record

You can check the details of this material, its authority (keywords that refer to materials on the same subject, author's name, etc.), etc.

Paper

Material Type: 図書
ISBN: 9783642367427 (e-ISBN)
9783642367410
ISSN: 16113349 (e-ISSN)
ISSN (series): 03029743
Title: Tools and algorithms for the construction and analysis of systems : 19th international conference, TACAS 2013 : held as part of the European joint conferences on theory and practice of software, ETAPS 2013 : Rome, Italy, March 16-24, 2013 : proceedings : 16th European joint conference on theory and practice of software : Mar 2013, Rome, Italy.
Series Title: Lecture Notes in Computer Science ; 7795. Advanced Research in Computing and Software Science
Title Heading: Lecture notes in computer science ; 7795.
LNCS sublibrary. SL 1, Theoretical computer science and general issues.
Author Heading: TACAS 2013 (2013 : Rome, Italy)
Piterman, Nir.
Smolka, Scott A.
'Sapienza' University of Rome. Dept. of Computer Science.
ETAPS (Conference) (16th : 2013 : Rome, Italy)
Publication, Distribution, etc.: Berlin : Springer
New York : Springer
Publication Date: c2013.
Publication Date (W3CDTF): 2013
Extent: xxiv, 646 p.
Other physical details: ill.
Size: 24 cm.
Additional Title: ETAPS : European joint conferences on theory & practice of software.
Place of Publication (Country Code): DE
Text Language Code: eng
Subject Heading: System design--Congresses.
Computer software--Verification--Congresses.
System analysis--Congresses.
LCC: QA76.9.S88
DDC: 004.2/1
NDLC: M17
Target Audience: 一般
Note (General): An abstract and papers.
"ETAPS 2013 is the sixteenth instance of the European Joint Conferences on Theory and Practice of Software. ETAPS is an annual federated conference (...)" -- foreword.
"This year it comprised six sister conferences (CC, ESOP, FASE, FOSSACS, POST, TACAS), (...) and eight invited lectures (...)" -- foreword.
Described as "TACAS 2013 took place during March 18-21, 2013, in the eternal city of Rome, Italy." -- pref.
Note (Bibliography): Includes bibliographical references and author index.
Holding library: 国立国会図書館
Call No.: M17-13-2122
Data Provider (Database): 国立国会図書館 : 国立国会図書館蔵書
https://ndlsearch.ndl.go.jp
Bibliographic ID (NDL): 024394463
http://id.ndl.go.jp/bib/024394463
OCLC No.: 839358781
https://www.worldcat.org/oclc/839358781
Cataloging Rule: Anglo-American Cataloging Rules
Bibliographic Record Category (NDL): 215