This volume of conference proceedings reflects the interaction between mathematical logic and computer science. The contributors discuss linear logic, Horn clauses, model checking, lambda calculi, modal logic and problem complexity.
£33.94
Logical Foundations of Computer Science by Anil Nerode (Editor), IUrii V. Matiiasevich (Editor), Y.U. Matiyasevich (Editor)
Pickabook Site Offers : Check out the latest offers available at our website.
Pickabook Info : Pickabook - your on-line bookshop Pickabook has been rated a 5-star online bookshop by eShops. It offers over 5 million books from stock, large discounts, same-day despatch, and delivery to addresses worldwide. Ordering is quick and easy, and Pickabook's website includes lots of interesting information for book lovers.
To find the best offers and deals on the cheapest Logical Foundations Of Computer Science from Springer-verlag Berlin And Heidelberg Gmbh & C click the 'Compare' button and a search will check whether a cheap Logical Foundations Of Computer Science is available from an alternative source other than Pickabook. The Logical Foundations Of Computer Science price comparison may also highlight product offers similar to Springer-verlag Berlin And Heidelberg Gmbh & C Logical Foundations Of Computer Science within the Books category.
These proceedings from the Third International Symposium on Theoretical Aspects of Computer Software, TACS ''97, address the following topics: action calculi; polymorphisms; type theory; lambda calculi; refinement; finite transition systems; model checking; and process algebras.
£55.28
THEORETICAL ASPECTS OF COMPUTER SOFTWARE by
Pickabook Site Offers : Check out the latest offers available at our website.
Pickabook Info : Pickabook - your on-line bookshop Pickabook has been rated a 5-star online bookshop by eShops. It offers over 5 million books from stock, large discounts, same-day despatch, and delivery to addresses worldwide. Ordering is quick and easy, and Pickabook's website includes lots of interesting information for book lovers.
To find the best offers and deals on the cheapest Theoretical Aspects Of Computer Software from Springer-verlag Berlin And Heidelberg Gmbh & C click the 'Compare' button and a search will check whether a cheap Theoretical Aspects Of Computer Software is available from an alternative source other than Pickabook. The Theoretical Aspects Of Computer Software price comparison may also highlight product offers similar to Springer-verlag Berlin And Heidelberg Gmbh & C Theoretical Aspects Of Computer Software within the Books category.
