Reliable software technologies--Ada-Europe 2014 : 19th Ada-Europe international conference on reliable software technologies : Paris, France, June 23-27, 2014 : proceedings : Jun 2014, Paris, France. (Lecture Notes in Computer Science ; 8454)

Reliable software technologies--Ada-Europe 2014 : 19th Ada-Europe international conference on reliable software technologies : Paris, France, June 23-27, 2014 : proceedings : Jun 2014, Paris, France.

(Lecture Notes in Computer Science ; 8454)

Call No. (NDL): M17-15-752
Bibliographic ID of National Diet Library: 026147300

Material type: 図書

Author: Ada-Europe International Conference on Reliable Software Technologies (19th : 2014 : Paris, France)ほか

Publisher: Springer

Publication date: [2014]

Material Format: Paper

Capacity, size, etc.: xiv, 192 pages ; 24 cm.

NDC: -

View All

Notes on use

Note (General)：: Papers."In building the program, the orgainzers had to choose ... 16 for tutorials, and three for workshops. Out of this healthy batch of material, te...

Other physical details：: illustrations

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: 9783319083100
3319083104
ISBN (error code): 9783319083117 (electronic bk.)
3319083112 (electronic bk.)
ISSN (series): 0302-9743
Title: Reliable software technologies--Ada-Europe 2014 : 19th Ada-Europe international conference on reliable software technologies : Paris, France, June 23-27, 2014 : proceedings : Jun 2014, Paris, France.
Series Title: Lecture Notes in Computer Science ; 8454
Title Heading: Lecture notes in computer science ; 8454.
LNCS sublibrary. SL 2, Programming and software engineering.
Author Heading: Ada-Europe International Conference on Reliable Software Technologies (19th : 2014 : Paris, France)
George, Laurent.
Vardanega, T. (Tullio)
ECE. École d'Ingénieurs.
Publication, Distribution, etc.: Cham : Springer (出版)
Publication Date (W3CDTF): 2014
Extent: xiv, 192 pages
Other physical details: illustrations
Size: 24 cm.
Place of Publication (Country Code): CH
Text Language Code: eng
Genre/Form Terms: Conference proceedings.
Content Type: text
Media Type: unmediated
Carrier Type: volume
Subject Heading: Computer software--Reliability--Congresses.
Computer software--Development--Congresses.
Computer software--Development.
Computer software--Reliability.
NDLC: M17
Target Audience: 一般
Note (General): Papers.
"In building the program, the orgainzers had to choose ... 16 for tutorials, and three for workshops. Out of this healthy batch of material, ten tutorials for the equivalent of 12 half-day sessions were scheduled on Monday and Friday, together with two full-day workshops on themes ..."--Preface.
Note (Bibliography): Includes bibliographical references and author index.
Holding library: 国立国会図書館
Call No.: M17-15-752
Data Provider (Database): 国立国会図書館 : 国立国会図書館蔵書
https://ndlsearch.ndl.go.jp
Bibliographic ID (NDL): 026147300
http://id.ndl.go.jp/bib/026147300
OCLC No.: 894832694
https://www.worldcat.org/oclc/894832694
Cataloging Rule: RDA
Bibliographic Record Category (NDL): 215