Skip to main content Skip to footer content

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

Egon Börger , Robert St

Oct 03, 2013

$80.50

Online pricing. Prices and offers may vary in store.

Ship to me

Checking availability…

Buy now & pick up in store

Checking availability…

Find it in store

Checking availability…

Quantity

Earn 403 points and enjoy extra savings with plum+.

Overview

Language

English

No. of Pages

438

Publisher: Springer/Sci-Tech/Trade

Shipping dimensions: 9" H x 6" W x 1" L

ISBN: 9783642621161

Dynamic Data-driven Simulation: Real-time Data For Dynamic System Analysis And Prediction

Xiaolin Hu Hardcover
$157.95
2 formats available
Model-Based Systems Engineering with the SPES Modeling Language: A SysML Workbench for the SPES Methodology

Paperback
$72.95
Quantum Software: Aspects of Theory and System Design

Iaakov Exman Hardcover
$87.95
Performance Modeling of Operating Systems Using Object-Oriented Simulations: A Practical Introduction

José M. Garrido Paperback
$71.50
Feature Models: AI-Driven Design, Analysis and Applications

Alexander Felfernig Paperback
$55.50
Generating Executable Robotic Process Automation Scripts from Unsegmented User Interface Logs

Simone Agostinelli Paperback
$72.95
Generating Executable Robotic Process Automation Scripts from Unsegmented User Interface Logs

Simone Agostinelli Paperback
$80.50
Advanced Flutter: Databases and Layered Architecture

Cihan Ürtekin Kobo eBook
$13.68
Multimedia Signals And Systems: Basic And Advanced Algorithms For Signal Processing

Srdjan Stankovi Paperback
$204.50
4 formats available
Computer Networks And The Internet: A Hands-on Approach

Gerry Howser Paperback
$94.95
Software Verification and Analysis: An Integrated, Hands-On Approach

Janusz Laski Paperback
$80.50
3 formats available
Pattern-Oriented Software Architecture, Patterns for Concurrent and Networked Objects

Douglas C. Schmidt Kobo eBook
$84.99
Cryptography Algorithms: A guide to algorithms in blockchain, quantum cryptography, zero-knowledge protocols, and homomorphic encryption

Massimo Bertaccini Kobo eBook
$43.99 ~~Price reduced from $54.77 to~~
Dynamic Spectrum Access for Wireless Networks

Danda B. Rawat Paperback
$80.50
2 formats available
Smart Information Systems: Computational Intelligence for Real-Life Applications

Frank Hopfgartner Hardcover
$80.50
2 formats available
ESP32 Formats and Communication: Application of Communication Protocols with ESP32 Microcontroller

Neil Cameron Paperback
$84.50
2 formats available
Pro Php 8 Mvc: Model View Controller Architecture-driven Application Development

Christopher Pitt Paperback
$94.95
3 formats available
Practical Rust Projects: Building Game, Physical Computing, And Machine Learning Applications

Shing Lyu Paperback
$52.95
4 formats available
Learn Computer Science with Swift: Computation Concepts, Programming Paradigms, Data Management, and Modern Component Architectures with Swift and Playgrounds

Jesse Feiler Paperback
$43.95
2 formats available
MATLAB and Simulink In-Depth: Model-based Design with Simulink and Stateflow, User Interface, Scripting, Simulation, Visualization and Debugging

Priyanka Patankar Kobo eBook
$20.99

Editorial reviews

Author

Load Assumption For Fatigue Design Of Structures And Components: Counting Methods, Safety Aspects, Practical Application

Michael Köhler Paperback
$160.95
3 formats available
A Reassessment Of Heavy-duty Truck Aerodynamic Design Features And Priorities

Edwin J Saltzman Paperback
$18.99
Timing Analysis for Scientific Codes Run Under Washcloth Simulation (Classic Reprint)

David Korn Paperback
$7.97
2 formats available
Error-Correcting Linear Codes: Classification by Isometry and Applications

Anton Betten Paperback
$141.95
2 formats available
Good, Better, Best: A comparison of bridge bidding systems and conventions by computer simulation

Jan Eric Larsson Paperback
$24.95
Formative modelling in psychology and educational science: Data-driven index formation according to the MARI method

Julia Riebel Paperback
$160.95
2 formats available
Design Patterns: Elements of Reusable Object-Oriented Software

Erich Gamma Hardcover
$82.49
Code That Fits In Your Head: Heuristics For Software Engineering

Mark Seemann Paperback
$49.99
2 formats available
Project Management At The Edge Of Chaos: Social Techniques For Complex Systems

Alfred Oswald Paperback
$72.95
3 formats available
Using Local State Space Model Approximation for Fundamental Signal Analysis Tasks

Elizabeth Ren Paperback
$90.95
Dimension Reduced Modeling of Blood Flow in Large Arteries: An Introduction for Master Students and First Year Doctoral Students

Tobias Köppl Paperback
$262.95
Atoms, Metaphors and Paradoxes: Niels Bohr and the Construction of a New Physics

Sandro Petruccioli Paperback
$63.95
2 formats available
Card-based Control Systems For A Lean Work Design: The Fundamentals Of Kanban, Conwip, Polca, And Cobacabana

Matthias Thurer Hardcover
$355.50
3 formats available
Analysis Of Uh-60 Blackhawk Safety Controls: Using Value Focused Thinking And Monte Carlo Simulation

Roger D Gallan Paperback
$60.51
Measuring, Modeling And Simulating The Re-adaptation Process Of The Human Visual System After Short-time Glares In Traffic Scenarios

Benjamin Meyer Paperback
$80.50
Prompt Engineering for LLMs: The Art and Science of Building Large Language Model–Based Applications

John Berryman Paperback
$99.99
2 formats available
Albert Einstein, Boris Podolsky, Nathan Rosen: Can Quantum-Mechanical Description of Physical Reality Be Considered Complete?

Claus Kiefer Paperback
$175.50
Acidic Pit Lakes: The Legacy of Coal and Metal Surface Mines

Walter Geller Paperback
$248.50
3 formats available
Respect the User's Time: Experience Architecture and Design for Efficiency

Helmut Degen Paperback
$97.50
LESFOIL: Large Eddy Simulation of Flow Around a High Lift Airfoil: Results of the Project LESFOIL Supported by the European Union 1998 - 2001

Lars Davidson Paperback
$321.50
2 formats available