Verification of Sequential and Concurrent Programs

Verification of Sequential and Concurrent Programs
Author :
Publisher : Springer Science & Business Media
Total Pages : 396
Release :
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.


Verification of Sequential and Concurrent Programs Related Books

Verification of Sequential and Concurrent Programs
Language: en
Pages: 396
Authors: Krzysztof R. Apt
Categories: Computers
Type: BOOK - Published: 1997 - Publisher: Springer Science & Business Media

GET EBOOK

Software -- Software Engineering.
Verification of Sequential and Concurrent Programs
Language: en
Pages: 512
Authors: Krzysztof Apt
Categories: Computers
Type: BOOK - Published: 2010-10-14 - Publisher: Springer Science & Business Media

GET EBOOK

HIS BOOK CONTAINS a most comprehensive text that presents syntax-directed and compositional methods for the formal veri?- T cation of programs. The approach is
Verification of Sequential and Concurrent Programs
Language: en
Pages: 452
Authors: Krzysztof R. Apt
Categories: Computers
Type: BOOK - Published: 2013-03-09 - Publisher: Springer Science & Business Media

GET EBOOK

This book provides a structured introduction to the verification of sequen tial and concurrent programs. It thus belongs to the area of programming languages bu
Verification of Sequential and Concurrent Programs
Language: en
Pages: 512
Authors: Krzysztof R. Apt
Categories: Computers
Type: BOOK - Published: 2009-09-18 - Publisher: Springer Science & Business Media

GET EBOOK

HIS BOOK CONTAINS a most comprehensive text that presents syntax-directed and compositional methods for the formal veri?- T cation of programs. The approach is
Handbook of Model Checking
Language: en
Pages: 1210
Authors: Edmund M. Clarke
Categories: Computers
Type: BOOK - Published: 2018-05-18 - Publisher: Springer

GET EBOOK

Model checking is a computer-assisted method for the analysis of dynamical systems that can be modeled by state-transition systems. Drawing from research tradit