東華大學圖書館 |

語系: 繁體中文

說明(常見問題)

回圖書館首頁

手機版館藏查詢

登入

回首頁

切換: 標籤 | MARC模式 | ISBD

Foundations of software science and ...

Pfenning, Frank.

FindBook

Google Book

Amazon

博客來

Foundations of software science and computation structures : = 16th International Conference, FOSSACS 2013, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings /

紀錄類型:	書目-語言資料,印刷品 : Monograph/item
正題名/作者:	Foundations of software science and computation structures :/ Frank Pfenning (ed.).
其他題名:	16th International Conference, FOSSACS 2013, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings /
其他題名:	ETAPS 2013
其他作者:	Pfenning, Frank.
出版者:	Berlin ;Springer, : c2013. ,
面頁冊數:	xxiii, 449 p. :ill. ;24 cm.
附註:	International conference proceedings.
標題:	Computer software -
ISBN:	9783642370748 (pbk.) :
ISSN:	03029743

Foundations of software science and computation structures : = 16th International Conference, FOSSACS 2013, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings /
Foundations of software science and computation structures :16th International Conference, FOSSACS 2013, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings /ETAPS 2013 Frank Pfenning (ed.). - Berlin ;Springer,c2013. - xxiii, 449 p. :ill. ;24 cm. - Advanced research in computing and software science . - LNCS sublibrary.SL 1,Theoretical computer science and general issues. .

International conference proceedings.

Includes bibliographical references and author index.

ISBN: 9783642370748 (pbk.) :EUR62.00

ISSN: 03029743Subjects--Topical Terms:

950579
Computer software

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

Dewey Class. No.: 005.1

Foundations of software science and computation structures : = 16th International Conference, FOSSACS 2013, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings /
LDR:01268cam a22002895a 450 001 1875180
005 20131223133653.0
008 130828s2013 gw b 101 0 eng d
020 $a 9783642370748 (pbk.) : $c EUR62.00
020 $a 3642370748 (pbk.)
020 $a 9783642370755 (ebk.)
020 $a 3642370756 (ebk.)
022 # $a 03029743
022 # $a 16113349 (ebk.)
035 $a AS-BW-102-N-03
040 $a GW5XE $c GW5XE $d YDXCP $d ZMC $d COO $d SNK $d OHI
050 # 4 $a QA76.751 $b .F67 2013
082 0 4 $a 005.1 $2 23
245 1 0 $a Foundations of software science and computation structures : $b 16th International Conference, FOSSACS 2013, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings / $c Frank Pfenning (ed.).
246 3 # $a ETAPS 2013
246 3 # $a FOSSACS 2013
260 # $a Berlin ; $a New York : $b Springer, $c c2013.
300 $a xxiii, 449 p. : $b ill. ; $c 24 cm.
490 1 0 $a Advanced research in computing and software science
490 1 0 $a LNCS sublibrary. SL 1, Theoretical computer science and general issues
490 1 0 $a Lecture notes in computer science, $x 0302-9743 ; $v 7794
500 $a International conference proceedings.
504 $a Includes bibliographical references and author index.
650 # 0 $a Computer software $2 sigle $3 950579
650 # 0 $a Software engineering $v Congresses. $3 1243492
700 1 # $a Pfenning, Frank. $3 2012610
830 0 $a LNCS sublibrary. $n SL 1, $p Theoretical computer science and general issues. $3 2012611
830 0 $a Lecture notes in computer science ; $v 5353. $x 0302-9743 $3 1274248
830 0 $a Lecture notes in computer science. $p Advanced research in computing and software science. $3 2012612