0
*
0
*
1450
2025
book-filter
Work cover

Logics of Programs, workshop, Carnegie Mellon University, Pittsburgh, PA, June 6-8, 1983

  • Dexter Kozen,
  • Edmund Clarke

0

0 ratings

Genres

  • Computer programming
  • Congresses
  • Mathematical Logic and Formal Languages
  • Congrès
  • Programmation (Informatique)
  • Logics and Meanings of Programs
  • Computer Science
  • Logiciels
Already read

people already read

Currently reading

people are currently reading

Want to read

people want to read

About the authors

  • Dexter Kozen

    born 1951

    0

    0 ratings · 7 works

  • Edmund Clarke

    0

    0 ratings · 5 works

Editions

  • Edition cover

    Springer-Verlag

    1984