Title: Foundation of Software Science and Computation Structures: Third International Conference, FOSSACS 2000 Held as Part of the Joint European Conferences . (Lecture Notes in Computer Science)
Publisher: Springer
Publication Date: 2000
Language: English
ISBN 10: 3540672575
ISBN 13: 9783540672579
Binding: Paperback
Condition: Very Good

About this title

Synopsis

This volume constitutes the refereed proceedings of the Third International Conference on Foundations of Software Science and Computation Structures, FOSSACS 2000, held as part of ETAPS 2000 in Berlin, Germany in March/April 2000. The 25 revised full papers presented were carefully reviewed and selected from a total of 68 submissions. Among the topics covered are rewriting, pi-calculus, lambda-calculus, formal languages, proof systems, type theory, mobile processes, automata theory, predicate logic, etc.

"About this title" may belong to another edition of this title.

Store Description

GuthrieBooks has served central Texas with a choice selection since 1978. We strive to provide an interesting selection and quality service. We specialize in academic works but carry books for all interests.

Visit Seller's Storefront

Seller's business information

GuthrieBooks
TX, U.S.A.

Sale & Shipping Terms

Terms of Sale

At this time we accept payment through Visa or Mastercard.

Shipping Terms

Shipping costs are based on books weighing 2.2 LB, or 1 KG. If your book order is heavy or oversized, we may contact you to let you know extra shipping is required.