Formal methods and software development : Colloquium on Software Engineering (CSE)

>> Google Books

所蔵情報QRコード

Formal methods and software development : Colloquium on Software Engineering (CSE) / edited by Hartmut Ehrig ... [et al.]

資料種別:

図書

出版情報:

Berlin ; Tokyo : Springer-Verlag, 1985

形態:

xiv, 455 p. ; 25 cm

シリーズ名:

Lecture notes in computer science ; 186 . Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT), Berlin, March 25-29, 1985 ; v. 2 <BA00009279>

著者名:

ISBN:

9783540151999 [3540151990] (: gw)
9780387151991 [0387151990] (: us)

書誌ID:

BA00492168

子書誌情報

フルテキスト

所蔵情報

他の版・巻

書誌詳細

注記:	Includes index
主題:	プログラミング(電子計算機)
言語:	英語

東工大ブックレビュー

類似資料:

1 電子ブック Formal Methods and Software Development. Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT), Berlin, … Ehrig, Hartmut., Floyd, Christiane., Nivat, Maurice., Thatcher, James., SpringerLink (Online service)	7 電子ブック Formal Methods in Software and Systems Modeling Hutchison, David, Ehrig, Hartmut, Kanade, Takeo, Kreowski, Hans-J?rg, Montanari, Ugo, Orejas, Fernando, Rozenberg, … Springer eBooks Computer Science, Springer Berlin / Heidelberg
2 電子ブック Mathematical Foundations of Software Development. Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT), … Ehrig, Hartmut., Floyd, Christiane., Nivat, Maurice., Thatcher, James., SpringerLink (Online service)	8 電子ブック Formal Methods in Software and Systems Modeling Hutchison, David, Ehrig, Hartmut, Kanade, Takeo, Kreowski, Hans-Jörg, Montanari, Ugo, Orejas, Fernando, Rozenberg, … SpringerLink Books - AutoHoldings, Springer Berlin / Heidelberg
3 電子ブック TAPSOFT '87: Proceedings of the International Joint Conference on Theory and Practice of Software Development, Pisa, Italy, March 1987 : Volume 1: Advanced … Ehrig, Hartmut., Kowalski, Robert., Levi, Giorgio., Montanari, Ugo., SpringerLink (Online service)	9 電子ブック Mathematical Foundations of Software Development Ehrig SpringerLink Books - AutoHoldings, Springer Berlin Heidelberg
4 電子ブック Formal Methods and Software Development Ehrig SpringerLink Books - AutoHoldings, Springer Berlin Heidelberg	10 図書 Algebraic specification techniques and tools for software development : the ACT approach Claßen, Ingo, Ehrig, Hartmut, Wolz, Dietmar World Scientific
5 電子ブック TAPSOFT '87: Proceedings of the International Joint Conference on Theory and Practice of Software Development, Pisa, Italy, March 23 - 27 1987 : Volume 2: … Ehrig, Hartmut., Kowalski, Robert A., Levi, Giorgio., Montanari, Ugo., SpringerLink (Online service)	11 電子ジャーナル International Conference on Software Engineering and Formal Methods (SEFM) IEEE Electronic Library (IEL) Conference Series, IEEE
6 図書 Mathematical foundations of software development : Colloquium on Trees in Algebra and Programming (CAAP '85) (: gw ; : us) International Joint Conference on Theory and Practice of Software Development, Colloquium on Trees in Algebra and … Springer-Verlag	12 図書 Advanced Seminar on Foundations of Innovative Software Development I and Colloquium on Trees in Algebra and Programming (CAAP '87) (: gw ; : us) International Joint Conference on Theory and Practice of Software Development, Ehrig, Hartmut, Advanced Seminar on … Springer-Verlag

1

2

3

4

5

6

7

8

9

10

11

12