Verification of Sequential and Concurrent Programs
| Author | : Krzysztof R. Apt |
| Publisher | : Springer Science & Business Media |
| Total Pages | : 396 |
| Release | : 1997 |
| ISBN-10 | : 0387948961 |
| ISBN-13 | : 9780387948966 |
| Rating | : 4/5 (966 Downloads) |
Book Synopsis Verification of Sequential and Concurrent Programs by : Krzysztof R. Apt
Download or read book Verification of Sequential and Concurrent Programs written by Krzysztof R. Apt and published by Springer Science & Business Media. This book was released on 1997 with total page 396 pages. Available in PDF, EPUB and Kindle. Book excerpt: Software -- Software Engineering.