Formal Methods The Next 30 Years
Teilen: ![]()
![]()
![]()
![]()
![]()
![]()
Gesponsert
Medimops DE
Formal Methods – The Next 30 Years: Third World Congress, FM 2019, Porto, Portugal, October 7–11, 2019, Proceedings (Lecture Notes in Computer Science, Band 11800)
Medimops DE
28-10-2026 15:23:03
Hugendubel
Gesponsert
Galaxus.de
Formal Methods - The Next 30 Years, Fachbücher von Annabelle McIver, Maurice H. ter Beek, José N. Oliveira
Galaxus.de
29-10-2026 14:44:42
SpringerLink DE 
