東華大學圖書館 |

Language: English

Help

回圖書館首頁

手機版館藏查詢

Back

Switch To: Labeled | MARC Mode | ISBD

Linked to FindBook

Google Book

Amazon

博客來

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

Record Type:	Electronic resources : Monograph/item
Title/Author:	Integration of software specification techniques for applications in engineering/ Hartmut Ehrig ... [et al.] (eds.).
Reminder of title:	Priority Program SoftSpez of the German Research Foundation (DFG) : final report /
remainder title:	Priority Program SoftSpez
other author:	Ehrig, Hartmut.
Published:	Berlin ;Springer, : c2004.,
Description:	x, 628 p. :ill. ;24 cm.
Notes:	"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].
Subject:	Computer software - Specifications - Germany. -
Online resource:	https://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&AN=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:02363nmm a2200325 a 45 001 740745
003 OCoLC
005 20080429
006 m d
007 cr cnu---unuuu
008 250519s2004 gw a sb 101 0 eng d
020 $a 354027863X (electronic bk.)
035 $a ocm60799731
035 $a 740745
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 https://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&AN=133937 $z An electronic book accessible through the World Wide Web; click for information
994 $a 92 $b AMF