Online Library TheLib.net » Тема, жанр, tags: Architecture-Data processing.,Formal methods (Computer science)
book Formal Methods in Architecture and Urbanism
Formal Methods in Architecture and Urbanism
pdf
00
02.03.2024
0
0
Read online
book Formal development of a network-centric RTOS: software engineering for reliable embedded systems
Formal development of a network-centric RTOS: software engineering for reliable embedded systems
pdf
00
07.02.2024
0
0
Read online
book Formal development of a network-centric RTOS: software engineering for reliable embedded systems
Formal development of a network-centric RTOS: software engineering for reliable embedded systems
epub
00
06.02.2024
0
0
Read online
book Extension innovation method
Extension innovation method
pdf
00
30.01.2024
0
0
Read online
book Formal aspects of component software : 14th International Conference, FACS 2017, Braga, Portugal, October 10-13, 2017, Proceedings
Formal aspects of component software : 14th International Conference, FACS 2017, Braga, Portugal, October 10-13, 2017, Proceedings
pdf
00
29.01.2024
0
0
Read online
book Runtime verification : 17th International Conference, RV 2017, Seattle, WA, USA, September 13-16, 2017, Proceedings
Runtime verification : 17th International Conference, RV 2017, Seattle, WA, USA, September 13-16, 2017, Proceedings
pdf
00
29.01.2024
0
0
Read online
book Integrated formal methods : 13th International Conference, IFM 2017, Turin, Italy, September 20-22, 2017, Proceedings
Integrated formal methods : 13th International Conference, IFM 2017, Turin, Italy, September 20-22, 2017, Proceedings
pdf
00
29.01.2024
0
0
Read online
book Software engineering and formal methods : 15th International Conference, SEFM 2017, Trento, Italy, September 4?8, 2017, Proceedings
Software engineering and formal methods : 15th International Conference, SEFM 2017, Trento, Italy, September 4?8, 2017, Proceedings
pdf
00
29.01.2024
0
0
Read online