Get Free Shipping on orders over $89
Lecture Notes in Computer Science : A Refinement-Algebraic Approach Advocating Stepwise Abstraction - Markus Müller-Olm

Lecture Notes in Computer Science

A Refinement-Algebraic Approach Advocating Stepwise Abstraction

By: Markus Müller-Olm

Paperback | 6 August 1997

At a Glance

Paperback


$84.99

or 4 interest-free payments of $21.25 with

 or 

Ships in 5 to 7 business days

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.

More in Expert Systems & Knowledge-Based Systems

Machine Learning For Dummies : For Dummies (Computer/Tech) - Luca Massaron
Beyond Vibe Coding : From Coder to Ai-Era Developer - Addy Osmani

RRP $133.00

$106.40

20%
OFF
AI ChatBots For Dummies : For Dummies (Computer/Tech) - Kelly Noble Mirabella
Agentic AI For Dummies : For Dummies (Computer/Tech) - Pam Baker
Mobile Actuation Systems for Magnetic Small-scale Robots - Qianqian Wang
Scaling Responsible AI : From Enthusiasm to Execution - Noelle Russell
AI for Understanding Subtext in Film and Drama - Yair Neuman

RRP $110.00

$96.75

12%
OFF
AI for Understanding Subtext in Film and Drama - Yair Neuman

RRP $252.00

$219.75

13%
OFF
AI for Marketing : The Consumer Perspective - Idil M. Cakim

RRP $273.00

$236.99

13%
OFF
Shaping Tomorrow : The Human Journey with AI - Alan  Nankervis

RRP $164.00

$146.75

11%
OFF