title | | ISBN-13 | year of publica- tion | other author(s) |
6th Refinement Workshop: Proceedings of the 6th Refinement Workshop, organised by BCS-FACS, London, 5-7 January 1994 | | 978-3-540-19886-4 | 2013 |
6th Refinement Workshop: Proceedings of the 6th Refinement Workshop, Organised by Bcs-Facs, London, 5-7 January 1994 | | 978-0-387-19886-6 | 1994 |
An Introduction to Formal Specifications and Z | | 978-0-13-478561-5 | 1991 | Ben Potter · Jane Sinclair |
Introduction Formal Specification And Z | | 978-0-13-242207-9 | 1996 | Ben Potter · Jane Sinclair |
Introduction to Formal Specification and Z | | 978-0-13-478702-2 | 1991 | Ben Potter · Jane Sinclair |
Perl 5 | | 978-2-7440-0835-1 | 2000 |
Perl 5 | | 978-2-7440-0172-7 | 1996 |
Perl 5 en 21 jours | | 978-2-7440-1202-0 | 2002 |
Principles of Functional Programming | | 978-0-13-709148-5 | 1984 | Hugh Glaser · Chris Hankin |
Sams Teach Yourself Perl 5 for Windows NT in 21 Days | | 978-0-672-31047-8 | 1997 | Tony Zhang |
Teach Yourself Perl 5 in 21 Days | | 978-0-672-30894-9 | 1996 |
ZUM'97: The Z Formal Specification Notation: 10th International Conference of Z Users, Reading, UK, April, 3-4, 1997, Proceedings | | 978-3-540-62717-3 | 2008 | Jonathan P. Bowen · Michael G. Hinchey |