ICSE workshop on quantitative stochastic models in the verification and design of software systems 2010 : (QUOVADIS 2010) : held in conjunction with ICSE 2010 : Cape Town, South Africa : 3 May 2010. : 1st workshop on quantitative stochastic models in the verification and design of software systems : May 2010, Cape Town, South Africa.

ICSE workshop on quantitative stochastic models in the verification and design of software systems 2010 : (QUOVADIS 2010) : held in conjunction with ICSE 2010 : Cape Town, South Africa : 3 May 2010. : 1st workshop on quantitative stochastic models in the verification and design of software systems : May 2010, Cape Town, South Africa.

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

Material type: 図書

Author: Ghezzi, Carlo.ほか

Publisher: Association for Computing Machinery

Publication date: c2010.

Material Format: Paper

Capacity, size, etc.: 40 p. : ill. ; 27 cm.

NDC: -

View All

Notes on use

Note (General)：: Papers.

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: 9781617825743
Title: ICSE workshop on quantitative stochastic models in the verification and design of software systems 2010 : (QUOVADIS 2010) : held in conjunction with ICSE 2010 : Cape Town, South Africa : 3 May 2010. : 1st workshop on quantitative stochastic models in the verification and design of software systems : May 2010, Cape Town, South Africa.
Author Heading: Ghezzi, Carlo.
Grunske, Lars.
Mirandola, Raffaela.
ICSE Workshop on Quantitative Stochastic Models in the Verification and Design of Software Systems (2010 : Cape Town, South Africa)
International Conference on Software Engineering (32nd : 2010 : Cape Town, South Africa)
Publication, Distribution, etc.: New York : Association for Computing Machinery
Publication Date: c2010.
Publication Date (W3CDTF): 2010
Extent: 40 p. : ill. ; 27 cm.
Place of Publication (Country Code): US
Text Language Code: eng
Subject Heading: Software engineering -- Congresses.
Stochastic programming -- Congresses.
NDLC: M17
Note (General): Papers.
Note (Bibliography): Includes bibliographical references and author indexes.
Holding library: 国立国会図書館
Call No.: M17-11-2647
Data Provider (Database): 国立国会図書館 : 国立国会図書館蔵書
https://ndlsearch.ndl.go.jp
Bibliographic ID (NDL): 000011210479
http://id.ndl.go.jp/bib/000011210479
OCLC No.: 671610886
https://www.worldcat.org/oclc/671610886
Bibliographic Record Category (NDL): 215