Druck auf Anfrage Neuware - Printed after ordering - 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.

N� de r�f. du vendeur 9783030452308

Contacter le vendeur

Signaler cet article

D�tails bibliographiques

Titre: 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
�diteur: Springer International Publishing
Date de parution: 2020
Langue: anglais
ISBN � 10 chiffres: 3030452301
ISBN � 13 chiffres: 9783030452308
Reliure: Taschenbuch
�tat de l'article: Neu

A propos de ce titre

Synopsis

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.

Les informations fournies dans la section � A propos du livre � peuvent faire r�f�rence � une autre �dition de ce titre.

Description de la librairie

Das Unternehmen AHA-BUCH GmbH: Seit der Gr�ndung von AHA-BUCH im Juli 2005 ist unser Hauptziel, zufriedenen Kunden so schnell und so preisg�nstig wie m�glich ihren B�cherwunsch zu erf�llen. Unsere Firma besch�ftigt 16 Mitarbeiter, die nur ein Ziel kennen: den Kunden und seine W�nsche! Auf �ber 3700 m2 Fl�che haben wir �ber 100.000 B�cher, Modernes Antiquariat und Spiele auf Lager.

Visitez la page d�accueil du vendeur

Informations commerciales relatives au vendeur

AHA-BUCH GmbH
Garlebsen 48, Einbeck, 37574, Germany

Conditions de vente et de livraison

Conditions g�n�rales de vente

Conditions g�n�rales et informations client

I. Conditions g�n�rales

� 1 Dispositions de base

(1) Les conditions g�n�rales suivantes s?appliquent � tous les contrats que vous concluez avec nous en tant que fournisseur (AHA-BUCH GmbH) via les plateformes Internet AbeBooks et/ou ZVAB. Sauf accord contraire, l?inclusion de l?une de vos propres conditions g�n�rales que vous utilisez sera contest�e

(2) Un consommateur au sens des r�glements suivants est toute personne physique qui conclut une transact...

Pour plus d'information

Conditions d'exp�dition

Nous exp�dions votre commande apr�s les avoir re�ues
pour les articles disponibles au plus tard 24 heures,
pour les articles avec un approvisionnement de nuit au plus tard 48 heures.
Dans le cas o� nous devons commander un article aupr�s de notre fournisseur, notre d�lai d’exp�dition d�pend de la date de r�ception des articles, mais les articles seront exp�di�s le jour m�me.

Notre objectif est d’envoyer les articles command�s de la mani�re la plus rapide, mais aussi la plus efficace et la plus s�curis�e � nos clients.

Informations vendeur d�taill�es