|
|
|
|
LEADER |
00000cam a2200000 a 4500 |
001 |
in00001528391 |
005 |
20151021175403.0 |
008 |
000308s1999 gw a b 101 0 eng |
010 |
|
|
|a 99044590
|
020 |
|
|
|a 3540664629 (softcover : alk. paper)
|
035 |
|
|
|a (OCoLC)42296292
|
040 |
|
|
|a DLC
|c DLC
|d TXA
|d UtOrBLW
|
049 |
|
|
|a TXAM
|
050 |
0 |
0 |
|a QA76.9.F67
|b I59 1998
|
082 |
0 |
0 |
|a 005.13/1
|2 21
|
111 |
2 |
|
|a International Workshop on Current Trends in Applied Formal Methods
|d (1998 :
|c Boppard, Germany)
|
245 |
1 |
0 |
|a Applied formal methods - FM-Trends 98 :
|b International Workshop on Current Trends in Applied Formal Methods, Boppard, Germany, October 7-9, 1998 : proceedings /
|c Dieter Hutter [and others].
|
246 |
3 |
0 |
|a FM-Trends 98
|
246 |
3 |
0 |
|a International Workshop on Current Trends in Applied Formal Methods, Boppard, Germany, October 7-9, 1998
|
264 |
|
1 |
|a Berlin ;
|a New York :
|b Springer,
|c [1999]
|
264 |
|
4 |
|c ©1999
|
300 |
|
|
|a xi, 376 pages :
|b illustrations ;
|c 24 cm.
|
336 |
|
|
|a text
|b txt
|2 rdacontent
|
337 |
|
|
|a unmediated
|b n
|2 rdamedia
|
338 |
|
|
|a volume
|b nc
|2 rdacarrier
|
490 |
1 |
|
|a Lecture notes in computer science,
|x 0302-9743 ;
|v 1641
|
504 |
|
|
|a Includes bibliographical references and index.
|
650 |
|
0 |
|a Formal methods (Computer science)
|v Congresses.
|
700 |
1 |
|
|a Hutter, Dieter.
|
830 |
|
0 |
|a Lecture notes in computer science.
|x 0302-9743 ;
|v 1641.
|
948 |
|
|
|a cataloged
|b h
|c 2000/3/8
|d c
|e dmitchell
|f 8:07:45 am
|
994 |
|
|
|a E0
|b TXA
|
999 |
|
|
|a MARS
|
999 |
f |
f |
|s df9df45e-f850-3a1c-9b51-3bad1c61aba7
|i b8a1ae7e-95ec-3a27-a7d8-dd04097d1a4e
|t 0
|
952 |
f |
f |
|p ric
|a Texas A&M University
|b Rellis Campus
|c Joint Library Facility
|d Remote Storage
|t 0
|e QA76.9.F67 I59 1998
|h Library of Congress classification
|i unmediated -- volume
|m A14825821410
|
998 |
f |
f |
|a QA76.9.F67 I59 1998
|t 0
|l Remote Storage
|