Formal Methods

Author: Klaus Havelund, Jan Peleska, Bill Roscoe, Erik de Vink
Publisher: Springer International Publishing
Language: English
Edition: 1st ed.
Year: 2018
Page: XIV, 692
ISBN: 978-3-319-95581-0,978-3-319-95582-7
File Type: pdf
File Size: 25.6 MiB

How to Download?!!!

Just click on START button on Telegram Bot

Free Download Book