The
Lib
.net
Online Library TheLib.net
» Тема, жанр, tags: Mathematical Logic and Formal Languages,Logics and Meanings of Programs,Software Engineering/Program
Reachability Problems : 17th International Conference, RP 2023, Nice, France, October 11–13, 2023, Proceedings
pdf
Author:
Olivier Bournez
,
Enrico Formenti
,
Igor Potapov
Language:
English
Year:
2023
0
0
11.02.2025
1
0
Read online
Formal Techniques for Distributed Objects, Components, and Systems: 40th IFIP WG 6.1 International Conference, FORTE 2020, Held as Part of the 15th International Federated Conference on Distributed Computing Techniques, DisCoTec 2020, Valletta, Malta, Jun
pdf
Author:
Alexey Gotsman Ana Sokolova
Language:
English
Year:
2020
0
0
07.02.2024
0
0
Read online
Inductive Logic Programming: 29th International Conference, ILP 2019, Plovdiv, Bulgaria, September 3–5, 2019, Proceedings
pdf
Author:
Dimitar Kazakov Can Erten
Language:
English
Year:
2020
0
0
07.02.2024
1
0
Read online
Automated Reasoning: 10th International Joint Conference, IJCAR 2020, Paris, France, July 1–4, 2020, Proceedings, Part I
pdf
Author:
Nicolas Peltier Viorica Sofronie-Stokkermans
Language:
English
Year:
2020
0
0
07.02.2024
0
0
Read online
Automated Reasoning: 10th International Joint Conference, IJCAR 2020, Paris, France, July 1–4, 2020, Proceedings, Part II
pdf
Author:
Nicolas Peltier Viorica Sofronie-Stokkermans
Language:
English
Year:
2020
0
0
07.02.2024
3
0
Read online
Application and Theory of Petri Nets and Concurrency: 41st International Conference, PETRI NETS 2020, Paris, France, June 24–25, 2020, Proceedings
pdf
Author:
Ryszard Janicki Natalia Sidorova Thomas Chatain
Language:
English
Year:
2020
0
0
07.02.2024
1
0
Read online
Frontiers in Software Engineering Education: First International Workshop, FISEE 2019, Villebrumier, France, November 11–13, 2019, Invited Papers
pdf
Author:
Jean-Michel Bruel Alfredo Capozucca Manuel Mazzara Bertrand Meyer Alexandr Naumchev Andrey Sadovykh
Language:
English
Year:
2020
0
0
07.02.2024
0
0
Read online
Testing Software and Systems: 32nd IFIP WG 6.1 International Conference, ICTSS 2020, Naples, Italy, December 9–11, 2020, Proceedings
pdf
Author:
Valentina Casola Alessandra De Benedictis Massimiliano Rak
Language:
English
Year:
2020
0
0
07.02.2024
1
0
Read online
Programming Languages and Systems: 18th Asian Symposium, APLAS 2020, Fukuoka, Japan, November 30 – December 2, 2020, Proceedings
pdf
Author:
Bruno C. d. S. Oliveira
Language:
English
Year:
2020
0
0
07.02.2024
0
0
Read online
Deductive Software Verification: Future Perspectives: Reflections on the Occasion of 20 Years of KeY
pdf
Author:
Wolfgang Ahrendt Bernhard Beckert Richard Bubel Reiner Hähnle Mattias Ulbrich
Language:
English
Year:
2020
0
0
07.02.2024
0
0
Read online
1
2
3
4
5
6
7
8
9
10
...
338
Авторизация
Запомнить
Войти на сайт
Регистрация
Восстановить пароль
Или войти через
