Logics of Programs

Logics of Programs: Workshop Carnegie Mellon University Pittsburgh, PA, June 6-8, 1983

,
Paperback Published on: 01/02/1984
£42.99
No reviews yet, be the first
Free UK delivery on orders over £25
We can order this from the publisher
Usually dispatched within 3 weeks
Make and edit your lists in your account
No stock available in any shop.
We can order this from the publisher
Usually dispatched within 3 weeks
No stock available in any shop.

Publisher information

  • Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
  • ISBN: 9783540128960
  • Number of pages: 531
  • Dimensions: 235 x 155 mm
  • Languages: English

Customer Reviews

You may also like...

LISP, Lore, and Logic
W. Richard Stark
£74.99
Computability Theory
S. Barry Cooper
£124.99
The Essential Turing
B. Jack. Copeland
£31.99
Quantum Computer Science
N. David Mermin
£58.00
Mathematical Foundations of Computer Networking
Srinivasan Keshav
£62.99
Data Analysis with Open Source Tools
Philipp K. Janert
£31.99
MATLAB Demystified
David McMahon
£26.99
Computational Complexity
Sanjeev Arora
£57.00
Integer Programming and Combinatorial Optimization
George Nemhauser
£44.99
Probability Models
John Haigh
£29.99
Computational Geometry
Mark de Berg
£48.99
Numerical Recipes 3rd Edition
William H. Press
£104
Mathematical Logic for Computer Science
Mordechai Ben-Ari
£54.99
The Joy of Sets
Keith Devlin
£50.99
Discrete Mathematics for Computing
Peter Grossman
£69.99
Introduction to Lattices and Order
B. A. Davey
£44.99