Visit our Christmas Gift Finder
Click & Collect from 2 Hours
Last Christmas Delivery Dates
Free UK Standard Delivery on orders £20 and over Order in time for Christmas 18th December 2nd Class | 19th December 1st Class Free Click & Collect to shops From 2 hours of your order*
Foundations of Software Technology and Theoretical Computer Science: 17th Conference, Kharagpur, India, December 18-20, 1997. Proceedings - Lecture Notes in Computer Science 1346 (Paperback)
  • Foundations of Software Technology and Theoretical Computer Science: 17th Conference, Kharagpur, India, December 18-20, 1997. Proceedings - Lecture Notes in Computer Science 1346 (Paperback)
zoom

Foundations of Software Technology and Theoretical Computer Science: 17th Conference, Kharagpur, India, December 18-20, 1997. Proceedings - Lecture Notes in Computer Science 1346 (Paperback)

(editor), (editor)
£72.00
Paperback 351 Pages / Published: 28/11/1997
  • We can order this

Usually dispatched within 3 weeks

  • This item has been added to your basket
This book constitutes the refereed proceedings of the 17th International Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'97. The 18 revised full papers presented were selected from a total of 68 submissions. Also included are five invited papers by Ed Clarke, Deepak Kapur, Madhu Sudan, Vijaya Ramachandran, and Moshe Vardi. Among the topics addressed are concurrency, Petri nets, graph computations, program verification, model checking, recursion theory, rewriting, and error-correcting codes.

Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
ISBN: 9783540638766
Number of pages: 351
Weight: 1130 g
Dimensions: 235 x 155 x 19 mm
Edition: 1997 ed.

You may also be interested in...

Data Science from Scratch
Added to basket
Sound and Recording
Added to basket
Artificial Intelligence: The Basics
Added to basket
Bayesian Reasoning and Machine Learning
Added to basket
Computing with Quantum Cats
Added to basket
AQA A level Computer Science
Added to basket
Portfolio, programme and project offices
Added to basket
Artificial Intelligence
Added to basket
The Singularity Is Near
Added to basket
MATLAB Demystified
Added to basket
£21.99
Paperback
Discrete Mathematics
Added to basket
How to Pass Higher Computing Science
Added to basket
The Elements of Statistical Learning
Added to basket
The Lego Architect
Added to basket
£20.99
Hardback

Reviews

Please sign in to write a review

Your review has been submitted successfully.