國立高雄大學圖資館 |

登入

回首頁

Programming Languages and Systems14th European Symposium on Programming, ESOP 2005, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4 - 8, 2005 : proceedings /

紀錄類型:	書目-電子資源 : Monograph/item
正題名/作者:	Programming Languages and Systemsedited by Mooly Sagiv.
其他題名:	14th European Symposium on Programming, ESOP 2005, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4 - 8, 2005 : proceedings /
其他作者:	Sagiv, Mooly.
團體作者:
出版者:	Berlin Heidelberg :Springer-Verlag GmbH.,2005.
面頁冊數:	xiii, 438 p. :ill., digital ;25 cm.
叢書名:	Lecture Notes in Computer Science,
Contained By:	Springer e-books
標題:	Logics and Meanings of Programs.
電子資源:	http://dx.doi.org/10.1007/b107380
ISBN:	9783540254355 (paper)

Programming Languages and Systems14th European Symposium on Programming, ESOP 2005, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4 - 8, 2005 : proceedings /
Programming Languages and Systems14th European Symposium on Programming, ESOP 2005, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4 - 8, 2005 : proceedings /[electronic resource] :edited by Mooly Sagiv. - Berlin Heidelberg :Springer-Verlag GmbH.,2005. - xiii, 438 p. :ill., digital ;25 cm. - Lecture Notes in Computer Science,34440302-9743 ;.

ISBN: 9783540254355 (paper)Subjects--Topical Terms:

275357
Logics and Meanings of Programs.

LC Class. No.: QA76.6 / .E976 2005

Dewey Class. No.: 005.1

Programming Languages and Systems14th European Symposium on Programming, ESOP 2005, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4 - 8, 2005 : proceedings /
LDR:01070nmm _22002415a_450 001 189066
003 Springer
005 20080429093750.0
006 m d
007 cr nn 008maaau
008 090528s2005 gw j eng d
020 $a 9783540254355 (paper)
020 $a 9783540319870 (electronic bk.)
035 $a 00342116
050 0 0 $a QA76.6 $b .E976 2005
082 0 0 $2 22 $a 005.1
090 $a QA76.6 $b .E893 2005
111 0 $n (3rd : $d 1998 : $c Amsterdam, Netherlands) $3 194767
245 1 0 $a Programming Languages and Systems $b 14th European Symposium on Programming, ESOP 2005, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4 - 8, 2005 : proceedings / $c edited by Mooly Sagiv. $h [electronic resource] :
260 # $a Berlin Heidelberg : $c 2005. $b Springer-Verlag GmbH.,
300 $a xiii, 438 p. : $b ill., digital ; $c 25 cm.
440 0 $a Lecture Notes in Computer Science, $v 3444 $x 0302-9743 ;
650 # 0 $a Logics and Meanings of Programs. $3 275357
650 # 0 $a Mathematical Logic and Formal Languages. $3 275383
650 # 0 $a Programming Languages, Compilers, Interpreters. $3 274102
650 # 0 $a Programming Techniques. $3 274470
650 # 0 $a Software Engineering. $3 274511
650 # 0 $a Computer programming $v Congresses. $3 384564
650 # 0 $a Programming languages (Electronic computers) $3 184586
650 # 0 $a Computer Science. $3 212513
650 # 0 $a Data Structures. $3 273992
700 0 # $a Sagiv, Mooly. $3 284578
710 0 # $a SpringerLink (Online service) $3 273601
773 0 # $t Springer e-books
856 4 0 $u http://libsw.nuk.edu.tw/login?url=http://dx.doi.org/10.1007/b107380 $z http://dx.doi.org/10.1007/b107380
950 $a Computer Science (Springer-11645; ZDB-2-SCS)