Cantitate/Preț
Produs
Total produse
Vezi coșul
Foundations of Software Science and Computation Structures de Jean Goubault-Larrecq

Foundations of Software Science and Computation Structures

Autor Jean Goubault-Larrecq, Barbara König
en Limba Engleză Paperback – 8 oct 2020
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.​

This work was published by Saint Philip Street Press pursuant to a Creative Commons license permitting commercial use. All rights not granted by the work's license are retained by the author or authors.

Citește tot Restrânge

Toate formatele și edițiile

Toate formatele și edițiile Preț Express
Paperback (2) 37592 lei  6-8 săpt.
  Springer International Publishing – 18 apr 2020 37592 lei  6-8 săpt.
  Saint Philip Street Press – 8 oct 2020 68883 lei  38-44 zile
Hardback (1) 76494 lei  38-44 zile
  Saint Philip Street Press – 8 oct 2020 76494 lei  38-44 zile

Preț: 68883 lei

Preț vechi: 89459 lei
-23% Nou

Puncte Express: 1033
Preț estimativ în valută:
13183€ • 135100$ • 11157£

Carte tipărită la comandă

Livrare economică 28 februarie-06 martie

 Adaugă în coș

Wish list
Gift list
Am citit!
Adaugă în listă
Preluare comenzi: 021 569.72.76

Specificații

ISBN-13: 9781013277306
ISBN-10: 1013277309
Pagini: 656
Dimensiuni: 216 x 280 x 34 mm
Greutate: 1.5 kg
Editura: Saint Philip Street Press

Textul de pe ultima copertă

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; modelsof software security; and logical foundations of data bases