Author books / Книги автора C. A. R. Hoare (auth.) Ernst-Rüdiger Olderog Bernhard Steffen (eds.) » Page 3 » Online Library TheLib.net

Online Library TheLib.net » Author books / Книги автора C. A. R. Hoare (auth.) Ernst-Rüdiger Olderog Bernhard Steffen (eds.) » Page 3

book Correct System Design: Recent Insights and Advances

Correct System Design: Recent Insights and Advances

djvu

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

00

26.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

26.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

26.01.2024

3

0