Author books / Книги автора Wolfram Büttner (auth.) Egon Börger Michael Butler Jonathan P. Bowen Paul Boca (eds.) » Page 2 » Online Library TheLib.net

Online Library TheLib.net » Author books / Книги автора Wolfram Büttner (auth.) Egon Börger Michael Butler Jonathan P. Bowen Paul Boca (eds.) » Page 2

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

27.01.2024

0

0

book Industrial-strength formal methods in practice

Industrial-strength formal methods in practice

djvu

Author: Jonathan P. Bowen Michael G. Hinchey (auth.) Michael G. Hinchey BSc MSc PhD Jonathan P. Bowen BA MA (eds.)
Language: English
Year: 1999

00

27.01.2024

2

0

book Electronic Visualisation in Arts and Culture

Electronic Visualisation in Arts and Culture

pdf

Author: James Hemsley (auth.) Jonathan P. Bowen Suzanne Keene Kia Ng (eds.)
Language: English
Year: 2013

00

27.01.2024

0

0

book Software Specification Methods: An Overview Using a Case Study

Software Specification Methods: An Overview Using a Case Study

pdf

Author: Jonathan P. Bowen (auth.) Marc Frappier Henri Habrias (eds.)
Language: English
Year: 2001

00

27.01.2024

0

0

book High-Integrity System Specification and Design

High-Integrity System Specification and Design

pdf

Author: Jonathan P. Bowen BA MA Michael G. Hinchey BSc MSc PhD (auth.)
Language: English
Year: 1999

00

27.01.2024

0

0

book Industrial-Strength Formal Methods in Practice

Industrial-Strength Formal Methods in Practice

pdf

Author: Jonathan P. Bowen Michael G. Hinchey (auth.) Michael G. Hinchey BSc MSc PhD Jonathan P. Bowen BA MA (eds.)
Language: English
Year: 1999

00

27.01.2024

2

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 and Testing: An Outcome of the FORTEST Network, Revised Selected Papers

Formal Methods and Testing: An Outcome of the FORTEST Network, Revised Selected Papers

pdf

Author: Jan Tretmans (auth.) Robert M. Hierons Jonathan P. Bowen Mark Harman (eds.)
Language: English
Year: 2008

00

27.01.2024

1

0

book ZB 2002:Formal Specification and Development in Z and B: 2nd International Conference of B and Z Users Grenoble, France, January 23–25, 2002 Proceedings

ZB 2002:Formal Specification and Development in Z and B: 2nd International Conference of B and Z Users Grenoble, France, January 23–25, 2002 Proceedings

pdf

Author: Eric Hehner Ioannis T. Kassios (auth.) Didier Bert Jonathan P. Bowen Martin C. Henson Ken Robinson (eds.)
Language: English
Year: 2002

00

27.01.2024

0

0

book ZB 2003: Formal Specification and Development in Z and B: Third International Conference of B and Z Users Turku, Finland, June 4–6, 2003 Proceedings

ZB 2003: Formal Specification and Development in Z and B: Third International Conference of B and Z Users Turku, Finland, June 4–6, 2003 Proceedings

pdf

Author: Daniel Jackson (auth.) Didier Bert Jonathan P. Bowen Steve King Marina Waldén (eds.)
Language: English
Year: 2003

00

27.01.2024

0

0