Ebook: Formal Methods for Executable Software Models: 14th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2014, Bertinoro, Italy, June 16-20, 2014, Advanced Lectures
- Genre: Computers // Programming: Modeling languages
- Tags: Software Engineering, Logics and Meanings of Programs, Programming Languages Compilers Interpreters, Theory of Computation
- Series: Lecture Notes in Computer Science 8483 : Programming and Software Engineering
- Year: 2014
- Publisher: Springer International Publishing
- Edition: 1
- Language: English
- pdf
Download the book Formal Methods for Executable Software Models: 14th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2014, Bertinoro, Italy, June 16-20, 2014, Advanced Lectures for free or read online
Continue reading on any device:
Last viewed books
Related books
{related-news}
Comments (0)