Formal Methods: Foundations and Applications: 19th Brazilian Symposium, SBMF 2016, Natal, Brazil, November 23-25, 2016, Proceedings (Lecture Notes in Computer Science)
53.49 EUR
Ein kompakter Sammelband aus dem 19. brasilianischen Symposium über formale Methoden, der aktuelle Forschungsergebnisse zu Modellierung, Verifikation und Analyse von Softwaresystemen präsentiert.
Teilen: ![]()
![]()
![]()
![]()
![]()
![]()
Gesponsert
Medimops DE
Formal Methods: Foundations and Applications: 19th Brazilian Symposium, SBMF 2016, Natal, Brazil, November 23-25, 2016, Proceedings (Lecture Notes in Computer Science)
Medimops DE
14-06-2026 02:17:00
SpringerLink DE 
Galaxus.de 
