Author books / Книги автора David Naumann (eds.) » Online Library TheLib.net

Online Library TheLib.net » Author books / Книги автора David Naumann (eds.)

book Unifying Theories of Programming: 5th International Symposium, UTP 2014, Singapore, May 13, 2014, Revised Selected Papers

Unifying Theories of Programming: 5th International Symposium, UTP 2014, Singapore, May 13, 2014, Revised Selected Papers

pdf

Author: David Naumann (eds.)
Language: English
Year: 2015

00

27.01.2024

0

0

book Formal Methods: Foundations and Applications: 15th Brazilian Symposium, SBMF 2012, Natal, Brazil, September 23-28, 2012. Proceedings

Formal Methods: Foundations and Applications: 15th Brazilian Symposium, SBMF 2012, Natal, Brazil, September 23-28, 2012. Proceedings

pdf

Author: John Rushby (auth.) Rohit Gheyi David Naumann (eds.)
Language: English
Year: 2012

00

27.01.2024

0

0

book Formal Methods: Foundations and Applications: 15th Brazilian Symposium, SBMF 2012, Natal, Brazil, September 23-28, 2012. Proceedings

Formal Methods: Foundations and Applications: 15th Brazilian Symposium, SBMF 2012, Natal, Brazil, September 23-28, 2012. Proceedings

pdf

Author: John Rushby (auth.) Rohit Gheyi David Naumann (eds.)
Language: English
Year: 2012

00

27.01.2024

2

0