國立高雄大學圖資館 |

Language: English

Back

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 /

Record Type:	Electronic resources : Monograph/item
Title/Author:	Programming Languages and Systemsedited by Mooly Sagiv.
Reminder of title:	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 /
other author:	Sagiv, Mooly.
corporate name:
Published:	Berlin Heidelberg :Springer-Verlag GmbH.,2005.
Description:	xiii, 438 p. :ill., digital ;25 cm.
Series:	Lecture Notes in Computer Science,
Contained By:	Springer e-books
Subject:	Logics and Meanings of Programs.
Online resource:	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)