| Record ID | marc_loc_2016/BooksAll.2016.part38.utf8:148690644:1697 |
| Source | Library of Congress |
| Download Link | /show-records/marc_loc_2016/BooksAll.2016.part38.utf8:148690644:1697?format=raw |
LEADER: 01697cam a22003977a 4500
001 2010928129
003 DLC
005 20120716195141.0
008 100505s2010 gw a b 101 0 eng d
010 $a 2010928129
015 $a10,N21$2dnb
016 7 $a1002540801$2DE-101
020 $a364213677X (pbk. : alk. paper)
020 $a9783642136771 (pbk. : alk. paper)
035 $a(OCoLC)ocn644521774
040 $aOHX$beng$cOHX$dYDXCP$dGWDNB$dBWX$dAZS$dOCLCQ$dDLC
042 $alccopycat
050 00 $aQA76.9.F67$bI586 2010
072 7 $aQA$2lcco
082 04 $a005.131$222/ger
111 2 $aInternational School on Formal Methods for the Design of Computer, Communication, and Software Systems$n(10th :$d2010 :$cBertinoro, Italy)
245 10 $aFormal methods for quantitative aspects of programming languages :$b10th international school on formal methods for the design of computer, communication and software systems, SFM 2010, Bertinoro, Italy, June 21-26, 2010 : advanced lectures /$cAlessandro Aldini ... [et al.] (eds.).
260 $aBerlin ;$aNew York :$bSpringer,$cc2010.
300 $a167 p. :$bill. ;$c24 cm.
490 0 $aLecture notes in computer science ;$v6154
490 0 $aTutorial
490 0 $aLNCS sublibrary: SL 2-programming and software engineering
504 $aIncludes bibliographical references and index.
530 $aAlso issued online.
650 0 $aFormal methods (Computer science)$vCongresses.
650 0 $aProgramming languages (Electronic computers)$vCongresses.
650 07 $aFormale Methode.$2swd
650 07 $aProgrammiersprache.$2swd
650 07 $aProgrammanalyse.$2swd
651 7 $aBertinoro <2010>$2swd
700 1 $aAldini, Alessandro.