東華大學圖書館 |

Language: English

Help

回圖書館首頁

手機版館藏查詢

Back

Switch To: Labeled | MARC Mode | ISBD

Formal aspects of component software...

Păsăreanu, Corina S.

Linked to FindBook

Google Book

Amazon

博客來

Formal aspects of component software : = 9th International Symposium, FACS 2012, Mountain View, CA, USA, September 12-14, 2012 Revised selected papers /

Record Type:	Language materials, printed : Monograph/item
Title/Author:	Formal aspects of component software :/ edited by Corina S. Păs̆ăreanu, Gwen Salaün (eds.).
Reminder of title:	9th International Symposium, FACS 2012, Mountain View, CA, USA, September 12-14, 2012 Revised selected papers /
remainder title:	FACS 2012
other author:	Păsăreanu, Corina S.
Published:	Berlin ;Springer, : c2013. ,
Description:	x, 276 p. :ill. ;24 cm.
Notes:	Includes author index.
Subject:	Component software - Congresses. -
ISBN:	9783642358609 (pbk.) :
ISSN:	03029743

Formal aspects of component software : = 9th International Symposium, FACS 2012, Mountain View, CA, USA, September 12-14, 2012 Revised selected papers /
Formal aspects of component software :9th International Symposium, FACS 2012, Mountain View, CA, USA, September 12-14, 2012 Revised selected papers /FACS 2012 edited by Corina S. Păs̆ăreanu, Gwen Salaün (eds.). - Berlin ;Springer,c2013. - x, 276 p. :ill. ;24 cm. - LNCS sublibrary. SL 2, Programming and software engineering. - LNCS sublibrary.SL 2,Programming and software engineering. .

Includes author index.

Includes bibliographical references.

ISBN: 9783642358609 (pbk.) :EUR46.00

ISSN: 03029743Subjects--Topical Terms:

1245596
Component software
--Congresses.

LC Class. No.: QA76.9.F67 / I58 2012

Dewey Class. No.: 004.01/51

Formal aspects of component software : = 9th International Symposium, FACS 2012, Mountain View, CA, USA, September 12-14, 2012 Revised selected papers /
LDR:01076cam a22002655a 450 001 1875205
005 20131223133640.0
008 130828s2013 gw a 101 0 eng d
020 $a 9783642358609 (pbk.) : $c EUR46.00
020 $a 3642358608 (pbk.)
020 $a 9783642358616 (ebk.)
020 $a 3642358616 (ebk.)
022 # $a 03029743
022 # $a 16113349 (ebk.)
035 $a AS-BW-102-N-03
040 $a GW5XE $c GW5XE $d YDXCP $d COO $d ZMC $d OCLCO $d SNK $d NLGGC $d E7B
050 # 4 $a QA76.9.F67 $b I58 2012
082 0 4 $a 004.01/51 $2 23
245 1 0 $a Formal aspects of component software : $b 9th International Symposium, FACS 2012, Mountain View, CA, USA, September 12-14, 2012 Revised selected papers / $c edited by Corina S. Păs̆ăreanu, Gwen Salaün (eds.).
246 3 # $a FACS 2012
260 # $a Berlin ; $a New York : $b Springer, $c c2013.
300 $a x, 276 p. : $b ill. ; $c 24 cm.
490 1 0 $a LNCS sublibrary. SL 2, Programming and software engineering
490 1 0 $a Lecture notes in computer science, $x 0302-9743 ; $v 7684
500 $a Includes author index.
504 $a Includes bibliographical references.
650 # 0 $a Component software $v Congresses. $3 1245596
650 # 0 $a Formal methods (Computer science) $3 882407
700 1 # $a Păsăreanu, Corina S. $3 2012596
700 1 # $a Salaün, G. $q (Gwen) $3 2012597
830 0 $a LNCS sublibrary. $n SL 2, $p Programming and software engineering. $3 2012598
830 0 $a Lecture notes in computer science ; $v 5353. $x 0302-9743 $3 1274248