東華大學圖書館 |

語系: 繁體中文

說明(常見問題)

回圖書館首頁

手機版館藏查詢

登入

回首頁

切換: 標籤 | MARC模式 | ISBD

Integration of software specificatio...

Ehrig, Hartmut.

FindBook

Google Book

Amazon

博客來

Integration of software specification techniques for applications in engineering = Priority Program SoftSpez of the German Research Foundation (DFG) : final report /

紀錄類型:	書目-語言資料,印刷品 : Monograph/item
正題名/作者:	Integration of software specification techniques for applications in engineering/ Hartmut Ehrig ... [et al.] (eds.).
其他題名:	Priority Program SoftSpez of the German Research Foundation (DFG) : final report /
其他題名:	Priority Program SoftSpez
其他作者:	Ehrig, Hartmut.
出版者:	Berlin ;Springer, : c2004.,
面頁冊數:	x, 628 p. :ill. ;24 cm.
附註:	"This book constitutes the documentation of the scientific outcome of the priority program Integration of Software Specification Techniques for Applications in Engineering sponsored by the German Research Foundation (DFG). It includes main contributions of the projects of the priority program and of additional international experts in the field. Some of the papers included were presented at the related Third International Workshop on the topic, INT 2004, held in Barcelona, Spain in March 2004."--Cover p. [4].
標題:	Computer software - Specifications - Germany. -
電子資源:	http://www.netLibrary.com/urlapi.asp?action=summary&v=1&bookid=133937An electronic book accessible through the World Wide Web; click for information
ISBN:	354027863X (electronic bk.)

Integration of software specification techniques for applications in engineering = Priority Program SoftSpez of the German Research Foundation (DFG) : final report /
Integration of software specification techniques for applications in engineeringPriority Program SoftSpez of the German Research Foundation (DFG) : final report /[electronic resource] :Priority Program SoftSpezHartmut Ehrig ... [et al.] (eds.). - Berlin ;Springer,c2004. - x, 628 p. :ill. ;24 cm. - Lecture notes in computer science,3147.0302-9743 ;. - Lecture notes in computer science ;3147..

"This book constitutes the documentation of the scientific outcome of the priority program Integration of Software Specification Techniques for Applications in Engineering sponsored by the German Research Foundation (DFG). It includes main contributions of the projects of the priority program and of additional international experts in the field. Some of the papers included were presented at the related Third International Workshop on the topic, INT 2004, held in Barcelona, Spain in March 2004."--Cover p. [4].

Includes bibliographical references and index.

Electronic reproduction.
Boulder, Colo. :
NetLibrary,
2005.

Available via World Wide Web.

ISBN: 354027863X (electronic bk.)Subjects--Topical Terms:

844885
Computer software
--Specifications--Germany.Index Terms--Genre/Form:

542853
Electronic books.

LC Class. No.: QA76.76.D47 / I55 2004eb

Dewey Class. No.: 005.1

Integration of software specification techniques for applications in engineering = Priority Program SoftSpez of the German Research Foundation (DFG) : final report /
LDR:02328nam a2200313 a 45 001 740745
003 OCoLC
005 20080429
006 m d
007 cr cnu---unuuu
008 080429s2004 gw a sb 101 0 eng d
020 $a 354027863X (electronic bk.)
035 $a ocm60799731
040 $a N $c N
049 $a AMFA
050 1 4 $a QA76.76.D47 $b I55 2004eb
082 0 4 $a 005.1 $2 22
245 0 0 $a Integration of software specification techniques for applications in engineering $h [electronic resource] : $b Priority Program SoftSpez of the German Research Foundation (DFG) : final report / $c Hartmut Ehrig ... [et al.] (eds.).
246 3 0 $a Priority Program SoftSpez
246 3 0 $a Priority Program SoftSpez of the German Research Foundation (DFG)
260 $a Berlin ; $a New York : $c c2004. $b Springer,
300 $a x, 628 p. : $b ill. ; $c 24 cm.
490 1 $a Lecture notes in computer science, $x 0302-9743 ; $v 3147. $a State-of-the-art survey
500 $a "This book constitutes the documentation of the scientific outcome of the priority program Integration of Software Specification Techniques for Applications in Engineering sponsored by the German Research Foundation (DFG). It includes main contributions of the projects of the priority program and of additional international experts in the field. Some of the papers included were presented at the related Third International Workshop on the topic, INT 2004, held in Barcelona, Spain in March 2004."--Cover p. [4].
500 $a "The research area 'Integration of Software Specification Techniques for Applications in Engineering' has been established as a priority program of the German Research Council (DFG) for the period of 1998-2004 and was subject of the international workshops INT 2000, 2002, and 2004 as satellite events of the 'European Joint Conferences on Theory and Practice of Software' (ETAPS)."--P. [1].
504 $a Includes bibliographical references and index.
530 $a Also issued online.
533 $a Electronic reproduction. $b Boulder, Colo. : $c NetLibrary, $d 2005. $n Available via World Wide Web. $n Access may be limited to NetLibrary affiliated libraries.
650 $a Computer software $x Specifications $z Germany. $3 844885
650 $a Computer software $z Germany $x Development. $3 844886
650 $a Production engineering $x Technological innovations $z Germany. $3 844887
650 $a Traffic engineering $x Technological innovations $z Germany. $3 844888
655 $a Electronic books. $2 lcsh $3 542853
700 $a Ehrig, Hartmut. $3 714563
710 $a Deutsche Forschungsgemeinschaft. $3 652162
710 $a NetLibrary, Inc. $3 542851
711 $a INT 2004 $d (2004 : $c Barcelona, Spain) $3 844890
830 $a Lecture notes in computer science ; $v 3147. $3 844889
830 $a Lecture notes in computer science. $p State-of-the-art survey. $3 610484
856 4 0 $3 Bibliographic record display $u http://www.netLibrary.com/urlapi.asp?action=summary&v=1&bookid=133937 $z An electronic book accessible through the World Wide Web; click for information
994 $a 92 $b AMF