An edition of Logics of Programs (1985)

Logics of Programs

Brooklyn, June 17-19, 1985 (Lecture Notes in Computer Science)

1 edition

by

Cover of: Logics of Programs by Rohit Parikh, Rohit Parikh
Locate

My Reading Lists:

Create a new list

Notes
Notes

Check nearby libraries

Buy this book

Last edited by ImportBot
October 6, 2023 | History
Edit
An edition of Logics of Programs (1985)

Logics of Programs

Brooklyn, June 17-19, 1985 (Lecture Notes in Computer Science)

1 edition

by

This edition doesn't have a description yet. Can you add one?

Publish Date
Publisher
Springer
Language
English
Pages
436

Check nearby libraries

Buy this book

Edition Availability
Cover of: Logics of Programs
Logics of Programs: Brooklyn, June 17-19, 1985 (Lecture Notes in Computer Science)
July 1, 1985, Springer
Paperback in English - 1 edition

Add another edition?

Book Details

First Sentence

"Propositional temporal logic (PTL) is described in [MP]."

Classifications

Library of Congress
QA75.5-76.95

The Physical Object

Format
Paperback
Number of pages
436
Dimensions
9.2 x 6.1 x 0.9 inches
Weight
1.5 pounds

Edition Identifiers

Open Library
OL9462321M
ISBN 10
3540156488
ISBN 13
9783540156482
Goodreads
4146530

Work Identifiers

Work ID
OL8856031W

Source records

Better World Books record
Promise Item

Community Reviews (0)

No community reviews have been submitted for this work.

Lists

Loading indicator
Loading carousel

History

Download catalog record: RDF / JSON / OPDS | Wikipedia citation
October 6, 2023 Edited by ImportBot import existing book
October 4, 2021 Edited by ImportBot import existing book
April 24, 2010 Edited by Open Library Bot Fixed duplicate goodreads IDs.
April 16, 2010 Edited by bgimpertBot Added goodreads ID.
April 30, 2008 Created by an anonymous user Imported from amazon.com record