國立高雄大學圖資館 |

Language: English

Back

Foundations of software science and ...

(1998 :)

Foundations of software science and computation structures23rd International Conference, FOSSACS 2020, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25-30, 2020, proceedings /

Record Type:	Electronic resources : Monograph/item
Title/Author:	Foundations of software science and computation structuresedited by Jean Goubault-Larrecq, Barbara Konig.
Reminder of title:	23rd International Conference, FOSSACS 2020, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25-30, 2020, proceedings /
remainder title:	FOSSACS 2020
other author:	Goubault-Larrecq, Jean.
corporate name:
Published:	Cham :Springer International Publishing :2020.
Description:	xv, 644 p. :ill., digital ;24 cm.
Contained By:	Springer eBooks
Subject:	Computer software
Online resource:	https://doi.org/10.1007/978-3-030-45231-5
ISBN:	9783030452315$q(electronic bk.)

Foundations of software science and computation structures23rd International Conference, FOSSACS 2020, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25-30, 2020, proceedings /
Foundations of software science and computation structures23rd International Conference, FOSSACS 2020, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25-30, 2020, proceedings /[electronic resource] :FOSSACS 2020edited by Jean Goubault-Larrecq, Barbara Konig. - Cham :Springer International Publishing :2020. - xv, 644 p. :ill., digital ;24 cm. - Lecture notes in computer science ;12077. - Lecture notes in computer science ;4891..

Open access.

This open access book constitutes the proceedings of the 23rd International Conference on Foundations of Software Science and Computational Structures, FOSSACS 2020, which took place in Dublin, Ireland, in April 2020, and was held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020. The 31 regular papers presented in this volume were carefully reviewed and selected from 98 submissions. The papers cover topics such as categorical models and logics; language theory, automata, and games; modal, spatial, and temporal logics; type theory and proof theory; concurrency theory and process calculi; rewriting theory; semantics of programming languages; program analysis, correctness, transformation, and verification; logics of programming; software specification and refinement; models of concurrent, reactive, stochastic, distributed, hybrid, and mobile systems; emerging models of computation; logical aspects of computational complexity; models of software security; and logical foundations of data bases.

ISBN: 9783030452315$q(electronic bk.)

Standard No.: 10.1007/978-3-030-45231-5doiSubjects--Topical Terms:

252618
Computer software

LC Class. No.: QA76.751 / .F686 2020

Dewey Class. No.: 005.1

Foundations of software science and computation structures23rd International Conference, FOSSACS 2020, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25-30, 2020, proceedings /
LDR:02395nmm a2200373 a 4500 001 572090
003 DE-He213
005 20200818105737.0
006 m d
007 cr nn 008maaau
008 200922s2020 sz s 0 eng d
020 $a 9783030452315$q(electronic bk.)
020 $a 9783030452308$q(paper)
024 7 $a 10.1007/978-3-030-45231-5 $2 doi
035 $a 978-3-030-45231-5
040 $a GP $c GP
041 0 $a eng
050 4 $a QA76.751 $b .F686 2020
072 7 $a PBC $2 bicssc
072 7 $a MAT018000 $2 bisacsh
072 7 $a PBC $2 thema
072 7 $a PBCD $2 thema
082 0 4 $a 005.1 $2 23
090 $a QA76.751 $b .F751 2020
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 23rd International Conference, FOSSACS 2020, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25-30, 2020, proceedings / $c edited by Jean Goubault-Larrecq, Barbara Konig.
246 3 $a FOSSACS 2020
246 3 $a ETAPS 2020
260 $a Cham : $b Springer International Publishing : $b Imprint: Springer, $c 2020.
300 $a xv, 644 p. : $b ill., digital ; $c 24 cm.
490 1 $a Lecture notes in computer science ; $v 12077
506 $a Open access.
520 $a This open access book constitutes the proceedings of the 23rd International Conference on Foundations of Software Science and Computational Structures, FOSSACS 2020, which took place in Dublin, Ireland, in April 2020, and was held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020. The 31 regular papers presented in this volume were carefully reviewed and selected from 98 submissions. The papers cover topics such as categorical models and logics; language theory, automata, and games; modal, spatial, and temporal logics; type theory and proof theory; concurrency theory and process calculi; rewriting theory; semantics of programming languages; program analysis, correctness, transformation, and verification; logics of programming; software specification and refinement; models of concurrent, reactive, stochastic, distributed, hybrid, and mobile systems; emerging models of computation; logical aspects of computational complexity; models of software security; and logical foundations of data bases.
650 0 $a Computer software $3 252618
650 0 $a Software engineering $3 253562
650 1 4 $a Mathematical Logic and Foundations. $3 274479
650 2 4 $a Discrete Mathematics in Computer Science. $3 274791
650 2 4 $a Programming Languages, Compilers, Interpreters. $3 274102
650 2 4 $a Programming Techniques. $3 274470
650 2 4 $a Logic in AI. $3 836108
650 2 4 $a Computer Systems Organization and Communication Networks. $3 273709
700 1 $a Goubault-Larrecq, Jean. $3 858990
700 1 $a Konig, Barbara. $3 524431
710 2 $a SpringerLink (Online service) $3 273601
711 2 $n (3rd : $d 1998 : $c Amsterdam, Netherlands) $3 194767
773 0 $t Springer eBooks
830 0 $a Lecture notes in computer science ; $v 4891. $3 383229
856 4 0 $u https://doi.org/10.1007/978-3-030-45231-5
950 $a Mathematics and Statistics (Springer-11649)