An edition of Programs, proofs, processes (2010)

Programs, proofs, processes

6th Conference on Computability in Europe, CiE, 2010, Ponta Delgada, Azores, Portugal, June 30-July 4, 2010 ; proceedings

by

  • 0 Ratings
  • 0 Want to read
  • 0 Currently reading
  • 0 Have read
Cover of: Programs, proofs, processes by Conference on Computability in Europe (6th 2010 Ponta Delgada, Azores, Portugal)
Not in Library

My Reading Lists:

Create a new list

Check-In

×Close
Add an optional check-in date. Check-in dates are used to track yearly reading goals.
Today
Notes
  • 0 Ratings
  • 0 Want to read
  • 0 Currently reading
  • 0 Have read
Notes

Download Options

Check nearby libraries

Buy this book

Last edited by MARC Bot
July 6, 2019 | History
Edit
An edition of Programs, proofs, processes (2010)

Programs, proofs, processes

6th Conference on Computability in Europe, CiE, 2010, Ponta Delgada, Azores, Portugal, June 30-July 4, 2010 ; proceedings

by

  • 0 Ratings
  • 0 Want to read
  • 0 Currently reading
  • 0 Have read

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

Publish Date
Publisher
Springer
Language
English
Pages
450

Check nearby libraries

Buy this book

Previews available in: English

Subjects
Computational complexity, Berechenbarkeit, Computer science, Mathematische Logik, Congresses, Computable functions, Beweistheorie, Mathematics, Theoretische Informatik, Prozessalgebra, Berechnungskomplexität

Showing 1 featured edition. View all 1 editions?

Edition Availability
Cover of: Programs, proofs, processes
Programs, proofs, processes: 6th Conference on Computability in Europe, CiE, 2010, Ponta Delgada, Azores, Portugal, June 30-July 4, 2010 ; proceedings
2010, Springer
in English
  • Not in Library
Libraries near you: WorldCat

Add another edition?

Book Details

Published in

Berlin, New York

Edition Notes

International conference proceedings.

Includes bibliographical references and index.

Series
Lecture notes in computer science -- 6158, LNCS sublibrary. SL 1, Theoretical computer science and general issues, Lecture notes in computer science -- 6158., LNCS sublibrary
Other Titles
CiE 2010

Classifications

Dewey Decimal Class
004.0151
Library of Congress
QA9.59 .C67 2010, QA75.5-76.95

The Physical Object

Pagination
xvi, 450 p. :
Number of pages
450

ID Numbers

Open Library
OL25321476M
Internet Archive
programsproofspr00ferr
ISBN 10
3642139612
ISBN 13
9783642139611
LCCN
2010929188
OCLC/WorldCat
646006859

Community Reviews (0)

Feedback?
No community reviews have been submitted for this work.

Lists

This work does not appear on any lists.

History

Download catalog record: RDF / JSON
July 6, 2019 Edited by MARC Bot import existing book
May 23, 2012 Created by LC Bot import new book