Liknande böcker

Software Engineering and Formal Methods : SEFM 2017 Collocated Workshops...
Bok av Antonio Cerone
Automated Technology for Verification and Analysis : 15th International...
Bok av Deepak D'Souza
Network and Parallel Computing : 14th IFIP WG 10.3 International Confere...
Bok av Xuanhua Shi
Vlsi-Soc: From Systems To Silicon : Proceedings of IFIP TC 10, WG 10.5,...
Bok av Ricardo. Reis
Building Arduino Projects for the Internet of Things : Experiments with...
Bok av Adeel. Javed
Formal Methods and Software Engineering : 17th International Conference...
Bok av Michael Butler
Rewriting Logic and Its Applications : 11th International Workshop, WRLA...
Bok av Dorel Lucanu
Risks and Security of Internet and Systems : 12th International Conferen...
Bok av Nora Cuppens

Tests and Proofs : 11th International Conference, TAP 2017, Held as Part of STAF 2017, Marburg, Germany, July 19–20, 2017, Proceedings

Bok av Sebastian Gabmeyer