Program Verification: Fundamental Issues in Computer Science

Author
Timothy R. Colburn (auth.), Timothy R. Colburn, James H. Fetzer, Terry L. Rankin (eds.)
Publisher
Springer Netherlands
Language
English
Edition
1
Year
1993
Page
458
ISBN
978-94-010-4789-0,978-94-011-1793-7
File Type
pdf
File Size
8.4 MiB

How to Download?!!!

Just click on START button on Telegram Bot

Free Download Book