home
sign in
my orders
my e-books
my trolley
my account
contact
keyword
isbn13
author
title
Available
| can't find it |
| browse books |
Textbooks
books
antiques & collectibles
architecture
art
biography & autobiography
body, mind & spirit
business & economics
comics & graphic novels
computers
cooking
crafts & hobbies
drama
education
family & relationships
fiction
foreign language study
games
gardening
health & fitness
history
house & home
humor
juvenile fiction
juvenile nonfiction
language arts & disciplines
law
literary collections
literary criticism
mathematics
medical
music
nature
non-classifiable
performing arts
pets
philosophy
photography
poetry
political science
psychology
reference
religion
science
self-help
social science
sports & recreation
study aids
technology
transportation
travel
true crime
books
| book details |
Modular Compiler Verification: A Refinement-Algebraic Approach Advocating Stepwise Abstraction
By (author)
Markus Müller-Olm
| on special |
normal price: R 2 127.95
Price: R 1 915.95
| add to trolley |
processing...
| book description |
This book presents the verified design of a code generator translating a prototypic real-time programming language to an actual microprocessor, the Inmos Transputer. Unlike most other work on compiler verification, and with particular emphasis on modularity, it systematically covers correctness of translation down to actual machine code, a necessity in the area of safety-critical systems. The formal framework provided as well as the novel proof-engineering ideas incorporated in the verified code generator are also of relevance for software design in general.
| product details |
Normally shipped |
Available from overseas. Usually dispatched in 14 days
Publisher |
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Published date |
6 Aug 1997
Language |
Format |
Paperback / softback
Pages |
260
Dimensions |
235 x 155 x 0mm (L x W x H)
Weight |
0g
ISBN |
978-3-5406-3406-5
Readership Age |
BISAC |
computers / compilers
| other options |
| back |
| your trolley |
To view the items in your trolley please sign in.
| sign in |
| specials |
Exiles: Times book of the month 'Stanley Kubrick meets MR James'
Mason Coile
Paperback / softback
224 pages
was: R 517.95
now: R 465.95
Forthcoming
A terrifying locked-room mystery set in a remote outpost on Mars.
| more |
| add to trolley |
processing...
Theory & Practice
Michelle de Kretser
Hardback
192 pages
was: R 420.95
now: R 378.95
Available from overseas. Usually dispatched in 14 days
| more |
| add to trolley |
processing...
The Correspondent
Virginia Evans
Hardback
288 pages
was: R 450.95
now: R 405.95
Stock is usually dispatched in 6-12 days from date of order
| more |
| add to trolley |
processing...
Broken Country: AMAZON'S BOOK OF THE YEAR - THE MILLION-COPY BESTSELLER
Clare Leslie Hall
Paperback / softback
320 pages
Enquiries only
An epic love story with the pulse of a thriller that asks: what would you risk for a second chance at first love?
| more |
| enquire |
processing...
Copyright 2026
|
terms and conditions
