國立高雄大學圖資館 |

語系: 繁體中文

說明(常見問題)

圖資館首頁

登入

回首頁

切換: 標籤 | MARC模式 | ISBD

Formal methods for quantitative aspe...

(1998 :)

Formal methods for quantitative aspects of programming languages10th international school on formal methods for the design of computer, communication and software systems, SFM 2010, Bertinoro, Italy, June 21-26, 2010 : advanced lectures /

紀錄類型:	書目-電子資源 : Monograph/item
正題名/作者:	Formal methods for quantitative aspects of programming languagesedited by Alessandro Aldini ... [et al.].
其他題名:	10th international school on formal methods for the design of computer, communication and software systems, SFM 2010, Bertinoro, Italy, June 21-26, 2010 : advanced lectures /
其他題名:	SFM 2010
其他作者:	Aldini, Alessandro.
團體作者:
出版者:	Berlin, Heidelberg :Springer-Verlag Berlin Heidelberg,2010.
面頁冊數:	167 p. :ill., digital ;24 cm.
叢書名:	Lecture notes in computer science,
Contained By:	Springer eBooks
標題:	Formal methods (Computer science)
電子資源:	http://dx.doi.org/10.1007/978-3-642-13678-8
ISBN:	9783642136788 (electronic bk.)

Formal methods for quantitative aspects of programming languages10th international school on formal methods for the design of computer, communication and software systems, SFM 2010, Bertinoro, Italy, June 21-26, 2010 : advanced lectures /
Formal methods for quantitative aspects of programming languages10th international school on formal methods for the design of computer, communication and software systems, SFM 2010, Bertinoro, Italy, June 21-26, 2010 : advanced lectures /[electronic resource] :SFM 2010edited by Alessandro Aldini ... [et al.]. - Berlin, Heidelberg :Springer-Verlag Berlin Heidelberg,2010. - 167 p. :ill., digital ;24 cm. - Lecture notes in computer science,61540302-9743 ;.

ISBN: 9783642136788 (electronic bk.)Subjects--Topical Terms:

277520
Formal methods (Computer science)

LC Class. No.: QA76.9.F67 / I58 2010

Dewey Class. No.: 005.131

Formal methods for quantitative aspects of programming languages10th international school on formal methods for the design of computer, communication and software systems, SFM 2010, Bertinoro, Italy, June 21-26, 2010 : advanced lectures /
LDR:01064nmm 2200253 a 4500 001 266079
003 Springer
005 20100902172102.0
006 m d
007 cr nn 008maaau
008 101102s2010 gw s j eng d
020 $a 9783642136788 (electronic bk.)
020 $a 9783642136771 (paper)
035 $a 978-3-642-13677-1
050 0 4 $a QA76.9.F67 $b I58 2010
082 0 4 $a 005.131 $2 22
090 $a QA76.9.F67 $b I61 2010
111 2 $n (3rd : $d 1998 : $c Amsterdam, Netherlands) $3 194767
245 1 0 $a Formal methods for quantitative aspects of programming languages $h [electronic resource] : $b 10th international school on formal methods for the design of computer, communication and software systems, SFM 2010, Bertinoro, Italy, June 21-26, 2010 : advanced lectures / $c edited by Alessandro Aldini ... [et al.].
246 3 0 $a SFM 2010
260 $a Berlin, Heidelberg : $b Springer-Verlag Berlin Heidelberg, $c 2010.
300 $a 167 p. : $b ill., digital ; $c 24 cm.
440 0 $a Lecture notes in computer science, $x 0302-9743 ; $v 6154
650 0 $a Formal methods (Computer science) $3 277520
650 0 $a Programming languages (Electronic computers) $3 184586
650 1 4 $a Computer Science. $3 212513
650 2 4 $a Software Engineering/Programming and Operating Systems. $3 273711
650 2 4 $a Antibodies. $3 456407
650 2 4 $a Mathematical Logic and Formal Languages. $3 275383
650 2 4 $a Programming Languages, Compilers, Interpreters. $3 274102
650 2 4 $a Information Systems Applications (incl.Internet) $3 253439
650 2 4 $a Software Engineering. $3 274511
700 1 $a Aldini, Alessandro. $3 285118
710 2 $a SpringerLink (Online service) $3 273601
773 0 $t Springer eBooks
856 4 0 $u http://dx.doi.org/10.1007/978-3-642-13678-8
950 $a Computer Science (Springer-11645)