Her ser du en oversigt over bøger af Jonathan P Bowen
-
ZUM'98 the Z Formal Specification Notation (Bog, paperback)
11th International Conference of Z Users, Berlin, Germany, September 24-26, 1998 Proceedings
Sprog:EngelskEn del af Lecture Notes in Computer Science serienThis volume constitutes the proceedings of the 11th International Conference of Z Users. The papers are organized in sections on: industrial issues; concurrency; tools; Z and HOL; safety-critical and ...
Se mere om bogen
-
Formal Methods and Testing (Bog, paperback)
An Outcome of the Fortest Network. Revised Selected Papers
Sprog:EngelskEn del af Lecture Notes in Computer Science serienThis book constitutes the thoroughly refereed and peer-reviewed outcome of the Formal Methods and Testing (FORTEST) network, established under UK EPSRC funding to investigate the relationships between...
Se mere om bogen
-
Zum '97: the Z Formal Specification Notation (Bog, paperback)
10th International Conference of Z Users, Reading, UK, April, 3-4, 1997, Proceedings
Sprog:EngelskEn del af Lecture Notes in Computer Science serienThis volume presents 18 revised full papers, together with three invited presentations by international contributors. The papers are organized into sections on real-time systems, tools, logic, system ...
Se mere om bogen
-
ZB 2003, Formal Specification and Development in Z and B (Bog, paperback)
Third International Conference of B and Z Users, Turku, Finland, June 4-6, 2003, Proceedings
Sprog:EngelskEn del af Lecture Notes in Computer Science serienContains the refereed proceedings of the Third International Conference of Z and B Users, ZB 2003, held in Turku, Finland in June 2003. This book documents the advances for the Z formal specification ...
Se mere om bogen
-
ZB 2002, Formal Specification and Development in Z and B (Bog, paperback)
2nd International Conference of B and Z Users, Grenoble, France, January 23-25, 2002, Proceedings
Sprog:EngelskEn del af Lecture Notes in Computer Science serienContains the proceedings of the Second International Conference of B and Z Users, held in France in 2002. The 24 papers and three invited contributions document advances for the Z formal specification...
Se mere om bogen
-
Zb 2000 (Bog, paperback)
Formal Specification and Development in Z and B
Sprog:EngelskEn del af Lecture Notes in Computer Science serienThe text documents the advances for the Z formal specification notion and for the B method; the full scope, ranging from foundational and theoretical issues to advanced applications, tools, and case s...
Se mere om bogen
-
EVA London (Bog, paperback)
Electronic Visualisation and the Arts, 2011
Sprog:EngelskEVA 2011 has established itself as one of London's most innovative and interdisciplinary conferences in the field of digital visualisation. The papers in this volume cover the latest research in museu...
Se mere om bogen
-
Abstract State Machines, B and Z (Bog, paperback)
First International Conference, ABZ 2008, London, UK, September 16-18, 2008 ; Proceedings
Sprog:EngelskEn del af Lecture Notes in Computer Science serienConstitutes the proceedings of the First International Conference of Abstract State Machines, B and Z, ABZ 2008, held in London, UK, in September 2008. This title organizes the contributions in topica...
Se mere om bogen
