Principles of program analysis

>> Amazon.co.jp

このページのQRコード

Principles of program analysis

種類:

図書

責任表示:

Flemming Nielson , Hanne Riis Nielson , Chris Hankin

出版情報:

Berlin ; Tokyo : Springer-Verlag, c1999

著者名:

ISBN:

9783540654100 [3540654100]

注記:

with 56 figures and 51 tables
Includes bibliographical references and index

所蔵情報

子書誌情報

タイトルが類似している資料

詳細

主題:	システム分析．システム設計
分類・件名:	NDC9 : 007.61
TTLL:	eng
言語:	英語
形態:	xxi, 450 p. : ill. ; 25 cm
書誌ID:	BA44128854

内容紹介

目次情報

類似資料:

1

2

3

4

5

6

7

8

9

10

11

12

1 図書 Two-level functional languages Nielson, Flemming, 1955-, Nielson, Hanne Riis, 1954- Cambridge University Press	7 図書 Programming languages and systems : 7th European Symposium on Programming, ESOP '98, held as part of Joint European Conferences on Theory and Practice of … European Symposium on Programming, Hankin, Chris Springer-Verlag
2 図書 Programming languages and systems -- ESOP '96 : 6th European Symposium on Programming, Linköping, Sweden, April 22-24, 1996 : proceedings European Symposium on Programming, Nielson, Hanne Riis, 1954- Springer-Verlag	8 図書 The Eleventh Annual International Symposium : Fault-Tolerant Computing : digest of papers : FTCS-11, June 24-26, 1981 Portland International Symposium on Fault-Tolerant Computing Systems, IEEE Computer Society. Technical Committee on … IEEE Computer Society
3 電子ブック Programming Languages and Systems — ESOP '96 : 6th European Symposium on Programming Linköping, Sweden, April 22–24, 1996 Proceedings Nielson, Hanne Riis, SpringerLink (Online service) Springer-Verlag	9 図書 The Ninth Annual International Symposium on Fault-Tolerant Computing Madison , Wisconsin June 20-22, 1979 : FTCS 9 : digest of papers International Symposium on Fault-Tolerant Computing Systems IEEE
4 図書 ML with concurrency : design, analysis, implementation, and application Nielson, Flemming, 1955- Springer	10 図書 13th Annual International Symposium : Fault-Tolerant Computing : digest of papers : FTCS-13, June 28-30, 1983 Palazzo Ex-Stelline, Milano, Italy International Symposium on Fault-Tolerant Computing Systems, IEEE Computer Society. Technical Committee on … IEEE Computer Society
5 図書 Coloured petri nets : basic concepts, analysis methods and practical use Jensen, K. (Kurt), 1950- Springer	11 図書 The seventh Annual International Conference on Fault-Tolerant Computing : FTCS 7, Los Angeles, 1977 IEEE Computer Society, International Symposium on Fault-Tolerant Computing Systems IEEE
6 電子ブック Programming Languages and Systems - ESOP '96 : 6th European Symposium on Programming, Linköping, Sweden, April, 22 - 24, 1996. Proceedings Nielson, Hanne R., SpringerLink (Online service) Springer Berlin Heidelberg : Imprint: Springer	12 図書 The eighth Annual International Conference on Fault-Tolerant Computing : FTCS 8, Toulouse, France, June 21-23, 1978 : digest of papers IEEE Computer Society, International Symposium on Fault-Tolerant Computing Systems IEEE