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

ZB 2003 : Formal Specification and Development in Z and B : 3rd International Conference of B and Z Users, Turku, Finland, June 4-6, 2003 : proceedings

種類:
図書
責任表示:
Didier Bert ... [et al.] (eds.)
出版情報:
Berlin : Springer, c2003
著者名:
シリーズ名:
Lecture notes in computer science ; 2651 <BA00009279>
ISBN:
9783540402534 [3540402535]  CiNii Books  Calil
注記:
Includes bibliographies and index
所蔵情報
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

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

Springer
7 図書 Monoclonal antibodies and developments in immunoassay : proceedings of the 3rd International Conference on Radioimmunoassay, held in Gardone Riviera, Italy, May …

International Conference on Radioimmunoassay, Albertini, Alberto, Ekins, Roger

Elsevier/North-Holland Biomedical Press
2 電子ブック 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-Verlag
8 図書 Proceedings of the 1rd International Conference on Automated Guided Vehicle Systems : 2-4 June 1981, Stratford-upon-Avon, UK

International Conference on Automated Guided Vehicle Systems

IFS (Publications)
3 電子ブック 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
9 図書 Just in time manufacturing : proceedings of the 3rd international conference 14-15 June 1988, Frankfurt, W. Germany

International Conference on Just-in-time Manufacturing, Jansen, Rolf, Warnecke, H. J. (Hans-Jürgen), 1934-

IFS Publications, Springer-Verlag
4 図書 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 &hellip;

Springer
10 図書 Computer assisted learning : 3rd International Conference, ICCAL '90, Hagen, FRG, June 11-13, 1990, proceedings

Norrie, D. H. (Douglas H.), 1929-, International Conference on Computer Assisted Learning, Six, H.-W. (Hans-Werner), &hellip;

Springer-Verlag
5 図書 B'98 : recent advances in the development and use of the B method : second International B Conference, Montpellier, France, April 22-24, 1998, proceedings

International B Conference, Bert, Didier

Springer
11 電子ブック Computer Assisted Learning : 3rd International Conference, ICCAL '90 Hagen, FRG, June 11–13, 1990 Proceedings

Norrie, Douglas H., Six, Hans-Werner, SpringerLink (Online service)

Springer-Verlag
6 電子ブック Exploring the Abyss of Inequalities : 4th International Conference on Well-Being in the Information Society, WIS 2012, Turku, Finland, August 22-24, 2012. …

Eriksson-Backa, Kristina., Luoma, Annika., Krook, Erica., SpringerLink (Online service)

Springer Berlin Heidelberg : Imprint: Springer
12 電子ブック Computer Assisted Learning : 3rd International Conference, ICCAL '90, Hagen, FRG, June 11-13, 1990, Proceedings

Norrie, Douglas H., Six, Hans-Werner., SpringerLink (Online service)

Springer Berlin Heidelberg : Imprint: Springer