Showing 1 - 3 results of 3 for search 'Bowen, Jonathan Peter, 1956-', query time: 0.01s
Refine Results
-
1
ZUM '95... the Z formal specification notation : Proceedings /
Published 1995Other Authors: “…Bowen, Jonathan Peter, 1956-…”
Call Number: Loading…
Located: Loading…Conference Proceeding Book Loading… -
2
Applications of formal methods /
Published 1995Other Authors:Call Number: Loading…
Located: Loading…Book Loading… -
3
ZUM'97 : the Z formal specification notation /
Published 1997Other Authors: “…Bowen, Jonathan Peter, 1956-…”
Call Number: Loading…
Located: Loading…Conference Proceeding Book Loading…
Search Tools:
Related Subjects
Ingeniería de software
Software engineering
Programas-Especificación
Programs-Specification
Algebraic manipulation
Discrete mathematics
Languages and systems
Lógica matemática-Computación
Manipulación algebraica
Matemática discreta
Mathematical logic-Computation
Programación-Técnicas
Programming techniques
Sistemas y lenguajes