Abstract State Machines: A Method for High-Level System Design and Analysis

by Robert Stärk and Egon Börger

Book Overview

Quelli che s'innamoran di pratica senza scienzia sono come 'l nocchieri ch'entra in navilio sanza timone o bussola, 1 che mai ha certezza dove si vada. - Leonardo da Vinci Ich habe oft bemerkt, dass wir uns durch allzuvieles Symbolisieren 2 die Sprache fu ]r die Wirklichkeit untu ]chtig machen. - Christian Morgenstern This is the place to express our thanks. First of all we thank all those who over the years have actively contributed to shaping the...

• Format: Paperback
• Language: English
• ISBN: 3642621163
• ISBN13: 9783642621161
• Release Date: October 2013
• Publisher: Springer
• Length: 438 Pages
• Weight: 1.38 lbs.
• Dimensions: 0.9" x 6.1" x 9.2"