國立高雄大學圖資館 |

Language: English

Back

Foundations of software science and computation structures25th International Conference, FOSSACS 2022, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2-7, 2022 : proceedings /

Record Type:	Electronic resources : Monograph/item
Title/Author:	Foundations of software science and computation structuresedited by Patricia Bouyer, Lutz Schroder.
Reminder of title:	25th International Conference, FOSSACS 2022, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2-7, 2022 : proceedings /
remainder title:	FOSSACS 2022
other author:	Bouyer, Patricia.
corporate name:
Published:	Cham :Springer International Publishing :2022.
Description:	xvi, 471 p. :ill., digital ;24 cm.
Contained By:	Springer Nature eBook
Subject:	Computer software
Online resource:	https://doi.org/10.1007/978-3-030-99253-8
ISBN:	9783030992538$q(electronic bk.)

Foundations of software science and computation structures25th International Conference, FOSSACS 2022, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2-7, 2022 : proceedings /
Foundations of software science and computation structures25th International Conference, FOSSACS 2022, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2-7, 2022 : proceedings /[electronic resource] :FOSSACS 2022edited by Patricia Bouyer, Lutz Schroder. - Cham :Springer International Publishing :2022. - xvi, 471 p. :ill., digital ;24 cm. - Lecture notes in computer science,132420302-9743 ;. - Lecture notes in computer science ;4891..

Open access.

This open access book constitutes the proceedings of the 25th International Conference on Foundations of Software Science and Computational Structures, FOSSACS 2022, which was held during April 4-6, 2022, in Munich, Germany, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022. The 23 regular papers presented in this volume were carefully reviewed and selected from 77 submissions. They deal with research on theories and methods to support the analysis, integration, synthesis, transformation, and verification of programs and software systems.

ISBN: 9783030992538$q(electronic bk.)

Standard No.: 10.1007/978-3-030-99253-8doiSubjects--Topical Terms:

252618
Computer software

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

Dewey Class. No.: 005.1

Foundations of software science and computation structures25th International Conference, FOSSACS 2022, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2-7, 2022 : proceedings /
LDR:01913nmm a2200361 a 4500 001 622457
003 DE-He213
005 20220328212538.0
006 m d
007 cr nn 008maaau
008 221209s2022 sz s 0 eng d
020 $a 9783030992538$q(electronic bk.)
020 $a 9783030992521$q(paper)
024 7 $a 10.1007/978-3-030-99253-8 $2 doi
035 $a 978-3-030-99253-8
040 $a GP $c GP
041 0 $a eng
050 4 $a QA76.751 $b .F67 2022
072 7 $a UYA $2 bicssc
072 7 $a COM014000 $2 bisacsh
072 7 $a UYA $2 thema
082 0 4 $a 005.1 $2 23
090 $a QA76.751 $b .F751 2022
111 2 $n (3rd : $d 1998 : $c Amsterdam, Netherlands) $3 194767
245 1 0 $a Foundations of software science and computation structures $h [electronic resource] : $b 25th International Conference, FOSSACS 2022, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2-7, 2022 : proceedings / $c edited by Patricia Bouyer, Lutz Schroder.
246 3 $a FOSSACS 2022
246 3 $a ETAPS 2022
260 $a Cham : $b Springer International Publishing : $b Imprint: Springer, $c 2022.
300 $a xvi, 471 p. : $b ill., digital ; $c 24 cm.
490 1 $a Lecture notes in computer science, $x 0302-9743 ; $v 13242
506 $a Open access.
520 $a This open access book constitutes the proceedings of the 25th International Conference on Foundations of Software Science and Computational Structures, FOSSACS 2022, which was held during April 4-6, 2022, in Munich, Germany, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022. The 23 regular papers presented in this volume were carefully reviewed and selected from 77 submissions. They deal with research on theories and methods to support the analysis, integration, synthesis, transformation, and verification of programs and software systems.
650 0 $a Computer software $3 252618
650 0 $a Software engineering $3 253562
650 1 4 $a Theory of Computation. $3 274475
650 2 4 $a Mathematical Logic and Foundations. $3 274479
650 2 4 $a Data Structures and Information Theory. $3 825714
650 2 4 $a Computer System Implementation. $3 276333
650 2 4 $a Mathematics of Computing. $3 273710
700 1 $a Bouyer, Patricia. $3 924239
700 1 $a Schroder, Lutz. $3 573040
710 2 $a SpringerLink (Online service) $3 273601
711 2 $n (3rd : $d 1998 : $c Amsterdam, Netherlands) $3 194767
773 0 $t Springer Nature eBook
830 0 $a Lecture notes in computer science ; $v 4891. $3 383229
856 4 0 $u https://doi.org/10.1007/978-3-030-99253-8
950 $a Computer Science (SpringerNature-11645)