Deductive verification of object-oriented software : dynamic frames, dynamic logic and predicate abstraction
12%
off

Deductive verification of object-oriented software : dynamic frames, dynamic logic and predicate abstraction

By (author) 

Free delivery worldwide

Available. Dispatched from the UK in 5 business days
When will my order arrive?

Product details

  • Paperback | 292 pages
  • 170 x 238 x 18mm | 498.95g
  • Karlsruher Institut für Technologie
  • English
  • 3866446233
  • 9783866446236