東華大學圖書館 |

Language: English

Help

回圖書館首頁

手機版館藏查詢

Back

Switch To: Labeled | MARC Mode | ISBD

Foundations of software science and ...

Hofmann, Martin.

Linked to 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 /

Record Type:	Electronic resources : Monograph/item
Title/Author:	Foundations of software science and computational structures/ edited by Martin Hofmann.
Reminder of title:	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 /
other author:	Hofmann, Martin.
Published:	Berlin, Heidelberg :Springer Berlin Heidelberg, : 2011.,
Description:	xv, 472 p. :ill., digital ;24 cm.
Series:	Lecture notes in computer science,
Contained By:	Springer eBooks
Subject:	Computer software -
Online resource:	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)