MPG.eBooks - Search Results - (("instruction set") OR ("instruction _"))

Search alternatives:
"instruction set" » "instructions set", "construction set"
"instruction _" » "instructions _", "construction _"

Cover Image

1

Abstract State Machines, B and Z : First International Conference, ABZ 2008, London, UK, September 16-18, 2008. Proceedings

Published 2008

Springer Berlin Heidelberg

Table of Contents: “... EventB to Create a Virtual Machine Instruction Set Architecture -- 4. Z Papers -- Z2SAL - Building a...”