Book serie: / Книги серии: Lecture Notes in Computer Science 430 » Online Library TheLib.net

Online Library TheLib.net » Book serie: / Книги серии: Lecture Notes in Computer Science 430

book Stepwise Refinement of Distributed Systems Models, Formalisms, Correctness: REX Workshop, Mook, The Netherlands May 29 – June 2, 1989 Proceedings

Stepwise Refinement of Distributed Systems Models, Formalisms, Correctness: REX Workshop, Mook, The Netherlands May 29 – June 2, 1989 Proceedings

pdf

Author: Martín Abadi Leslie Lamport (auth.) J. W. de Bakker W. -P. de Roever G. Rozenberg (eds.)
Language: English
Year: 1990

00

27.01.2024

0

0

book Stepwise Refinement of Distributed Systems Models, Formalisms, Correctness: REX Workshop, Mook, The Netherlands May 29 – June 2, 1989 Proceedings

Stepwise Refinement of Distributed Systems Models, Formalisms, Correctness: REX Workshop, Mook, The Netherlands May 29 – June 2, 1989 Proceedings

djvu

Author: Martín Abadi Leslie Lamport (auth.) J. W. de Bakker W. -P. de Roever G. Rozenberg (eds.)
Language: English
Year: 1990

00

27.01.2024

3

0