國立空中大學圖書館

借閱次數 :

簡略

詳細

MARC

008

101206s2002 gw s j eng d

001		99113
020		\|a9783540433668 (paper)
050	00	\|aQA76.751\|b.F67 2002\|cF751
082	00	\|a005.1\|221
090		\|aQA76.751\|b.F751 2002
809		\|pEB\|dQA76.751\|eF751\|y2002
111	2	\|aFOSSACS 2002\|d(2002 :\|cGrenoble, France)
245	10	\|aFoundations of software science and computation structures\|h[electronic resource] :\|b5th International Conference, FOSSACS 2002, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002, Grenoble, France, April 8-12, 2002 : proceedings /\|cMogens Nielsen, Uffe Engberg, eds.
260		\|aBerlin :\|aNew York :\|bSpringer,\|cc2002.
300		\|axiii, 433 p. :\|bill., digital ;\|c24 cm.
440	0	\|aLecture notes in computer science,\|x0302-9743 ;\|v2303
650	0	\|aComputer software\|vCongresses.
650	0	\|aSystem analysis\|vCongresses.
700	1	\|aEngberg, Uffe.
700	1	\|aNielsen, Mogens.
710	2	\|aSpringerLink (Online service)
711	2	\|aETAPS 2002\|d(2002 :\|cGrenoble, France)
773	0	\|tSpringer e-books
856	40	\|uhttp://dx.doi.org/10.1007/3-540-45931-6
950		\|aComputer Science (Lecture Notes in Computer Science)
856	40	\|uhttp://dx.doi.org/10.1007/3-540-45931-6