東華大學圖書館 |

Language: English

Help

回圖書館首頁

手機版館藏查詢

Back

Switch To: Labeled | MARC Mode | ISBD

Linked to FindBook

Google Book

Amazon

博客來

Foundations of software science and computation structures = 7th international conference, FOSSACS 2004, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29-April 2, 2004 : proceedings /

Record Type:	Electronic resources : Monograph/item
Title/Author:	Foundations of software science and computation structures/ Igor Walukiewicz (ed.).
Reminder of title:	7th international conference, FOSSACS 2004, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29-April 2, 2004 : proceedings /
other author:	Walukiewicz, Igor.
corporate name:	FOSSACS 2004
Published:	Berlin ;Springer, : 2004.,
Description:	xiii, 528 p. :ill. ;24 cm.
Series:	Lecture notes in computer science,
Subject:	Computer software - Congresses. -
Online resource:	https://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&AN=128419An electronic book accessible through the World Wide Web; click for information
ISBN:	3540247270 (electronic bk.)

Foundations of software science and computation structures = 7th international conference, FOSSACS 2004, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29-April 2, 2004 : proceedings /
Foundations of software science and computation structures7th international conference, FOSSACS 2004, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29-April 2, 2004 : proceedings /[electronic resource] :Igor Walukiewicz (ed.). - Berlin ;Springer,2004. - xiii, 528 p. :ill. ;24 cm. - Lecture notes in computer science,29870302-9743 ;.

Includes bibliographical references and index.

Electronic reproduction.
Boulder, Colo. :
NetLibrary,
2005.

Available via World Wide Web.

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

696751
Computer software
--Congresses.Subjects--Index Terms:

computation structuresIndex Terms--Genre/Form:

542853
Electronic books.

LC Class. No.: QA76.751 / .F67 2004eb

Dewey Class. No.: 005

Foundations of software science and computation structures = 7th international conference, FOSSACS 2004, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29-April 2, 2004 : proceedings /
LDR:01469nmm a2200325 a 45 001 738198
003 OCoLC
005 20080424
006 m d
007 cr cnu---unuuu
008 250519s2004 gw a sb 101 0 eng d
020 $a 3540247270 (electronic bk.)
035 $a ocm58748039
035 $a 738198
040 $a N $c N
049 $a AMFA
050 1 4 $a QA76.751 $b .F67 2004eb
082 0 4 $a 005 $2 22
111 $a FOSSACS 2004 $d (2004 : $c Barcelona, Spain) $3 838684
245 1 0 $a Foundations of software science and computation structures $h [electronic resource] : $b 7th international conference, FOSSACS 2004, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29-April 2, 2004 : proceedings / $c Igor Walukiewicz (ed.).
260 $a Berlin ; $a New York : $c 2004. $b Springer,
300 $a xiii, 528 p. : $b ill. ; $c 24 cm.
440 0 $a Lecture notes in computer science, $x 0302-9743 ; $v 2987
504 $a Includes bibliographical references and index.
530 $a Also issued online.
533 $a Electronic reproduction. $b Boulder, Colo. : $c NetLibrary, $d 2005. $n Available via World Wide Web. $n Access may be limited to NetLibrary affiliated libraries.
650 $a Computer software $x Congresses. $3 696751
650 $a System analysis $x Congresses. $3 535174
653 $a computation structures
653 $a ETAPS
653 $a FOSSACS
653 $a software science
655 $a Electronic books. $2 lcsh $3 542853
700 $a Walukiewicz, Igor. $3 838683
710 $a NetLibrary, Inc. $3 542851
711 $a ETAPS 2004 $d (2004 : $c Barcelona, Spain) $3 838685
856 4 0 $3 Bibliographic record display $u https://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&AN=128419 $z An electronic book accessible through the World Wide Web; click for information
994 $a 92 $b AMF