>> Google Books
QRコード(所蔵情報)

Engineering theories of software construction

フォーマット:
図書
責任表示:
edited by Tony Hoare, Manfred Broy and Ralf Steinbrüggen
言語:
英語
出版情報:
Amsterdam ; Tokyo : IOS Press, c2001
形態:
ix, 357 p. : ill., port. ; 25 cm
著者名:
シリーズ名:
NATO science series ; Series 3 . Computer and Systems sciences (ISSN 1387-6694) ; v. 180 <BA42835282>
書誌ID:
BA52348299
ISBN:
9781586031725 [1586031724] (: IOS Press)  CiNii Books  Webcat Plus  Google Books
9784274904356 [4274904350] (: Ohmsha)  CiNii Books  Webcat Plus  Google Books
子書誌情報
Loading
所蔵情報
Loading availability information
タイトル・著者・出版者が同じ資料

類似資料:

1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12
 
1 電子ブック Engineering Theories of Software Intensive Systems

NATO Advanced Study Institute on Engineering Theories of Software Intensive Systems, Broy, M., Broy, Manfred, &hellip;

Springer Netherlands
7 図書 Systems and software verification : model-checking techniques and tools

Bérard, Béatrice

Springer
2 電子ブック KORSO: Methods, Languages, and Tools for the Construction of Correct Software

Broy, Broy, M., Jähnichen, Stefan

Springer Berlin Heidelberg
8 電子ブック Fundamental Approaches to Software Engineering

FASE 2002, Kutsche, Ralf-Detlef, Weber, Herbert

Springer Berlin Heidelberg
3 電子ブック Requirements Targeting Software and Systems Engineering

International Workshop RTSE '97, Broy, M., Rumpe, Bernhard

Springer Berlin Heidelberg
9 図書 Behavioral intervals in embedded software : timing and power analysis of embedded real-time software processes

Wolf, Fabian

Kluwer Academic
4 図書 Integration of software specification techniques for applications in engineering : priority program SoftSpez of the German Research Foundation (DFG) : final …

Deutsche Forschungsgemeinschaft, Ehrig, Hartmut, Damm, Werner, Desel, Jörg, Groβe-Rhode, Martin, Reif, Wolfgang, &hellip;

Springer
10 図書 Microcomputer decision support systems : design, implementation, and evaluation

Andriole, Stephen J., 1949-

QED Information Sciences, Distributed outside the U.S.A. and Canada by North-Holland
5 図書 Specification and development of interactive systems : focus on streams,interfaces, and refinement

Broy, M., 1949-, Stølen, Ketil

Springer
11 図書 The proceedings of the Working Conference on Picture Engineering, September 8-10, 1981 at IBM Amagi Homestead

Working Conference on Picture Engineering, IBM Japan. Academic & Scientific Programs

IBM Japan
6 図書 Symbolic model checking for large software specifications

Chan, Woon Chung

UMI Dissertaion Services
12 図書 遊びの探索

Dewdney, Alexander Keewatin, 山崎, 秀記(1949-)

日経サイエンス