VDM '87 : VDM, a formal method at work : VDM-Europe symposium 1987, Brussels, Belgium, March 23-26, 1987 : proceedings

>> Google Books

QRコード(所蔵情報)

VDM '87 : VDM, a formal method at work : VDM-Europe symposium 1987, Brussels, Belgium, March 23-26, 1987 : proceedings

フォーマット:

図書

責任表示:

edited by D. Bjørner ... [et al.]

言語:

英語

出版情報:

Berlin ; Tokyo : Springer-Verlag, c1987

形態:

ix, 422 p. ; 25 cm

著者名:

シリーズ名:

Lecture notes in computer science ; 252 <BA00009279>

書誌ID:

BA00453483

ISBN:

9783540176541 [3540176543] (: gw)

9780387176543 [0387176543] (: us)

子書誌情報

所蔵情報

タイトル・著者・出版者が同じ資料

詳細

その他の標題:	VDM, a formal method at work
主題:	Computer software industry--European Community countries--Congresses; Computer software--Development--Congresses
分類・件名:	LCC : QA76.76.D47 DDC : 005.1 NDC8 : 007.6 LCSH : Computer software -- Development -- Congresses LCSH : Computer software industry -- European Community countries -- Congresses
LCCN:	87004717
注記:	Includes bibliographies
TTLL:	eng

類似資料:

1

2

3

4

5

6

7

8

9

10

11

12

1 電子ブック VDM '87 VDM — A Formal Method at Work Bjørner Springer Berlin Heidelberg	7 図書 Embedded software : First International Workshop, EMSOFT 2001, Tahoe City, CA, USA, October 8-10, 2001 : proceedings EMSOFT, Henzinger, T. A. (Thomas A.), Kirsch, Christoph M., 1968- Springer
2 電子ブック VDM '90 VDM and Z — Formal Methods in Software Development Bjørner Springer Berlin Heidelberg	8 図書 Embedded software : Second International Conference, EMSOFT 2002, Grenoble, France, October 7-9, 2002 : proceedings EMSOFT, Sangiovanni-Vincentelli, Alberto, Sifakis, Joseph, 1946- Springer
3 電子ブック Formal Methods in Programming and Their Applications Bjørner, Bjørner, Dines, Broy, M., Pottosin, I. V. Springer Berlin Heidelberg	9 図書《UML》 2001 - the Unified Modeling Language : modeling languages, concepts, and tools : 4th International Conference, Toronto, Canada, October 1-5, 2001 : … UML, Gogolla, Martin, 1954-, Kobryn, Cris, 1952- Springer
4 電子ブック Towards a Formal Description of Ada Bjorner, Bjørner, Dines, Oest, O. N. Springer Berlin Heidelberg	10 図書《UML》 2002 - the Unified Modeling Language : model engineering, concepts, and tools : 5th International Conference, Dresden, Germany, September 30 - October … UML, Jézéquel, Jean-Marc, 1964-, Hussmann, Heinrich, Cook, Stephen, 1948- Springer
5 図書《UML》 2004 - the Unified Modeling Language : modeling languages and applications : 7th International Conference, Lisbon, Portugal, October 11-15, 2004 : … UML, Baar, Thomas, Strohmeier, Alfred, Moreira, Ana M. D., Mellor, Stephen J. Springer	11 電子ブック VDM'91 Formal Software Development Methods Prehn Springer Berlin Heidelberg
6 図書 Tools and algorithms for the construction and analysis of systems : 9th International Conference, TACAS 2003, held as part of the Joint European Conferences on … TACAS, European Conferences on Theory and Practice of Software, Garavel, Hubert, Hatcliff, John, 1966- Springer	12 電子ブック VDM '91 Formal Software Development Methods Prehn Springer Berlin Heidelberg