We can't find the internet
Attempting to reconnect
Something went wrong
Hang in there while we get back on track
£108.73
It has never been this cheap. We have no record of a lower price.
£109 today · cheaper than every other day in the last 3 months
Springer VLISP Verified Implementation of Scheme - Springer Journal Vol. 8
We'll watch every seller, every day. One email when your price arrives.
Price History & Forecast
Grey patches = out of stock. Cheaper = lower on the chart. Hover for exact prices.
Last 50 days · 50 data points (no recent data)
NEW HERE?
Amazon shows you one price. We show you all of them.
Tosheroon watches Amazon prices so you don't have to. Every product on Amazon has a price history — we make it visible. Set the price you'd actually pay, and we'll email you the second it gets there. No app, no account, one email.
WHAT'S ON THIS PAGE
when this has been cheap or pricey
where the price is heading next
all-time high & low, recent range
name your number, we'll email you
Price Distribution
Price distribution over 50 days • 4 price levels
Price Analysis
Most common price: £110 (26 days, 52.0%)
Price range: £109 - £112
Price levels: 4 different prices over 50 days
Description
Key Features
Springer published this VLISP special issue in March 1995 as Volume 8, Nos. 1 & 2 of Lisp and Symbolic Computation journal.
The VLISP project demonstrates comprehensive verification techniques for programming language implementations using Scheme as the subject language.
Verification methodology based on Clinger-Rees denotational semantics provides rigorous mathematical foundation for language specification.
Documentation covers practical implementation verification suitable for compiler development and programming language research.
Product Specifications
- Brand
- Springer
- Format
- hardcover
- ASIN
- 0792395662
- Domain
- Amazon UK
- Release Date
- 31 May 1995
- Listed Since
- 09 December 2006
Barcode
No barcode data available
Similar Products You Might Like
Cambridge University Press - Lisp in Small Pieces Book
Cambridge University Press
Exploring Computer Science with Scheme (Undergraduate Texts in Computer Science)
Springer
Programming Language Explorations
Chapman and Hall/CRC
Programming Language Explorations
Chapman and Hall/CRC
Object-Orientation, Abstraction, and Data Structures Using Scala (Chapman & Hall/CRC Textbooks in Computing)
Chapman and Hall/CRC
Software Verification Based on Game Semantics and Process Algebra: A Game Semantic Framework for Verifying Safety Properties of Open Programs
VDM Verlag
Advanced Symbolic Analysis for Compilers: New Techniques and Algorithms for Symbolic Program Analysis and Optimization: 2628 (Lecture Notes in Computer Science, 2628)
Springer
Programming Languages: Principles and Paradigms (Undergraduate Topics in Computer Science)
Springer
Introduction to Programming and Problem-Solving Using Scala (Chapman & Hall/CRC Textbooks in Computing)
CRC Press
MIT Press Structure and Interpretation of Computer Programs - JS
MIT Press
Drawing Programs: The Theory and Practice of Schematic Functional Programming
Springer
Understanding Programming Languages
Springer
Shape Analysis (Foundations and Trends® in Programming Languages)
Now Publishers Inc
Price unavailable
Mathematics of Program Construction: 7th International Conference, MPC 2004, Stirling, Scotland, UK, July 12-14, 2004, Proceedings: 3125 (Lecture Notes in Computer Science, 3125)
Springer
Novice Programming Environments: Explorations in Human-Computer Interaction and Artificial Intelligence (Routledge Library Editions: Artificial Intelligence)
Routledge
Programmierstil in Pascal, Cobol, Fortran, Basic, PL/I (Springer Compass)
Springer
Operations Research mit BASIC auf Commodore 2000/3000, 4000/8000: 12 vollständige Programme
Gabler Verlag
A Science of Operations: Machines, Logic and the Invention of Programming (History of Computing)
Springer
Build Your Own Programming Language: A programmer's guide to designing compilers, interpreters, and DSLs for solving modern computing problems
Packt Publishing
Theories of Programming Languages
Cambridge University Press
Formal Language: A Practical Introduction
Franklin Beedle & Associates
Theories of Programming Languages
Cambridge University Press
Adapting Proofs-as-Programs: The Curry--Howard Protocol (Monographs in Computer Science)
Springer
Specification and Verification of Multi-agent Systems - Springer
Springer