Search from the table of contents of 2.5 million books
Advanced Search (Beta)
Home > Axiomatising the Logic of Computer Programming

Axiomatising the Logic of Computer Programming

Book Informaton
Axiomatising the Logic of Computer Programming

Author

R. Goldblatt

Series

Lecture Notes in Computer Science

Volume

130

Year of Publication

1982

Publisher

Springer Berlin Heidelberg

Pages

XIII, 304

Language

en

ISBN

9783540112105, 9783540390381

ARI Id

1664418243991

Find on

World Cat

OpenLibrary

Internet Archive

This page has been accessed 7 times.
Access Options
Springer
Citation Options
Download Citation
Chapters/HeadingsAuthor(s)PagesInfo
Loading...
Chapters/HeadingsAuthor(s)PagesInfo
Topics
Computer programming