Olaf Burkart - Bücher - alle Infos bei Yasni.de

(1 - 10 von 10

)

Olaf Burkart Books - Biography and List of Works - Author of...

www.biblio.com

Olaf Burkart Biography Olaf Burkart Biography and List of Works - Olaf Burkart Books

Olaf Burkart: gebrauchte und neue Bücher bei Buchfreund

www.buchfreund.de

Autor von

Automatic Verification of Sequential Infinite-State Processes by Olaf...

www.dymocks.com.au

Automatic Verification of Sequential Infinite-State Processes from Dymocks online bookstore. PaperBack by Olaf Burkart

Automata, Logics, and Infinite Games: A Guide to Current Research -...

books.google.de

A central aim and ever-lasting dream of computer science is to put the development of hardware and software systems on a mathematical basis which is both firm...

Automatic Verification of Sequential Infinite-State Processes - Olaf...

books.google.de

A common approach in software engineering is to apply during the design phase a variety of structured techniques like top-down design, decomposition and...

CONCUR '94: Concurrency Theory: 5th International Conference, Uppsala...

books.google.de

This volume constitutes the proceedings of the Fifth International Conference on Concurrency Theory, CONCUR '94, held at Uppsala, Sweden in August In...

Mathematical Foundations of Advanced Informatics: Volume 1: Inductive...

books.google.de

Olaf Burkart and Bernhard Steffen. Model checking for context-free processes. In CONCUR '92, Third International Conference on Concurrency Theory, Stony ...

Mathematical Foundations of Computer Science 1999: 24th International...

books.google.de

This volume contains papers selected for presentation during the 24th Interna tional Symposium on Mathematical Foundations of Computer Science held on...

CONCUR '96: Concurrency Theory: 7th International Conference, Pisa,...

books.google.de

This book constitutes the refereed proceedings of the 7th International Conference on Concurrency Theory, CONCUR '96, held in Pisa, Italy, in August The...

Verwandte Suchanfragen zu Olaf Burkart

Person "Burkart" (7)
Vorname "Olaf" (19586)
Name "Burkart" (637)

sortiert nach Relevanz / Datum

Erweiterte Suche

Person-Suchen: A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

Bücher Olaf Burkart