Constitutes the refereed proceedings of the International Symposium on Logical Foundations of Computer Science, LFCS 2009, held in Deerfield Beach, Florida, USA in January 2008. This title presents 31 revised refereed papers that were selected by the program committee. Additional Details \N BOOK TYPE : NF BRAND : ARTEMOV, SERGEI (EDT)/ NERODE, A DEWEY CLASSIFICATION : 511 LANGUAGE : ENGLISH NUMBER OF PAGES : 467 PUBLISH DATE : 2009/01/01 PUBLISHER IMPRINT CODE : SPRIV PUBLISHER NAME : SPRINGER VERLAG RETURNS ACCEPTED? : YES SKU : 9783540926863 UPC : 9783540926863
|