KORSO : methods, languages, and tools for the construction of correct software : final report

>> Amazon.co.jp

このページのQRコード

KORSO : methods, languages, and tools for the construction of correct software : final report

種類:

図書

責任表示:

Manfred Broy, Stefan Jähnichen (eds.)

出版情報:

Berlin ; New York : Springer, c1995

著者名:

シリーズ名:

Lecture notes in computer science ; 1009 <BA00009279>

ISBN:

9783540605898 [3540605894]

注記:

Includes bibliographical references

所蔵情報

子書誌情報

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

詳細

主題:	Computer software--Development
分類・件名:	LCC : QA76.76.D47 DDC : 005.1 NDC9 : 007.63 LCSH : Computer software -- Development
LCCN:	95045669
TTLL:	eng
言語:	英語
形態:	x, 449 p. : ill. ; 24 cm
書誌ID:	BA26362146

内容紹介

目次情報

類似資料:

1

2

3

4

5

6

7

8

9

10

11

12

1 電子ブック KORSO: Methods, Languages, and Tools for the Construction of Correct Software : Final Report Broy, Manfred, Jähnichen, Stefan, SpringerLink (Online service) Springer-Verlag	7 図書 Formal program development : IFIP TC 2/WG 2.1 state of the art report Möller, Bernhard, 1953-, Partsch, Helmut A., 1950-, Schuman, Steve, 1950-, IFIP TC 2/WG 2.1 Springer-Verlag
2 電子ブック KORSO: Methods, Languages, and Tools for the Construction of Correct Software : Final Report Broy, Manfred., Jähnichen, Stefan., SpringerLink (Online service) Springer Berlin Heidelberg : Imprint: Springer	8 図書 Formal specification and design Feijs, L. M. G. (Loe M. G.), Jonkers, H. B. M. Cambridge University Press
3 図書 Software development : manual for the planning, realization, and installation of DP systems End, Wolfgang, Gotthardt, Horst, Winkelmann, Rolf Wiley	9 図書 Compiler construction : 8th International Conference, CC'99, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS'99, … International Workshop on Compiler Construction CC, Jähnichen, Stefan Springer-Verlag
4 図書 The programming and proof systems ATES : advanced techniques integration into efficient scientific software Puccetti, A. (Armand), 1961- Springer-Verlag	10 図書 Programming and mathematical method Broy, M., 1949- Springer-Verlag
5 図書 Formal methods fact file : VDM and Z Harry, Andrew Wiley	11 図書 Program construction : international summer school Bauer, Friedrich Ludwig, 1924-, Broy, M., 1949-, North Atlantic Treaty Organization. Scientific Affairs Division Springer-Verlag
6 図書 Program development by specification and transformation : the PROSPECTRA methodology, language family, and system Hoffmann, Berthold, 1953-, Krieg-Brückner, B. (Bernd) Springer-Verlag	12 図書 Methods of programming : selected papers on the CIP-project Broy, M., 1949-, Wirsing, M. (Martin) Springer-Verlag