Logics of Programs and Their Applications | Zendy

D Barstow | Zendy; W Brauer | Zendy; Hansen Gries | Zendy; D Luckharn | Zendy; C Moler | Zendy; Amir Pnueli | Zendy; G Seegrn iller | Zendy; Josef Stoer | Zendy; N Wirth Editor | Zendy; Andrzej Salwicki | Zendy

AI Assistant Blog Pricing

Home ZAIA Blog

Open Access

Logics of Programs and Their Applications

Author(s) -

D Barstow,

W Brauer,

Hansen Gries,

D Luckharn,

C Moler,

Amir Pnueli,

G Seegrn iller,

Josef Stoer,

N Wirth Editor,

Andrzej Salwicki

Publication year - 1983

Publication title -

lecture notes in computer science

Language(s) - English

Resource type - Book series

SCImago Journal Rank - 0.249

H-Index - 400

eISSN - 1611-3349

pISSN - 0302-9743

DOI - 10.1007/3-540-11981-7

Subject(s) - computer science , programming language , software engineering , theoretical computer science

If you really want to be smarter, reading can be one of the lots ways to evoke and realize. Many people who like reading will have more knowledge and experiences. Reading can be a way to gain information from economics, politics, science, fiction, literature, religion, and many others. As one of the part of book categories, logics of programs and their applications always becomes the most wanted book. Many people are absolutely searching for this book. It means that many love to read this kind of book.

The content you want is available to Zendy users.

Already have an account? Click here to sign in.

Having issues? You can contact us here

Accelerating Research