Verification of Sequential and Concurrent Programs: Texts in Computer Science, Third Edition
Teilen: ![]()
![]()
![]()
![]()
![]()
![]()
Gesponsert
Medimops DE
Verification of Sequential and Concurrent Programs: Texts in Computer Science, Third Edition
Medimops DE
22-04-2026 17:39:09
SpringerLink DE
Gesponsert
Galaxus.de
Verification of Sequential and Concurrent Programs, Fachbücher von Krzysztof R. Apt, Frank S. de Boer, Ernst-Rüdiger Olderog
Galaxus.de
22-04-2026 18:30:15
