| Record ID | marc_loc_2016/BooksAll.2016.part28.utf8:11848036:1077 |
| Source | Library of Congress |
| Download Link | /show-records/marc_loc_2016/BooksAll.2016.part28.utf8:11848036:1077?format=raw |
LEADER: 01077cam a22002534a 4500
001 99044590
003 DLC
005 20080308085757.0
008 990812s1999 gw a b 101 0 eng
010 $a 99044590
020 $a3540664629 (softcover : alk. paper)
040 $aDLC$cDLC$dDLC
042 $apcc
050 00 $aQA76.9.F67$bI59 1998
082 00 $a005.13/1$221
111 2 $aInternational Workshop on Current Trends in Applied Formal Methods$d(1998 :$cBoppard, Germany)
245 10 $aApplied formal methods--FM-Trends 98 :$bInternational Workshop on Current Trends in Applied Formal Methods, Boppard, Germany, October 7-9, 1998 : proceedings /$cDieter Hutter ... [et al.] (eds.).
260 $aBerlin ;$aNew York :$bSpringer,$cc1999.
300 $axi, 376 p. :$bill. ;$c24 cm.
440 0 $aLecture notes in computer science ;$v1641
504 $aIncludes bibliographical references.
650 0 $aFormal methods (Computer science)$vCongresses.
700 1 $aHutter, Dieter.
856 42 $3Publisher description$uhttp://www.loc.gov/catdir/enhancements/fy0815/99044590-d.html