Mathematical Foundations of Computer Science 2000

25th International Symposium, MFCS 2000 Bratislava, Slovakia, August 28 - September 1, 2000 Proceedings (Lecture Notes in Computer Science)

1 edition
  • 1 Currently reading
Not in Library

My Reading Lists:

Create a new list

Check-In

×Close

  • 1 Currently reading

Buy this book

Last edited by ImportBot
December 24, 2021 | History

Mathematical Foundations of Computer Science 2000

25th International Symposium, MFCS 2000 Bratislava, Slovakia, August 28 - September 1, 2000 Proceedings (Lecture Notes in Computer Science)

1 edition
  • 1 Currently reading

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

Publish Date
Publisher
Springer
Language
English
Pages
708

Buy this book

Book Details


First Sentence

"This paper reports a new proof of correctness of region-based memory management [26], based on a new garbage collection principle for the -calculus."

Classifications

Library of Congress
QA75.5-76.95, QA76.9.M35 S96 2000

The Physical Object

Format
Paperback
Number of pages
708
Dimensions
9.2 x 6.1 x 1.1 inches
Weight
2.2 pounds

ID Numbers

Open Library
OL9411753M
ISBN 10
3540679014
ISBN 13
9783540679011
OCLC/WorldCat
44850349
Goodreads
115127

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
December 24, 2021 Edited by ImportBot import existing book
July 28, 2014 Created by ImportBot import new book