Verification of Sequential and Concurrent Programs photograph

Verification Of Sequential And Concurrent Programs

Book by Ernst-Rüdiger Olderog and Krzysztof R. Apt
Use attributes for filter !
Google books books.google.com
Originally published 1991
Authors Ernst-Rüdiger Olderog
Krzysztof R. Apt
Date of Reg.
Date of Upd.
ID2055724
Send edit request

About Verification Of Sequential And Concurrent Programs

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 not language-bounded in the sense that it covers a large variety of programming models and features that appear in most modern programming languages. . . .

Related Persons

Principles of constraint programming - Textbook by Krzysztof Apt

Principles of constraint programming

Textbook by Krzysztof Apt
From Logic Programming to Prolog - Book by Krzysztof Apt

From Logic Programming to Prolog

Book by Krzysztof Apt
Logic Programming - Book by Krzysztof Apt

Logic Programming

Book by Krzysztof Apt
Concepts in Programming Languages - Book by John C. Mitchell and Krzysztof Apt

Concepts in Programming Languages

Book by John C. Mitchell and Krzysztof Apt
Real-Time Systems: Formal Specification and Automatic Verification - Book by Ernst-Rüdiger Olderog and Henning Dierks

Real-Time Systems: Formal Specification and Automatic Verification

Book by Ernst-Rüdiger Olderog and Henning Dierks
Nets, terms and formulas - Book by Ernst-Rüdiger Olderog

Nets, terms and formulas

Book by Ernst-Rüdiger Olderog
Next Profile ❯