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 Parosh Aziz Abdulla

No reviews yet

First published: 2011 1 language ISBN: 9783642198342

Subjects

Logic design Computer networks Software engineering Computer science Artificial intelligence System design System analysis Programming Techniques Programming Languages, Compilers, Interpreters Computer Communication Networks

Reviews

Log in or sign up to write a review.

No reviews yet. Be the first!

More by Parosh Aziz Abdulla

Reachability Problems

Reachability Problems

Decision problems in systolic circuit verification

Decision problems in systolic circuit ve...

Networked Systems

Networked Systems

You Might Also Like

More in Logic design

Kokuritsu Kokkai Toshokan shozō Meijiki kankō tosho maikuro-ban shūsei

Kokuritsu Kokkai Toshokan shozō Meijiki ...

Kokuritsu Kokkai Toshokan (Japan)

Logik der Forschung

Logik der Forschung

Karl Popper

Job scheduling strategies for parallel processing

Job scheduling strategies for parallel p...

JSSPP'99 (1999 San Juan, P.R.)

Digital Design

John F. Wakerly

Evaluation of Novel Approaches to Software Engineering

Evaluation of Novel Approaches to Softwa...

Leszek A. Maciaszek

Digital design

M. Morris Mano