東華大學圖書館 |

語系: 繁體中文

說明(常見問題)

回圖書館首頁

手機版館藏查詢

登入

回首頁

切換: 標籤 | MARC模式 | ISBD

Foundations of software science and ...

Hofmann, Martin.

FindBook

Google Book

Amazon

博客來

Foundations of software science and computational structures = 14th International Conference, FOSSACS 2011, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrucken, Germany, March 26-April 3, 2011 : proceedings /

紀錄類型:	書目-電子資源 : Monograph/item
正題名/作者:	Foundations of software science and computational structures/ edited by Martin Hofmann.
其他題名:	14th International Conference, FOSSACS 2011, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrucken, Germany, March 26-April 3, 2011 : proceedings /
其他作者:	Hofmann, Martin.
出版者:	Berlin, Heidelberg :Springer Berlin Heidelberg, : 2011.,
面頁冊數:	xv, 472 p. :ill., digital ;24 cm.
叢書名:	Lecture notes in computer science,
Contained By:	Springer eBooks
標題:	Computer software -
電子資源:	http://dx.doi.org/10.1007/978-3-642-19805-2
ISBN:	9783642198052 (electronic bk.)

Foundations of software science and computational structures = 14th International Conference, FOSSACS 2011, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrucken, Germany, March 26-April 3, 2011 : proceedings /
Foundations of software science and computational structures14th International Conference, FOSSACS 2011, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrucken, Germany, March 26-April 3, 2011 : proceedings /[electronic resource] :edited by Martin Hofmann. - Berlin, Heidelberg :Springer Berlin Heidelberg,2011. - xv, 472 p. :ill., digital ;24 cm. - Lecture notes in computer science,66040302-9743 ;.

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

950579
Computer software

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

Dewey Class. No.: 005.1

Foundations of software science and computational structures = 14th International Conference, FOSSACS 2011, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrucken, Germany, March 26-April 3, 2011 : proceedings /
LDR:01046nmm 2200241 a 4500 001 1265707
003 Springer
005 20110720192055.0
006 m d
007 cr nn 008maaau
008 120817s2011 gw s j eng d
020 $a 9783642198052 (electronic bk.)
020 $a 9783642198045 (paper)
035 $a 978-3-642-19804-5
050 0 4 $a QA76.751 $b .F67 2011
082 0 4 $a 005.1 $2 22
090 $a QA76.751 $b .F751 2011
245 1 0 $a Foundations of software science and computational structures $h [electronic resource] : $b 14th International Conference, FOSSACS 2011, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrucken, Germany, March 26-April 3, 2011 : proceedings / $c edited by Martin Hofmann.
260 $a Berlin, Heidelberg : $b Springer Berlin Heidelberg, $c 2011.
300 $a xv, 472 p. : $b ill., digital ; $c 24 cm.
440 0 $a Lecture notes in computer science, $x 0302-9743 ; $v 6604
650 0 $a Computer software $2 sigle $3 950579
650 1 4 $a Computer Science. $3 626642
650 2 4 $a Mathematical Logic and Formal Languages. $3 892517
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 Programming Languages, Compilers, Interpreters. $3 891123
650 2 4 $a Software Engineering. $3 890874
700 1 $a Hofmann, Martin. $3 1244116
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-19805-2
950 $a Computer Science (Springer-11645)