Foundations of Software Science and Computation Structures

Patricia Bouyer; Lutz Schröder

doi:10.1007/978-3-030-99253-8

Ouvrages Année : 2022

Foundations of Software Science and Computation Structures

(1) , (2)

1
2

Patricia Bouyer

Fonction : Auteur
PersonId : 174420
IdHAL : patricia-bouyer
ORCID : 0000-0002-2823-0911
IdRef : 176675426

Laboratoire Méthodes Formelles

Lutz Schröder

Fonction : Auteur
PersonId : 825843
ORCID : 0000-0002-3146-5906

Friedrich-Alexander Universität Erlangen-Nürnberg = University of Erlangen-Nuremberg

Domaines

Informatique [cs] Logique en informatique [cs.LO] Informatique et théorie des jeux [cs.GT]

Patricia Bouyer : Connectez-vous pour contacter le contributeur

https://centralesupelec.hal.science/hal-03654376

Soumis le : jeudi 28 avril 2022-15:37:54

Dernière modification le : jeudi 12 octobre 2023-11:48:05

Dates et versions

hal-03654376 , version 1 (28-04-2022)

Identifiants

HAL Id : hal-03654376 , version 1
DOI : 10.1007/978-3-030-99253-8

Citer

Patricia Bouyer, Lutz Schröder. Foundations of Software Science and Computation Structures. Springer International Publishing, 13242, 2022, Lecture Notes in Computer Science, ⟨10.1007/978-3-030-99253-8⟩. ⟨hal-03654376⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

CNRS INRIA ENS-CACHAN CENTRALESUPELEC UNIV-PARIS-SACLAY ANR ENS-PARIS-SACLAY GS-COMPUTER-SCIENCE LMF

12 Consultations

0 Téléchargements

Foundations of Software Science and Computation Structures

Domaines

Dates et versions

Identifiants

Citer

Exporter

Collections

Altmetric

Partager