東華大學圖書館 |

Language: English

Help

回圖書館首頁

手機版館藏查詢

Back

Switch To: Labeled | MARC Mode | ISBD

Foundations of software science and ...

FOSSACS (Conference) (2020 :)

Linked to FindBook

Google Book

Amazon

博客來

Foundations of software science and computation structures = 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 /

Record Type:	Electronic resources : Monograph/item
Title/Author:	Foundations of software science and computation structures/ edited 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:	FOSSACS (Conference)
Published:	Cham :Springer International Publishing : : 2020.,
Description:	xv, 644 p. :ill., digital ;24 cm.
Contained By:	Springer eBooks
Subject:	Computer software - Congresses. -
Online resource:	https://doi.org/10.1007/978-3-030-45231-5
ISBN:	9783030452315

Foundations of software science and computation structures = 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 /
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 ;12077..

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

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

696751
Computer software
--Congresses.

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

Dewey Class. No.: 005.1

Foundations of software science and computation structures = 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 /
LDR:02395nmm a2200373 a 4500 001 2217934
003 DE-He213
005 20200818105737.0
006 m d
007 cr nn 008maaau
008 201120s2020 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 $a FOSSACS (Conference) $n (23rd : $d 2020 : $c Dublin, Ireland) $3 3451573
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 $x Congresses. $3 696751
650 0 $a Software engineering $x Congresses. $3 696781
650 1 4 $a Mathematical Logic and Foundations. $3 892656
650 2 4 $a Discrete Mathematics in Computer Science. $3 892513
650 2 4 $a Programming Languages, Compilers, Interpreters. $3 891123
650 2 4 $a Programming Techniques. $3 892496
650 2 4 $a Logic in AI. $3 3386372
650 2 4 $a Computer Systems Organization and Communication Networks. $3 891212
700 1 $a Goubault-Larrecq, Jean. $3 3451574
700 1 $a Konig, Barbara. $3 1569014
710 2 $a SpringerLink (Online service) $3 836513
711 2 $a ETAPS (Conference) $n (23rd : $d 2020 : $c Dublin, Ireland) $3 3451015
773 0 $t Springer eBooks
830 0 $a Lecture notes in computer science ; $v 12077. $3 3451575
856 4 0 $u https://doi.org/10.1007/978-3-030-45231-5
950 $a Mathematics and Statistics (Springer-11649)