Providence University Luking Library Webpac

Home > Information

Check-outs :

Towards a formal description of Ada /

Hit：37
Rating：0
Review：0
Trackback：0
Email：0

Brief

MARC

001

218328

003

OCoLC

005

19941228145417.0

008		830115s1980 gw b 000 0 eng
010		\|a 82136131
020		\|a0387102833 (U.S. : pbk.)
035		\|a00193925
040		\|aDLC\|cDLC
049		\|aPVYA[][][][72822]
050	0	\|aQA76.73.A35\|bT68 1980
092	0	\|a005.133A2\|bT65
094		\|a靜宜\|d005.133A2\|eT65\|cE72822/00165952\|tDDC\|fmilk
095		\|pBOOK\|d005.133A2\|eT65
245	00	\|aTowards a formal description of Ada /\|cedited by D. Bjrner and O.N. Oest.
260		\|aBerlin :\|bSpringer-Verlag,\|c1980.
300		\|axii, 630 p. ;\|c25 cm.
440	0	\|aLecture notes in computer science ;\|v98
504		\|a"References and bibliography": p. 626-630.
650	0	\|aAda (Computer program language)
650	0	\|aProgramming languages (Electronic computers)\|xSemantics.
700	10	\|aBjrner, D.\|q(Dines),\|d1937-
700	10	\|aOest, O. N.

Share：

第1級人氣樹(0)

人氣指樹

Export

keepsite
Introduction
Tags(0)
Collection(0)
Review(0)
Rating(0)

Top

Please login for this service.

Please login for this service.

Please login for this service.

Please login for this service.