Search results for ‘Krzysztof R. Apt,Frank S. de Boer,Ernst-Rudiger Olderog’

Filter & Refine

      Cover image for Verification of Sequential and Concurrent Programs
      Hardback
      Add to list Added to list

      Verification of Sequential and Concurrent Programs

      Krzysztof R. Apt,Frank S. de Boer,Ernst-Rudiger Olderog

      HIS BOOK CONTAINS a most comprehensive text that presents syntax-directed and compositional methods for the formal veri?- T cation of programs.

      $260.99

      Available to order, ships in 7-14 daysAvailable to order

      Cover image for Verification of Sequential and Concurrent Programs
      Paperback
      Add to list Added to list

      Verification of Sequential and Concurrent Programs

      Krzysztof R. Apt,Frank S. de Boer,Ernst-Rudiger Olderog

      HIS BOOK CONTAINS a most comprehensive text that presents syntax-directed and compositional methods for the formal veri?- T cation of programs.

      $227.99

      Available to order, ships in 7-14 daysAvailable to order