Author books / Книги автора Jonathan P. Bowen Zhiming Liu Zili Zhang » Online Library TheLib.net

Online Library TheLib.net » Author books / Книги автора Jonathan P. Bowen Zhiming Liu Zili Zhang

book Engineering Trustworthy Software Systems: 5th International School, SETSS 2019, Chongqing, China, April 21–27, 2019, Tutorial Lectures

Engineering Trustworthy Software Systems: 5th International School, SETSS 2019, Chongqing, China, April 21–27, 2019, Tutorial Lectures

pdf

Author: Jonathan P. Bowen Zhiming Liu Zili Zhang
Language: English
Year: 2020

00

07.02.2024

0

0

book Changing anarchism: Anarchist theory and practice in a global age

Changing anarchism: Anarchist theory and practice in a global age

pdf

Author: Purkis Jonathan(Editor), Bowen James(Editor), Heckert Jamie Vishwam(Contributor)
Language: English
Year: 2005

00

07.02.2024

0

0

book Formal Methods: State of the Art and New Directions

Formal Methods: State of the Art and New Directions

pdf

Author: Dines Bjørner (auth.) Paul Boca Jonathan P. Bowen Jawed Siddiqi (eds.)
Language: English
Year: 2010

00

06.02.2024

0

0

book Engineering Trustworthy Software Systems: Third International School, SETSS 2017, Chongqing, China, April 17–22, 2017, Tutorial Lectures

Engineering Trustworthy Software Systems: Third International School, SETSS 2017, Chongqing, China, April 17–22, 2017, Tutorial Lectures

pdf

Author: Jonathan P. Bowen, Zhiming Liu, Zili Zhang
Language: English
Year: 2018

00

05.02.2024

0

0

book Engineering Trustworthy Software Systems: 4th International School, SETSS 2018, Chongqing, China, April 7–12, 2018, Tutorial Lectures

Engineering Trustworthy Software Systems: 4th International School, SETSS 2018, Chongqing, China, April 7–12, 2018, Tutorial Lectures

pdf

Author: Jonathan P. Bowen Zhiming Liu Zili Zhang
Language: English
Year: 2019

00

30.01.2024

0

0

book Engineering Trustworthy Software Systems: Third International School, SETSS 2017, Chongqing, China, April 17–22, 2017, Tutorial Lectures

Engineering Trustworthy Software Systems: Third International School, SETSS 2017, Chongqing, China, April 17–22, 2017, Tutorial Lectures

pdf

Author: Jonathan P. Bowen Zhiming Liu Zili Zhang
Language: English
Year: 2018

00

30.01.2024

0

0

book The Turing Guide

The Turing Guide

pdf

Author: B. Jack Copeland Jonathan Peter Bowen Mark Sprevak Robin J. Wilson Alan Mathison Turing
Language: English
Year: 2017

00

29.01.2024

0

0

book Engineering Trustworthy Software Systems: Second International School, SETSS 2016, Chongqing, China, March 28 - April 2, 2016, Tutorial Lectures

Engineering Trustworthy Software Systems: Second International School, SETSS 2016, Chongqing, China, March 28 - April 2, 2016, Tutorial Lectures

pdf

Author: Jonathan P. Bowen Zhiming Liu Zili Zhang (eds.)
Language: English
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 Unifying Theories of Programming: 6th International Symposium, UTP 2016, Reykjavik, Iceland, June 4-5, 2016, Revised Selected Papers

Unifying Theories of Programming: 6th International Symposium, UTP 2016, Reykjavik, Iceland, June 4-5, 2016, Revised Selected Papers

pdf

Author: Jonathan P. Bowen Huibiao Zhu (eds.)
Language: English
Year: 2017

00

27.01.2024

0

0