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

DOWNLOAD EBOOK

Software -- Software Engineering.
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

DOWNLOAD 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: 512
Authors: Krzysztof Apt
Categories: Computers
Type: BOOK - Published: 2010-10-14 - Publisher: Springer Science & Business Media

DOWNLOAD 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

DOWNLOAD 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
Computer Aided Verification
Language: en
Pages: 737
Authors: Ahmed Bouajjani
Categories: Computers
Type: BOOK - Published: 2009-06-23 - Publisher: Springer

DOWNLOAD EBOOK

This book constitutes the refereed proceedings of the 21st International Conference on Computer Aided Verification, CAV 2009, held in Grenoble, France, in June/