Filters
Availability
Topics
Contributor
Article Type
A - Z
  • A
  • B
  • C
  • D
  • E
  • F
  • G
  • H
  • I
  • J
  • K
  • L
  • M
  • N
  • O
  • P
  • Q
  • R
  • S
  • T
  • U
  • V
  • W
  • X
  • Y
  • Z
Advanced Search

Search Results 1 - 1 of 1. Results contain 5 matches

content locked
Thematic

Dynamic logics

By Friedrichsdorf, Ulf

Dynamic logics have been designed by Pratt as formal systems for reasoning about computer programs. The main ingredients discussed are programs, operations on programs, states and properties of ...

content locked
content locked