| Call Number (LC) | Title | Results |
|---|---|---|
| QA76.73.X58 W47 2002 | Mastering XSLT | 1 |
| QA76.73.X58 W56 2009eb | Beginning XSLT and XPath : transforming XML documents and data / | 2 |
| QA76.73.Z2 B68 1995 | Formal specification using Z : a modelling approach / | 1 |
| QA76.73.Z2 B68 1996 | Formal specification and documentation using Z : a case study approach / | 1 |
| QA76.73.Z2 D47 2001 |
Refinement in Z and Object-Z : foundations and advanced applications / Refinement in Z and Object-Z foundations and advanced applications / |
2 |
| QA76.73.Z2 D47 2014 | Refinement in Z and Object-Z : foundations and advanced applications / | 1 |
| QA76.73.Z2 D55 1994 | Z : an introduction to formal methods / | 1 |
| QA76.73.Z2 I58 1995 | ZUM '95: The Z Formal Specification Notation : 9th International Conference of Z Users Limerick, Ireland, September 7-9, 1995 Proceedings / | 1 |
| QA76.73.Z2 I58 1997 | ZUM '97, the Z formal specification notation : 10th International Conference of Z Users, Reading, UK, April 3-4, 1997 : proceedings / | 1 |
| QA76.73.Z2 J33 1997 |
The way of Z : practical programming with formal methods / The Way of Z : Practical Programming with Formal Methods / |
2 |
| QA76.73.Z2 W66 1996 | Using Z : specification, refinement, and proof / | 1 |
| QA76.73.Z2 W67 1992 | Software development with Z : a practical approach to formal methods in software engineering / | 1 |
| QA76.73.Z2 Z2 | ZUM ... the Z formal specification notation : proceedings. | 1 |
| QA76.73.Z2 Z2 1990 | Z User Workshop, Oxford, 1990 : proceedings of the Fifth Annual Z User Meeting, 17-18 December 1990, Oxford / | 1 |
| QA76.73.Z2 Z2a | ZUM ... the Z formal specification notation : proceedings. | 1 |
| QA76.73.Z27 S69 1999 | A programmer's guide to ZPL / | 1 |
| QA76.73.Z27S69 1999 | A Programmer's Guide to ZPL. | 1 |
| QA76.73.Z27 S69 1999eb | A programmer's guide to ZPL / | 1 |
| QA76.73 ebook | Diseño de páginas Web con XHTML, JavaScript y CSS | 1 |
| QA76.735 .C355 1990 | Dr. File Finder's guide to shareware / | 1 |
