Skip to content

Modular Compiler Verification A Refinement-Algebraic Approach Advocating Stepwise Abstraction

Spend $50 to get a free movie!

ISBN-10: 3540634061

ISBN-13: 9783540634065

Edition: 1997

Authors: Markus Myller-Olm, G. Goos, J. Hartmanis, Jan Van Leeuwen

List price: $89.99
Blue ribbon 30 day, 100% satisfaction guarantee!
Out of stock
what's this?
Rush Rewards U
Members Receive:
Carrot Coin icon
XP icon
You have reached 400 XP and carrot coins. That is the daily max!


This is the first comprehensive book on hypermedia and the World Wide Web that includes features of the second generation systems. Definitions, history, current technology and problems, leading-edge initiatives, future applications, all these are seen as an unfolding of a millenial communication medium that is not only serving but also involving even the non-technical person in a very technical world. Much of the promise of hypermedia lies in its applications to education, and this receives prominence in the book. The new hypermedia system HyperWave is described in detail. The book's vision, organization, and easy-to-read style make it suitable as a source of information for the…    
Customers also bought

Book details

List price: $89.99
Copyright year: 1997
Publisher: Springer Berlin / Heidelberg
Publication date: 8/6/1997
Binding: Paperback
Pages: 260
Size: 6.10" wide x 9.25" long x 1.00" tall
Weight: 1.936
Language: English

Complete Boolean Lattices
Galois Connections
States, Valuation Functions and Predicates
The Algebra of Commands
Communication and Time
Data Refinement
Transputer Base Model
A Small Hard Real-Time Programming Language
A Hierarchy of Views
Compiling-Correctness Relations
Translation Theorems
A Functional Implementation