Author books / Книги автора Ernst-Rüdiger Olderog Henning Dierks » Page 2 » Online Library TheLib.net

Online Library TheLib.net » Author books / Книги автора Ernst-Rüdiger Olderog Henning Dierks » Page 2

book Real-Time Systems: Formal Specification and Automatic Verification

Real-Time Systems: Formal Specification and Automatic Verification

pdf

Author: Ernst-Rüdiger Olderog Henning Dierks
Language: English
Year: 2008

00

27.01.2024

0

0

book Correct System Design: Recent Insights and Advances

Correct System Design: Recent Insights and Advances

pdf

Author: C. A. R. Hoare (auth.) Ernst-Rüdiger Olderog Bernhard Steffen (eds.)
Language: English
Year: 1999

00

27.01.2024

0

0

book Nets, Terms and Formulas: Three Views of Concurrent Processes and their Relationship

Nets, Terms and Formulas: Three Views of Concurrent Processes and their Relationship

pdf

Author: E.-R. Olderog
Language: English
Year: 1991

00

27.01.2024

0

0

book Languages: From Formal to Natural: Essays Dedicated to Nissim Francez on the Occasion of His 65th Birthday

Languages: From Formal to Natural: Essays Dedicated to Nissim Francez on the Occasion of His 65th Birthday

pdf

Author: Krzysztof R. Apt Frank S. de Boer Ernst-Rüdiger Olderog (auth.) Orna Grumberg Michael Kaminski Shmuel Katz Shuly Wintner (eds.)
Language: English
Year: 2009

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

djvu

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 (auth.)
Language: English
Year: 2009

00

27.01.2024

2

0

book Correct System Design: Recent Insights and Advances

Correct System Design: Recent Insights and Advances

pdf

Author: C. A. R. Hoare (auth.) Ernst-Rüdiger Olderog Bernhard Steffen (eds.)
Language: English
Year: 1999

00

27.01.2024

0

0

book Real-Time Systems: Formal Specification and Automatic Verification

Real-Time Systems: Formal Specification and Automatic Verification

pdf

Author: Ernst-Rudiger Olderog Henning Dierks
Language: English
Year: 2008

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 Nets, Terms and Formulas: Three Views of Concurrent Processes and their Relationship

Nets, Terms and Formulas: Three Views of Concurrent Processes and their Relationship

djvu

Author: E. -R. Olderog
Language: English
Year: 1991

00

27.01.2024

0

0