This book is currently unavailable on Open Library, check out available alternatives.
An edition of Reachability Problems (2011)

Reachability Problems

5th International Workshop, RP 2011, Genoa, Italy, September 28-30, 2011. Proceedings

by

Cover of: Reachability Problems by Giorgio Delzanno, Giorgio Delzanno
Locate

My Reading Lists:

Create a new list

Download Options

Check nearby libraries

Buy this book

This book is currently unavailable on Open Library, check out available alternatives.
Last edited by MARC Bot
August 26, 2024 | History
Edit
An edition of Reachability Problems (2011)

Reachability Problems

5th International Workshop, RP 2011, Genoa, Italy, September 28-30, 2011. Proceedings

by

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

Publish Date
Publisher
Springer-Verlag GmbH Berlin Heidelberg, Springer
Language
English
Pages
257

Check nearby libraries

Buy this book

Previews available in: English

Subjects

Logic design Computer science Software engineering Computer software Decidability (mathematical logic) Configurations Computers Computer systems Congresses Verification Computation by Abstract Devices Algorithm Analysis and Problem Complexity Programming Languages, Compilers, Interpreters Mathematical Logic and Formal Languages Logics and Meanings of Programs
Edition Availability
Cover of: Reachability Problems
Reachability Problems: 5th International Workshop, RP 2011, Genoa, Italy, September 28-30, 2011, Proceedings
Oct 08, 2011, Springer
paperback
Cover of: Reachability Problems
Reachability Problems: 5th International Workshop, RP 2011, Genoa, Italy, September 28-30, 2011. Proceedings
2011, Springer-Verlag GmbH Berlin Heidelberg, Springer
electronic resource : in English

Add another edition?

Book Details

Edition Notes

Published in
Berlin, Heidelberg
Series
Lecture Notes in Computer Science -- 6945

Classifications

Library of Congress
QA76.76.V47 R58 2011, QA75.5-76.95

The Physical Object

Format
[electronic resource] :
Number of pages
257

Edition Identifiers

Open Library
OL25548219M
Internet Archive
reachabilityprob00delz
ISBN 13
9783642242878, 9783642242885
LCCN
2011936633

Work Identifiers

Work ID
OL16946339W

Source records

Community Reviews (0)

No community reviews have been submitted for this work.

Lists

Download catalog record: RDF / JSON