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

FM '99 - Formal Methods : World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 20-24, 1999 : proceedings

種類:
図書
責任表示:
Jeannette M. Wing, Jim Woodcock, Jim Davies (eds.)
出版情報:
Berlin : Springer, c1999
著者名:
シリーズ名:
Lecture notes in computer science ; 1708,1709 <BA00009279>
ISBN:
9783540665878 [3540665870] (v. 1)  CiNii Books  Calil
9783540665885 [3540665889] (v. 2)  CiNii Books  Calil
注記:
Includes bibliographical references and index
所蔵情報
Loading availability information
子書誌情報
Loading
タイトルが類似している資料

類似資料:

1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12
 
1 図書 High performance computing - HiPC '99 : 6th International Conference, Calcutta, India, December 17-20, 1999 : proceedings

International Conference on High Performance Computing, Banerjee, Prithviraj, Prasanna Kumar, V. K., Sinha, Bhabani P.

Springer
7 図書 CONCUR '99 : concurrency theory : 10th International Conference, Eindhoven, the Netherlands, August 24-27, 1999 : proceedings

International Conference on Concurrency Theory, Baeten, Jos C.M., Mauw, Sjouke

Springer
2 図書 Static analysis : 6th International Symposium, SAS'99, Venice, Italy, September 22-24, 1999 : proceedings

SAS, Cortesi, Agostino, Filé, Gilberto

Springer
8 図書 Recent trends in algebraic development techniques : 14th International Workshop, WADT'99, Château de Bonas, September 15-18, 1999 : selected papers

Bert, Didier, Choppy, C. (Christine), Mosses, Peter, International Workshop on Algebraic Development Techniques

Springer
3 図書 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
9 図書 Parallel computing technologies : 6th International Conference, PaCT-2001, Novosibirsk, Russia, September 3-7, 2001 : proceedings

International Conference on Parallel Computing Technologies, Malyshkin, V. Ė. (Viktor Ėmmanuilovich)

Springer
4 図書 Distributed computing : 12th International Symposium, DISC '98, Andros, Greece, September 24-26, 1998 : proceedings

DISC, Kutten, Shay

Springer
10 図書 Perspectives of system informatics : third International Andrei Ershov Memorial Conference, PSI '99, Akademgorodok, Novosibirsk, Russia, July 6-9, 1999 : …

International Andrei Ershov Memorial Conference, Bjørner, D. (Dines), 1937-, Broy, M., 1949-, Zamulin, Alexandre V.

Springer
5 図書 Theorem proving in higher order logics : 12th International Conference, TPHOLs '99, Nice, France, September 14-17, 1999 : proceedings

International Conference on Theorem Proving in Higher Order Logics, Bertot, Yves

Springer
11 図書 Advances in cryptology - CRYPTO 2000 : 20th Annual International Cryptology Conference, Santa Barbara, California, USA, August 20-24, 2000 : proceedings

CRYPTO, Bellare, Mihir

Springer
6 図書 Computer science logic : 13th International Workshop, CSL '99, 8th Annual Conference of the EACSL, Madrid, Spain, September 20-25, 1999 : proceedings

International Workshops on Computer Science Logic, Conference of European Association for Computer Science Logic, Flum, &hellip;

Springer
12 図書 CONCUR 2003 - concurrency theory : 14th International Conference, Marseille, France, September 3-5, 2003 : proceedings

International Conference on Concurrency Theory, Amadio, Roberto M., Lugiez, Denis

Springer