東華大學圖書館 |

Language: English

Help

回圖書館首頁

手機版館藏查詢

Back

Switch To: Labeled | MARC Mode | ISBD

Tools and algorithms for the constru...

Kowalewski, S.

Linked to FindBook

Google Book

Amazon

博客來

Tools and algorithms for the construction and analysis of systems = 15th international conference, TACAS 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:	Tools and algorithms for the construction and analysis of systems/ edited by Stefan Kowalewski, Anna Philippou.
Reminder of title:	15th international conference, TACAS 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:	Kowalewski, S.
corporate name:	TACAS 2009
Published:	Berlin, Heidelberg :Springer Berlin Heidelberg, : 2009.,
Description:	xvi, 456 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-00768-2
ISBN:	9783642007675 (paper)

Tools and algorithms for the construction and analysis of systems = 15th international conference, TACAS 2009, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009 ; proceedings /
Tools and algorithms for the construction and analysis of systems15th international conference, TACAS 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 Stefan Kowalewski, Anna Philippou. - Berlin, Heidelberg :Springer Berlin Heidelberg,2009. - xvi, 456 p. :ill., digital ;24 cm. - Lecture notes in computer science,55050302-9743 ;.

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

535174
System analysis
--Congresses.

LC Class. No.: QA76.9.S88 / T66 2009

Dewey Class. No.: 005.1

Tools and algorithms for the construction and analysis of systems = 15th international conference, TACAS 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:01000nam 2200229 a 45 001 842624
003 Springer
005 20100602
006 m d
007 cr nn 008maaau
008 100602s2009 gw j eng d
020 $a 9783642007675 (paper)
020 $a 9783642007682 (electronic bk.)
035 $a 978-3-642-00767-5
050 1 4 $a QA76.9.S88 $b T66 2009
082 0 4 $a 005.1 $2 22
111 2 $a TACAS 2009 $n (15th : $d 2009 : $c York, UK) $3 1003000
245 1 0 $a Tools and algorithms for the construction and analysis of systems $h [electronic resource] : $b 15th international conference, TACAS 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 Stefan Kowalewski, Anna Philippou.
260 $a Berlin, Heidelberg : $c 2009. $b Springer Berlin Heidelberg,
300 $a xvi, 456 p. : $b ill., digital ; $c 24 cm.
440 0 $a Lecture notes in computer science, $x 0302-9743 ; $v 5505
650 0 $a System analysis $x Congresses. $3 535174
650 0 $a System design $x Congresses. $3 661328
650 1 4 $a Computer Science. $3 626642
650 2 4 $a Algorithm Analysis and Problem Complexity. $3 891007
650 2 4 $a Logics and Meanings of Programs. $3 892495
650 2 4 $a Programming Techniques. $3 892496
650 2 4 $a Software Engineering. $3 890874
650 2 4 $a Software Engineering/Programming and Operating Systems. $3 891214
700 1 $a Kowalewski, S. $3 1002998
700 1 $a Philippou, Anna. $3 1002999
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-00768-2
950 $a Computer Science (Springer-11645)