Del 10090
Formal Methods: Foundations and Applications
19th Brazilian Symposium, SBMF 2016, Natal, Brazil, November 23-25, 2016, Proceedings
AvThierry Lecomte,Leila Ribeiro
E-bok
PDF, Engelska, 2016734 kr
Läs direkt i Bokus Reader – eller ladda ned till din enhet (PDF kräver ofta zoom och scroll på små skärmar).
Beskrivning
This book constitutes the refereed proceedings of the 19th Brazilian Symposium on Formal Methods, SBMF 2016, which took place in Natal, Brazil, in November 2016.
The 12 papers presented together with two invited talks were carefully reviewed and selected from 22 submissions. They are organized in the following topical sections: analysis and verification; modeling and logic; and model checking.
Produktinformation
Utforska kategorier
Hoppa över listan
Du kanske också är intresserad av
Graph Transformations
Grzegorz Rozenberg, Leila Ribeiro, Ugo Montanari, Hartmut Ehrig, Andrea Corradini
E-bok
2006687 kr
Del 14939
Graph Transformations
Andrea Corradini, Hartmut Ehrig, Ugo Montanari, Leila Ribeiro, Grzegorz Rozenberg
Häftad, 2006
550 kr
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification
Thierry Lecomte, Simon Collart-Dutilleul, Maurice H. ter Beek
E-bok
2025815 kr
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification
Alexander Romanovsky, Thierry Lecomte, Simon Collart-Dutilleul
E-bok
2019815 kr
Del 9707
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification
Thierry Lecomte, Ralf Pinger, Alexander Romanovsky
Häftad, 2016
565 kr
Del 14198
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification
Birgit Milius, Simon Collart-Dutilleul, Thierry Lecomte
Häftad, 2023
711 kr
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification
Thierry Lecomte, Anne E. Haxthausen, Simon Collart-Dutilleul
E-bok
2022865 kr