Tools and algorithms for the construction and analysis of systems : 17th international conference, TACAS 2011 : held as part of the joint European conferences on theory and practice of software, ETAPS 2011 : Saarbrucken, Germany, March 26-April 3, 2011 : proceedings. : TACAS forum : Mar 2011, Saarbrucken, Germany. (Lecture Notes in Computer Science ; 6605. Advanced Research in Computing and Software Science)

Tools and algorithms for the construction and analysis of systems : 17th international conference, TACAS 2011 : held as part of the joint European conferences on theory and practice of software, ETAPS 2011 : Saarbrucken, Germany, March 26-April 3, 2011 : proceedings. : TACAS forum : Mar 2011, Saarbrucken, Germany.

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

Call No. (NDL): M17-11-2300
Bibliographic ID of National Diet Library: 000011202049

Material type: 図書

Author: Universitat des Saarlandes.

Publisher: Springer

Publication date: c2011.

Material Format: Paper

Capacity, size, etc.: xvi, 394 p. : ill. ; 24 cm.

NDC: -

View All

Notes on use

Note (General)：: Papers."ARCoSS" -- cover."ETAPS 2011 was the 14th instance of the European Joint Conferences on Theory and Practice of Software. ETAPS is an annual fe...

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: 9783642198342 (pbk.)
9783642198359 (e-ISBN)
ISSN: 1611-3349 (e-ISSN)
ISSN (series): 0302-9743
Title: Tools and algorithms for the construction and analysis of systems : 17th international conference, TACAS 2011 : held as part of the joint European conferences on theory and practice of software, ETAPS 2011 : Saarbrucken, Germany, March 26-April 3, 2011 : proceedings. : TACAS forum : Mar 2011, Saarbrucken, Germany.
Series Title: Lecture Notes in Computer Science ; 6605. Advanced Research in Computing and Software Science
Title Heading: Lecture notes in computer science, 0302-9743 ; 6605.
Advanced research in computing and software science.
Author Heading: Universitat des Saarlandes.
Publication, Distribution, etc.: Berlin : Springer
Publication Date: c2011.
Publication Date (W3CDTF): 2011
Extent: xvi, 394 p. : ill. ; 24 cm.
Alternative Title: European joint conferences on theory and practice of software 2011
Place of Publication (Country Code): DE
Text Language Code: eng
NDLC: M17
Note (General): Papers.
"ARCoSS" -- cover.
"ETAPS 2011 was the 14th instance of the European Joint Conferences on Theory and Practice of Software. ETAPS is an annual federated conference (...) " -- foreword.
"This year it comprised the usual five sister conferences (CC, ESOP, FASE, FOSSACS, TACAS) , (...) and seven invited lectures (...) " -- foreword.
Described as "TACAS 2011 took place in Saarbrucken, Germany, March 28-31, 2011, (...) " -- pref.
Note (Bibliography): Includes bibliographical references and author index.
Holding library: 国立国会図書館
Call No.: M17-11-2300
Data Provider (Database): 国立国会図書館 : 国立国会図書館蔵書
https://ndlsearch.ndl.go.jp
Bibliographic ID (NDL): 000011202049
http://id.ndl.go.jp/bib/000011202049
OCLC No.: 711039048
https://www.worldcat.org/oclc/711039048
Bibliographic Record Category (NDL): 215