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

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

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