Author: Mikołaj Bojańczyk
Publisher:
ISBN: 9783959772150
Category :
Languages : en
Pages : 0
Book Description
41st IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science
Author: Mikołaj Bojańczyk
Publisher:
ISBN: 9783959772150
Category :
Languages : en
Pages : 0
Book Description
Publisher:
ISBN: 9783959772150
Category :
Languages : en
Pages : 0
Book Description
Foundations of Software Science and Computation Structures
Author: Orna Kupferman
Publisher: Springer Nature
ISBN: 3031308298
Category : Computers
Languages : en
Pages : 575
Book Description
This open access book constitutes the proceedings of the 26th International Conference on Foundations of Software Science and Computational Structures, FOSSACS 2023, which was held during April 22-27, 2023, in Paris, France, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023. The 26 regular papers presented in this volume were carefully reviewed and selected from 85 submissions. They deal with research on theories and methods to support the analysis, integration, synthesis, transformation, and verification of programs and software systems.
Publisher: Springer Nature
ISBN: 3031308298
Category : Computers
Languages : en
Pages : 575
Book Description
This open access book constitutes the proceedings of the 26th International Conference on Foundations of Software Science and Computational Structures, FOSSACS 2023, which was held during April 22-27, 2023, in Paris, France, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023. The 26 regular papers presented in this volume were carefully reviewed and selected from 85 submissions. They deal with research on theories and methods to support the analysis, integration, synthesis, transformation, and verification of programs and software systems.
IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science
Author: Ramesh Hariharan
Publisher:
ISBN: 9783939897088
Category :
Languages : en
Pages : 0
Book Description
Publisher:
ISBN: 9783939897088
Category :
Languages : en
Pages : 0
Book Description
IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science
Author: Ravi Kannan
Publisher:
ISBN: 9783939897132
Category :
Languages : en
Pages : 0
Book Description
Publisher:
ISBN: 9783939897132
Category :
Languages : en
Pages : 0
Book Description
Foundations of Software Science and Computation Structures
Author: Naoki Kobayashi
Publisher: Springer Nature
ISBN: 3031572289
Category :
Languages : en
Pages : 290
Book Description
Publisher: Springer Nature
ISBN: 3031572289
Category :
Languages : en
Pages : 290
Book Description
IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2011)
Author: Supratik Chakraborty
Publisher:
ISBN: 9783939897347
Category :
Languages : en
Pages : 0
Book Description
Publisher:
ISBN: 9783939897347
Category :
Languages : en
Pages : 0
Book Description
IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2013)
Author: Anil Seth
Publisher:
ISBN: 9783939897644
Category :
Languages : en
Pages : 0
Book Description
Publisher:
ISBN: 9783939897644
Category :
Languages : en
Pages : 0
Book Description
IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2012)
Author: Deepak D'Souza
Publisher:
ISBN: 9783939897477
Category :
Languages : en
Pages : 0
Book Description
Publisher:
ISBN: 9783939897477
Category :
Languages : en
Pages : 0
Book Description
39th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2019)
Author: Arkadev Chattopadhyay
Publisher:
ISBN: 9783959771313
Category :
Languages : en
Pages :
Book Description
Publisher:
ISBN: 9783959771313
Category :
Languages : en
Pages :
Book Description
40th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2020)
Author: Nitin Saxena
Publisher:
ISBN: 9783959771740
Category :
Languages : en
Pages :
Book Description
Publisher:
ISBN: 9783959771740
Category :
Languages : en
Pages :
Book Description