東華大學圖書館 |

Language: English

Help

回圖書館首頁

手機版館藏查詢

Back

Switch To: Labeled | MARC Mode | ISBD

Foundations of Software Science and ...

De Alfaro, Luca.

Linked to FindBook

Google Book

Amazon

博客來

Foundations of Software Science and Computational Structures = 12th International Conference, FOSSACS 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings /

Record Type:	Language materials, printed : Monograph/item
Title/Author:	Foundations of Software Science and Computational Structures/ edited by Luca de Alfaro.
Reminder of title:	12th International Conference, FOSSACS 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings /
other author:	De Alfaro, Luca.
corporate name:	FOSSACS 2009
Published:	Berlin, Heidelberg :Springer Berlin Heidelberg, : 2009.,
Description:	470 p. :ill., digital ;24 cm.
Series:	Lecture notes in computer science,
Contained By:	Springer eBooks
Subject:	System analysis - Congresses. -
Online resource:	http://dx.doi.org/10.1007/978-3-642-00596-1
ISBN:	9783642005954 (paper)

Foundations of Software Science and Computational Structures = 12th International Conference, FOSSACS 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings /
Foundations of Software Science and Computational Structures12th International Conference, FOSSACS 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings /[electronic resource] :edited by Luca de Alfaro. - Berlin, Heidelberg :Springer Berlin Heidelberg,2009. - 470 p. :ill., digital ;24 cm. - Lecture notes in computer science,55040302-9743 ;.

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

535174
System analysis
--Congresses.

LC Class. No.: QA402 / .F68 2009

Dewey Class. No.: 004.21

Foundations of Software Science and Computational Structures = 12th International Conference, FOSSACS 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings /
LDR:00969nam 2200229 a 45 001 842616
003 Springer
005 20100602
006 m d
007 cr nn 008maaau
008 100602s2009 gw j eng d
020 $a 9783642005954 (paper)
020 $a 9783642005961 (electronic bk.)
035 $a 978-3-642-00595-4
050 1 4 $a QA402 $b .F68 2009
082 0 4 $a 004.21 $2 22
111 2 $a FOSSACS 2009 $d (2009 : $c York, UK) $3 1002981
245 1 0 $a Foundations of Software Science and Computational Structures $h [electronic resource] : $b 12th International Conference, FOSSACS 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings / $c edited by Luca de Alfaro.
260 $a Berlin, Heidelberg : $c 2009. $b Springer Berlin Heidelberg,
300 $a 470 p. : $b ill., digital ; $c 24 cm.
440 0 $a Lecture notes in computer science, $x 0302-9743 ; $v 5504
650 0 $a System analysis $x Congresses. $3 535174
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
650 2 4 $a Theory of Computation. $3 892514
700 1 $a De Alfaro, Luca. $3 893252
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-00596-1
950 $a Computer Science (Springer-11645)