國立空中大學圖書館

借閱次數 :

簡略

詳細

MARC

008

101206s1999 gw s j eng d

001		97981
020		\|a9783540664994 (paper)
050	00	\|aQA76.76.V47\|bI58 1999\|cI61
082	00	\|a005.276\|221
090		\|aQA76.76.V47\|bI61 1999
809		\|pEB\|dQA76.76.V47\|eI61\|y1999
111	2	\|aInternational SPIN Workshop\|n(5th :\|d1999 :\|cTrento, Italy)
245	10	\|aTheoretical and practical aspects of SPIN model checking\|h[electronic resource] :\|b5th and 6th International SPIN Workshops, Trento, Italy, July 5, 1999, Toulouse, France, September 21 and 24, 1999 : proceedings /\|cDennis Dams ... [et al.], (eds.).
260		\|aBerlin ;\|aNew York :\|bSpringer-Verlag,\|cc1999.
300		\|ax, 276 p. :\|bill., digital ;\|c24 cm.
440	0	\|aLecture notes in computer science ;\|v1680
630	00	\|aSPIN (Computer file)\|vCongresses.
650	0	\|aComputer software\|xVerification\|vCongresses.
700	1	\|aDams, Dennis.
710	2	\|aSpringerLink (Online service)
711	2	\|aFederated Logic Conference\|d(1999 :\|cTrento, Italy)
711	2	\|aInternational SPIN Workshop\|n(6th :\|d1999 :\|cToulouse, France)
711	2	\|aWorld Congress on Formal Methods in the Development of Computing Systems\|d(1999 :\|cToulouse, France)
773	0	\|tSpringer e-books
856	40	\|uhttp://dx.doi.org/10.1007/3-540-48234-2
950		\|aComputer Science (Lecture Notes in Computer Science)