Formal systems specification : the RPC-Memory specification case study | 東京科学大学図書館　蔵書検索（大岡山図書館、すずかけ台図書館）

>> Google Books

所蔵情報QRコード

Formal systems specification : the RPC-Memory specification case study / Manfred Broy, Stephan Merz, Katharina Spies (eds.)

資料種別:

図書

出版情報:

Berlin : Springer, c1996

形態:

xxiii, 540 p. ; 24 cm

シリーズ名:

Lecture notes in computer science ; 1169 <BA00009279>

著者名:

ISBN:

9783540619840 [3540619844]

書誌ID:

BA2898298X

子書誌情報

フルテキスト

Loading contents information

所蔵情報

Loading availability information

他の版・巻

書誌詳細

注記:	Includes bibliographical references
言語:	英語

ブックレビュー

Loading review information

類似資料:

1 電子ブック Formal Systems Specification : The RPC-Memory Specification Case Study Broy, Manfred., Merz, Stephan., Spies, Katharina., SpringerLink (Online service)	7 図書 Formal methods in programming and their applications : International Conference, Academgorodok, Novosibirsk, Russia, June 28-July 2, 1993 : proceedings (: gw ; : us) Bjørner, D. (Dines), 1937-, Broy, M., 1949-, Pottosin, I. V. Springer-Verlag
2 電子ブック Formal Systems Specification Broy, Broy, M., Merz, Stephan, Spies, Katharina SpringerLink Books - AutoHoldings, Springer Berlin Heidelberg	8 図書 Programming and mathematical method (: gw ; : us) Broy, M., 1949- Springer-Verlag
3 電子ブック Integrated Formal Methods M?ry, Dominique, Kanade, Takeo, Merz, Stephan Springer eBooks Computer Science, Springer Berlin Heidelberg	9 図書 Requirements targeting software and systems engineering : International Workshop RTSE'97, Bernried, Germany, October 12-14, 1997 : proceedings International Workshop RTSE, Broy, M., 1949-, Rumpe, Bernhard Springer
4 図書 Calculational system design (: IOS Press ; : Ohmsha) Broy, M., 1949-, Steinbrüggen, Ralf IOS Press	10 電子ブック Interactive Theorem Proving Blanchette, Jasmin Christian;Merz, Stephan, Merz, Stephan Springer eBooks Computer Science, Springer International Publishing
5 電子ブック Formal Methods and Software Engineering Merz Springer eBooks Computer Science, Springer International Publishing	11 電子ブック Interactive Theorem Proving Blanchette, Jasmin Christian;Merz, Stephan, Merz, Stephan SpringerLink Books - AutoHoldings, Springer International Publishing
6 電子ブック Integrated Formal Methods Méry, Dominique, Kanade, Takeo, Merz, Stephan, Kittler, Josef SpringerLink Books - AutoHoldings, Springer Berlin Heidelberg	12 電子ブック Temporal Logic and State Systems Kr?ger, Fred, Brauer, Wilfried, Hromkovic, Juraj, Merz, Stephan Springer eBooks Computer Science, Springer Berlin Heidelberg

1

2

3

4

5

6

7

8

9

10

11

12