國立高雄大學圖資館 |

Language: English

Back

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 /

Record Type:	Electronic resources : Monograph/item
Title/Author:	Formal methods for quantitative aspects of programming languagesedited by Alessandro Aldini ... [et al.].
Reminder of title:	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 /
remainder title:	SFM 2010
other author:	Aldini, Alessandro.
corporate name:
Published:	Berlin, Heidelberg :Springer-Verlag Berlin Heidelberg,2010.
Description:	167 p. :ill., digital ;24 cm.
Series:	Lecture notes in computer science,
Contained By:	Springer eBooks
Subject:	Formal methods (Computer science)
Online resource:	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)