{
"item_title" : "Mathematical Foundations of Computer Science 1989",
"item_author" : [" Antoni Kreczmar", "Grazyna Mirkowska "],
"item_description" : "The present volume contains papers selected for presentation at the 14th Symposium on Mathematical Foundations of Computer Science - MFCS '89 held in Porabka-Kozubnik, Poland, from August 28 to September 1, 1989. Previous MFCs proceedings have also been published in the Lecture Notes in Computer Science. This volume presents investigations and results in theoretical computer science, in particular in the following areas: logics of programs, parallel and distributed computing, deductive databases, automata and formal languages, algorithms and data structures, software specification and validity, complexity and computability theory.",
"item_img_path" : "https://covers3.booksamillion.com/covers/bam/3/54/051/486/3540514864_b.jpg",
"price_data" : {
"retail_price" : "54.99", "online_price" : "54.99", "our_price" : "54.99", "club_price" : "54.99", "savings_pct" : "0", "savings_amt" : "0.00", "club_savings_pct" : "0", "club_savings_amt" : "0.00", "discount_pct" : "10", "store_price" : ""
}
}
Mathematical Foundations of Computer Science 1989 : Porabka-Kozubnik, Poland, August 28 - September 1, 1989. Proceedings
by Antoni Kreczmar and Grazyna Mirkowska
Overview
The present volume contains papers selected for presentation at the 14th Symposium on Mathematical Foundations of Computer Science - MFCS '89 held in Porabka-Kozubnik, Poland, from August 28 to September 1, 1989. Previous MFCs proceedings have also been published in the Lecture Notes in Computer Science. This volume presents investigations and results in theoretical computer science, in particular in the following areas: logics of programs, parallel and distributed computing, deductive databases, automata and formal languages, algorithms and data structures, software specification and validity, complexity and computability theory.
This item is Non-Returnable
Customers Also Bought
Details
- ISBN-13: 9783540514862
- ISBN-10: 3540514864
- Publisher: Springer
- Publish Date: August 1989
- Dimensions: 9.21 x 6.14 x 1.25 inches
- Shipping Weight: 1.89 pounds
- Page Count: 610
Related Categories
