東華大學圖書館 |

Language: English

Help

回圖書館首頁

手機版館藏查詢

Back

Switch To: Labeled | MARC Mode | ISBD

Foundations of software science and ...

Ong, Luke.

Linked to FindBook

Google Book

Amazon

博客來

Foundations of software science and computational structures = 13th international conference, FOSSACS 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010 : proceedings /

Record Type:	Language materials, printed : Monograph/item
Title/Author:	Foundations of software science and computational structures/ edited by Luke Ong.
Reminder of title:	13th international conference, FOSSACS 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010 : proceedings /
other author:	Ong, Luke.
corporate name:	FOSSACS 2010
Published:	Berlin, Heidelberg :Springer-Verlag Berlin Heidelberg, : 2010.,
Description:	xv, 388 p. :ill., digital ;24 cm.
Series:	Lecture notes in computer science,
Contained By:	Springer eBooks
Subject:	Computer software - Congresses. -
Online resource:	http://dx.doi.org/10.1007/978-3-642-12032-9
ISBN:	9783642120312 (paper)

Foundations of software science and computational structures = 13th international conference, FOSSACS 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010 : proceedings /
Foundations of software science and computational structures13th international conference, FOSSACS 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010 : proceedings /[electronic resource] :edited by Luke Ong. - Berlin, Heidelberg :Springer-Verlag Berlin Heidelberg,2010. - xv, 388 p. :ill., digital ;24 cm. - Lecture notes in computer science,60140302-9743 ;.

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

696751
Computer software
--Congresses.

LC Class. No.: QA76.751 / .F67 2010

Dewey Class. No.: 005.1

Foundations of software science and computational structures = 13th international conference, FOSSACS 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010 : proceedings /
LDR:00976nam 2200229 a 45 001 892503
003 Springer
005 20101124
006 m d
007 cr nn 008maaau
008 101124s2010 gw s j eng d
020 $a 9783642120312 (paper)
020 $a 9783642120329 (electronic bk.)
035 $a 978-3-642-12031-2
050 0 4 $a QA76.751 $b .F67 2010
082 0 4 $a 005.1 $2 22
111 2 $a FOSSACS 2010 $d (2010 : $c Paphos, Cyprus) $3 1067379
245 1 0 $a Foundations of software science and computational structures $h [electronic resource] : $b 13th international conference, FOSSACS 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010 : proceedings / $c edited by Luke Ong.
260 $a Berlin, Heidelberg : $c 2010. $b Springer-Verlag Berlin Heidelberg,
300 $a xv, 388 p. : $b ill., digital ; $c 24 cm.
440 0 $a Lecture notes in computer science, $x 0302-9743 ; $v 6014
650 0 $a Computer software $x Congresses. $3 696751
650 1 4 $a Computer Science. $3 626642
650 2 4 $a Computation by Abstract Devices. $3 891207
650 2 4 $a Logics and Meanings of Programs. $3 892495
650 2 4 $a Mathematical Logic and Formal Languages. $3 892517
650 2 4 $a Programming Languages, Compilers, Interpreters. $3 891123
650 2 4 $a Software Engineering. $3 890874
700 1 $a Ong, Luke. $3 1067378
710 2 $a SpringerLink (Online service) $3 836513
773 0 $t Springer eBooks
856 4 0 $u http://dx.doi.org/10.1007/978-3-642-12032-9
950 $a Computer Science (Springer-11645)