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

Towards a formal description of Ada

フォーマット:
図書
責任表示:
edited by D. Bjørner and O.N. Oest
言語:
英語
出版情報:
Berlin : Springer-Verlag, 1980
形態:
xii, 630 p. ; 25 cm
著者名:
シリーズ名:
Lecture notes in computer science ; 98 <BA00009279>
書誌ID:
BA03072136
ISBN:
9783540102830 [3540102833] (: gw)  CiNii Books  Webcat Plus  Google Books
9780387102832 [0387102833] (: us)  CiNii Books  Webcat Plus  Google Books
子書誌情報
Loading
所蔵情報
Loading availability information
タイトルが類似している資料

類似資料:

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

Uhl, J. (Jürgen)

Springer-Verlag

Bjørner, D. (Dines), 1937-, Jones, Cliff B., 1944-

Springer-Verlag

Barzdinʹ, I︠A︡. M. (I︠A︡n Martynovich), Bjørner, D. (Dines), 1937-

Springer-Verlag

3 図書 Ada in practice

Ausnit, Christine N.

Springer-Verlag

9 図書 Scientific Ada

Ford, B., Kok, J., Rogers, M. W.

Cambridge University Press

McGettrick, Andrew D., 1944-

Cambridge University Press

10 図書 Programming in ADA

Barnes, J. G. P.

Addison-Wesley Pub. Co.

Goos, Gerhard, 1937-

Springer-Verlag

Ledgard, Henry F., 1943-

Springer-Verlag

United States. Dept. of Defense, Goos, Gerhard, 1937-

Springer-Verlag

Copenhagen Winter School on Abstract Software Specifications, Commission of the European Communities, Bjørner, D. &hellip;

Springer-Verlag