>> Amazon.co.jp
このページのQRコード

ZUM '95: The Z Formal Specification Notation : 9th International Conference of Z Users Limerick, Ireland, September 7–9, 1995 Proceedings

種類:
電子ブック
責任表示:
edited by Jonathan P. Bowen, Michael G. Hinchey
出版情報:
Berlin, Heidelberg : Springer-Verlag, 1995
著者名:
シリーズ名:
Lecture Notes in Computer Science ; 967
ISBN:
9783540447825 [3540447822]  CiNii Books  Calil
ローカル注記:
岐阜大学構成員専用E-BOOKS (Gifu University members only)
オンライン
http://dx.doi.org/10.1007/3-540-60271-2
所蔵情報
Loading availability information
子書誌情報
Loading
タイトルが類似している資料

類似資料:

1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12
 
1 電子ブック ZUM '95: The Z Formal Specification Notation : 9th International Conference of Z Users, Limerick, Ireland, September 7 - 9, 1995. Proceedings

Bowen, Jonathan P., Hinchey, Michael G., SpringerLink (Online service)

Springer Berlin Heidelberg : Imprint: Springer
7 電子ブック Attribute Grammars and their Applications : International Conference WAGA Paris, France, September 19–21, 1990 Proceedings

Deransart, P., Jourdan, M., SpringerLink (Online service)

Springer-Verlag
2 図書 ZUM '95 : the Z formal specification notation : 9th International Conference of Z Users, Limerick, Ireland, September 7-9, 1995 : proceedings

International Conference of Z Users, Bowen, J. P. (Jonathan Peter), 1956-, Hinchey, Michael G. (Michael Gerard), 1969-

Springer
8 図書 ZUM '98 : the Z formal specification notation : 11th International Conference of Z Users, Berlin, Germany, September 24-26, 1998 : proceedings

International Conference of Z Users, Bowen, J. P. (Jonathan Peter), 1956-, Fett, Andreas, Hinchey, Michael G. (Michael …

Springer
3 電子ブック Formal Program Development : IFIP TC2/WG 2.1 State-of-the-Art Report

Möller, Bernhard, Partsch, Helmut, Schuman, Steve, SpringerLink (Online service)

Springer-Verlag
9 電子ブック Rewriting Techniques and Applications : 6th International Conference, RTA-95 Kaiserslautern, Germany, April 5–7, 1995 Proceedings

Hsiang, Jieh, SpringerLink (Online service)

Springer-Verlag
4 電子ブック Programming Languages: Implementations, Logics and Programs : 7th International Symposium, PLILP '95 Utrecht, The Netherlands, September 20–22, 1995 Proceedings

Hermenegildo, Manuel, Swierstra, S. Doaitse, SpringerLink (Online service)

Springer-Verlag
10 電子ブック TAPSOFT'93: Theory and Practice of Software Development : 4th International Joint Conference CAAP/FASE Orsay, France, April 13–17, 1993 Proceedings

Gaudel, M. -C, Jouannaud, J. -P, SpringerLink (Online service)

Springer-Verlag
5 電子ブック Mathematics of Program Construction : Third International Conference, MPC '95 Kloster Irsee, Germany, July 17–21, 1995 Proceedings

Möller, Bernhard, SpringerLink (Online service)

Springer-Verlag
11 電子ブック Formal Methods in Programming and Their Applications : International Conference Academgorodok, Novosibirsk, Russia June 28 – July 2, 1993 Proceedings

Bjørner, Dines, Broy, Manfred, Pottosin, Igor V., SpringerLink (Online service)

Springer-Verlag
6 電子ブック Mathematics of Program Construction : Second International Conference, Oxford, U.K., June 29 – July 3, 1992 Proceedings

Bird, R. S., Morgan, C. C., Woodcock, J. C. P., SpringerLink (Online service)

Springer-Verlag
12 電子ブック OOER '95: Object-Oriented and Entity-Relationship Modeling : 14th International Conference Gold Coast, Australia, December 13–15, 1995 Proceedings

Papazoglou, Michael P., SpringerLink (Online service)

Springer-Verlag