國立虎尾科技大學 |

Language: English

Back

Foundations of software science and ...

SpringerLink (Online service)

Foundations of software science and computational structures = 14th International Conference, FOSSACS 2011, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrucken, Germany, March 26-April 3, 2011 : proceedings /

Record Type:	Language materials, printed : Monograph/item
Title/Author:	Foundations of software science and computational structures/ edited by Martin Hofmann.
Reminder of title:	14th International Conference, FOSSACS 2011, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrucken, Germany, March 26-April 3, 2011 : proceedings /
other author:	Hofmann, Martin.
corporate name:	Workshop on the Preservation of Stability under Discretization
Published:	Berlin, Heidelberg :Springer Berlin Heidelberg, : 2011.,
Description:	xv, 472 p. :ill., digital ; : 24 cm.;
Series:	Lecture notes in computer science,
Contained By:	Springer eBooks
Subject:	Computer software - Congresses. -
Online resource:	http://dx.doi.org/10.1007/978-3-642-19805-2
ISBN:	9783642198052 (electronic bk.)

Foundations of software science and computational structures = 14th International Conference, FOSSACS 2011, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrucken, Germany, March 26-April 3, 2011 : proceedings /
Foundations of software science and computational structures14th International Conference, FOSSACS 2011, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrucken, Germany, March 26-April 3, 2011 : proceedings /[electronic resource] :edited by Martin Hofmann. - Berlin, Heidelberg :Springer Berlin Heidelberg,2011. - xv, 472 p. :ill., digital ;24 cm. - Lecture notes in computer science,66040302-9743 ;.

ISBN: 9783642198052 (electronic bk.)Subjects--Topical Terms:

674582
Computer software
--Congresses.

LC Class. No.: QA76.751 / .F67 2011

Dewey Class. No.: 005.1

Foundations of software science and computational structures = 14th International Conference, FOSSACS 2011, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrucken, Germany, March 26-April 3, 2011 : proceedings /
LDR:01046nam 2200241 a 4500 001 677730
003 Springer
005 20110720192055.0
006 m d
007 cr nn 008maaau
008 111108s2011 gw s j eng d
020 $a 9783642198052 (electronic bk.)
020 $a 9783642198045 (paper)
035 $a 978-3-642-19804-5
050 0 4 $a QA76.751 $b .F67 2011
082 0 4 $a 005.1 $2 22
090 $a QA76.751 $b .F751 2011
111 2 $a Workshop on the Preservation of Stability under Discretization $d (2001 : $c Fort Collins, Colo.) $3 527686
245 1 0 $a Foundations of software science and computational structures $h [electronic resource] : $b 14th International Conference, FOSSACS 2011, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrucken, Germany, March 26-April 3, 2011 : proceedings / $c edited by Martin Hofmann.
260 $a Berlin, Heidelberg : $b Springer Berlin Heidelberg, $c 2011.
300 $a xv, 472 p. : $b ill., digital ; $c 24 cm.
440 0 $a Lecture notes in computer science, $x 0302-9743 ; $v 6604
650 0 $a Computer software $v Congresses. $3 674582 $3 727794
650 1 4 $a Computer Science. $3 593922
650 2 4 $a Mathematical Logic and Formal Languages. $3 670059
650 2 4 $a Computation by Abstract Devices. $3 669792
650 2 4 $a Logics and Meanings of Programs. $3 670058
650 2 4 $a Programming Languages, Compilers, Interpreters. $3 669782
650 2 4 $a Software Engineering. $3 669632
700 1 $a Hofmann, Martin. $3 785122
710 2 $a SpringerLink (Online service) $3 593884
773 0 $t Springer eBooks
856 4 0 $u http://dx.doi.org/10.1007/978-3-642-19805-2
950 $a Computer Science (Springer-11645)

based on 0 review(s)

Multimedia

Reviews

Add a review and share your thoughts with other readers

Export

pickup library