Tools and Algorithms for the Construction and Analysis of Systems View on Open Library

Tools and Algorithms for the Construction and Analysis of Systems

by Erika Abraham , Klaus Havelund

No reviews yet
First published: 2014 1 language ISBN: 9783642548628
Subjects
System analysis Congresses Verification System design Computer software Algorithms

Reviews

Log in or sign up to write a review.

No reviews yet. Be the first!

More by Erika Abraham

Theory and Practice of Formal Methods

Theory and Practice of Formal Methods

At The Pinnacle

At The Pinnacle

You Might Also Like

More in System analysis
Kritik der reinen Vernunft

Kritik der reinen Vernunft

Immanuel Kant
Code civil

Code civil

France
Computational Linguistics and Intelligent Text Processing

Computational Linguistics and Intelligen...

Alexander Gelbukh
Control and Dynamic Systems

Control and Dynamic Systems

Cornelius T. Leondes
Security Analysis

Security Analysis

Benjamin Graham
Pattern Recognition

Pattern Recognition

Cheng-Lin Liu