>> Google Books
所蔵情報QRコード

TAPSOFT '93 : theory and practice of software development : 4th International Joint Conference CAAP/FASE, Orsay, France, April 13-17, 1993 : proceedings / M.-C. Gaudel, J.-P. Jouannaud (eds.)

資料種別:
図書
出版情報:
Berlin ; New York : Springer-Verlag, c1993
形態:
xii, 761 p. ; 24 cm
シリーズ名:
Lecture notes in computer science ; 668 <BA00009279>
著者名:
ISBN:
9783540566106 [3540566104] (: gw)
9780387566108 [0387566104] (: us)
書誌ID:
BA19829595
子書誌情報
Loading
フルテキスト
Loading contents information
所蔵情報
Loading availability information
他の版・巻

類似資料:

International Joint Conference on Theory and Practice of Software Development, Gaudel, Marie-Claude, Jouannaud, …

SpringerLink Books - AutoHoldings, Springer Berlin Heidelberg

International Symposium of Formal Methods Europe, Gaudel, M.-C. (Marie-Claude), Woodcock, James

Springer-Verlag

International Joint Conference on Theory and Practice of Software Development, Bidoit, M. (Michel), 1957-, Dauchet, Max, …

Springer

TACAS, Katoen, Joost-Pieter, Stevens, Perdita, European Conferences on Theory and Practice of Software

Springer

International Joint Conference on Theory and Practice of Software Development, Mosses, Peter D., Nielsen, M. (Mogens), …

Springer

International Joint Conference on Theory and Practice of Software Development, Díaz, Josep, 1950-, Orejas, Fernando, …

Springer-Verlag

Ehrig, Hartmut., Floyd, Christiane., Nivat, Maurice., Thatcher, James., SpringerLink (Online service)

Ehrig, Hartmut., Floyd, Christiane., Nivat, Maurice., Thatcher, James., SpringerLink (Online service)

Ehrig, Hartmut., Kowalski, Robert., Levi, Giorgio., Montanari, Ugo., SpringerLink (Online service)

TACAS, European Conferences on Theory and Practice of Software, Garavel, Hubert, Hatcliff, John, 1966-

Springer

1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12