Author books / Книги автора Ernst-Rüdiger Olderog Bernhard Steffen Wang Yi » Online Library TheLib.net

Online Library TheLib.net » Author books / Книги автора Ernst-Rüdiger Olderog Bernhard Steffen Wang Yi

book Model Checking, Synthesis, and Learning: Essays Dedicated to Bengt Jonsson on The Occasion of His 60th Birthday

Model Checking, Synthesis, and Learning: Essays Dedicated to Bengt Jonsson on The Occasion of His 60th Birthday

epub

Author: Ernst-Rüdiger Olderog Bernhard Steffen Wang Yi
Language: English
Year: 2021

00

12.02.2024

0

0

book Model Checking, Synthesis, and Learning: Essays Dedicated to Bengt Jonsson on The Occasion of His 60th Birthday

Model Checking, Synthesis, and Learning: Essays Dedicated to Bengt Jonsson on The Occasion of His 60th Birthday

pdf

Author: Ernst-Rüdiger Olderog Bernhard Steffen Wang Yi
Language: English
Year: 2021

00

12.02.2024

0

0

book Strategien für den Lernerfolg berufstätiger Studierender: Empirische Analysen zum Lernverhalten

Strategien für den Lernerfolg berufstätiger Studierender: Empirische Analysen zum Lernverhalten

pdf

Author: Gardenia Alonso Marianne Blumentritt Torsten Olderog Roland Schwesig (auth.)
Language: German
Year: 2017

00

28.01.2024

0

0

book Provably Correct Systems

Provably Correct Systems

pdf

Author: Mike Hinchey Jonathan P. Bowen Ernst-Rüdiger Olderog (eds.)
Language: English
Year: 2017

00

28.01.2024

0

0

book Faktoren des Markterfolges im Online-Handel

Faktoren des Markterfolges im Online-Handel

pdf

Author: Torsten Olderog (auth.)
Language: German
Year: 2003

00

27.01.2024

0

0

book Programmverifikation: Sequentielle, parallele und verteilte Programme

Programmverifikation: Sequentielle, parallele und verteilte Programme

pdf

Author: Prof. Dr. Krzysztof R. Apt Prof. Dr. Ernst-Rüdiger Olderog (auth.)
Language: German
Year: 1994

00

27.01.2024

0

0

book Verification of Sequential and Concurrent Programs

Verification of Sequential and Concurrent Programs

pdf

Author: Krzysztof R. Apt Ernst-Rüdiger Olderog
Language: English
Year: 1991

00

27.01.2024

0

0

book Logics of Programs: Workshop, Yorktown Heights, New York, May 1981

Logics of Programs: Workshop, Yorktown Heights, New York, May 1981

pdf

Author: Krzysztof R. Apt Ernst-Rüdiger Olderog (auth.) Dexter Kozen (eds.)
Language: English
Year: 1982

00

27.01.2024

0

0

book Verification of Sequential and Concurrent Programs

Verification of Sequential and Concurrent Programs

pdf

Author: Krzysztof R. Apt Frank S. de Boer Ernst-Rüdiger Olderog
Language: English
Year: 2009

00

27.01.2024

0

0

book Verification of Sequential and Concurrent Programs

Verification of Sequential and Concurrent Programs

pdf

Author: Krzysztof R. Apt Ernst-Rüdiger Olderog
Language: English
Year: 1997

00

27.01.2024

0

0