Search results for ‘Krzysztof R Apt,Ernst-Rudiger Olderog’

Filter & Refine

      Cover image for Programmverifikation: Sequentielle, Parallele Und Verteilte Programme
      Hardback
      Add to list Added to list

      Programmverifikation: Sequentielle, Parallele Und Verteilte Programme

      Krzysztof R Apt,Ernst-Rudiger Olderog

      Dieses Buch bietet als erstes Lehrbuch eine systematische Einf}hrung in die Programmverifikation. Sequentielle, parallele und verteilte Programme werdenin einheitlicher Weise behandelt. In den einzelnen Kapiteln des Buches werden deterministische und…

      $76.99

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

      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