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

Search alternatives:
"instructions set" » "instructions sent", "instruction set", "instruction sets", "constructions set"
"instruction _" » "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...”