Author books / Книги автора Klaus Grimm (auth.) Jonathan P. Bowen Andreas Fett Michael G. Hinchey (eds.) » Page 3 » Online Library TheLib.net

Online Library TheLib.net » Author books / Книги автора Klaus Grimm (auth.) Jonathan P. Bowen Andreas Fett Michael G. Hinchey (eds.) » Page 3

book ZUM ’98: The Z Formal Specification Notation: 11th International Conference of Z Users, Berlin, Germany, September 24-26, 1998. Proceedings

ZUM ’98: The Z Formal Specification Notation: 11th International Conference of Z Users, Berlin, Germany, September 24-26, 1998. Proceedings

pdf

Author: Klaus Grimm (auth.) Jonathan P. Bowen Andreas Fett Michael G. Hinchey (eds.)
Language: English
Year: 1998

00

27.01.2024

1

0

book ZUM '95: The Z Formal Specification Notation: 9th International Conference of Z Users Limerick, Ireland, September 7–9, 1995 Proceedings

ZUM '95: The Z Formal Specification Notation: 9th International Conference of Z Users Limerick, Ireland, September 7–9, 1995 Proceedings

djvu

Author: David Lorge Parnas (auth.) Jonathan P. Bowen Michael G. Hinchey (eds.)
Language: English
Year: 1995

00

27.01.2024

0

0

book ZUM '97: The Z Formal Specification Notation: 10th International Conference of Z Users Reading, UK, April 3–4, 1997 Proceedings

ZUM '97: The Z Formal Specification Notation: 10th International Conference of Z Users Reading, UK, April 3–4, 1997 Proceedings

djvu

Author: Constance Heitmeyer (auth.) Jonathan P. Bowen Michael G. Hinchey David Till (eds.)
Language: English
Year: 1997

00

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

27.01.2024

1

0

book Transactions on Computational Science I

Transactions on Computational Science I

pdf

Author: Phan Cong Vinh Jonathan P. Bowen (auth.) Marina L. Gavrilova C. J. Kenneth Tan (eds.)
Language: English
Year: 2008

00

27.01.2024

5

0

book Transactions on Computational Science I

Transactions on Computational Science I

pdf

Author: Phan Cong Vinh Jonathan P. Bowen (auth.) Marina L. Gavrilova C. J. Kenneth Tan (eds.)
Language: English
Year: 2008

00

26.01.2024

0

0

book Abstract State Machines, B and Z: First International Conference, ABZ 2008, London, UK, September 16-18, 2008. Proceedings

Abstract State Machines, B and Z: First International Conference, ABZ 2008, London, UK, September 16-18, 2008. Proceedings

pdf

Author: Wolfram Büttner (auth.) Egon Börger Michael Butler Jonathan P. Bowen Paul Boca (eds.)
Language: English
Year: 2008

00

26.01.2024

0

0