Books on the topic 'Z (Computer program language)'

International Conference of B and Z Users (1st 2000 York, England). ZB 2000: Formal specification and development in Z and B : first International Conference of B and Z Users, York, UK, August 28-September 2, 2000 : proceedings. Berlin: Springer, 2000.

International Conference of B and Z Users (1st 2000 York, England). ZB 2000: Formal specification and development in Z and B : first International Conference of B and Z Users, York, UK, August 28-September 2, 2000 : proceedings. Berlin: Springer, 2000.

Jacky, Jonathan. The way of Z: Practical programming with formal methods. Cambridge: Cambridge University Press, 1997.

Smith, Graeme. The Object-Z Specification Language. Boston, MA: Springer US, 2000.

Z User Workshop (8th 1994 Cambridge, England). Z User Workshop, Cambridge, 1994: Proceedings of the eighth Z User Meeting, Cambridge, 29-30 June 1994. London: Springer-Verlag, 1994.

Steele, Peter W. Z80 assembly language programming. Rockville, Md: Computer Science Press, 1987.

Z, User Meeting (5th 1990 Oxford England). Z user workshop, Oxford, 1990: Proceedings of the Fifth Annual Z User Meeting, 17-18 December 1990, Oxford. London: Springer-Verlag, 1991.

Z User Workshop. (5th 1990 Oxford, England). Z User Workshop, Oxford, 1990: Proceedings of the Fifth Annual Z User Meeting, 17-18 December 1990, Oxford. London: Springer-Verlag, 1991.

Z User Workshop. (6th 1991 York, England). Z User Workshop, York, 1991: Proceedings of the Sixth Annual Z User Meeting, York, 16-17 December 1991. London: Springer-Verlag, 1992.

Michael, Grobe, and University of Kansas. Academic Computing Services., eds. Learning Z-BASIC on the Heath/Zenith Z-100. Bowie, Md: Brady Communications Co., 1985.

International, Conference on "Putting into Practice Methods and Tools for Information System Design (7th 1995 Nantes France). Z twenty years on - what is its future ?: 7th International Conference on "Putting into Practice Methods and Tools for Information System Design", proceedings, October, 10-12, 1995, Nantes (France) in co-operation with ZUG and BUG. Nantes: Institut universitaire de technologie, 1995.

McMorran, Mike. Z guide for beginners. Oxford: Blackwell Scientific, 1992.

Sheppard, Deri. An introduction to formal specification with Z and VDM. London: McGraw-Hill, 1995.

Randell, G. P. Improving the translation from data flow diagrams into Z by incorporating the data dictionary. Malvern, Worcestershire: Procurement Executive, Ministry of Defence, RSRE, 1992.

Corporation, International Business Machines, ed. Java security on Z/OS: The complete view. United States]: IBM, 2009.

Louwe, Kooijmans Alex, and International Business Machines Corporation. International Technical Support Organization., eds. Java stand-alone applications on z/OS. [United States?]: IBM International Technical Support Organization, 2006.

Nigel, Williams, and International Business Machines Corporation. International Technical Support Organization., eds. CICS Transaction Gateway for z/OS Version 6.1. [United States?]: IBM International Technical Support Organization, 2006.

Nicholls, John E. Z User Workshop: Proceedings of the Fourth Annual Z User Meeting Oxford, 15 December 1989. London: Springer London, 1990.

1956-, Bowen J. P., Hinchey Michael G. 1969-, and Till David, eds. ZUM '97, the Z formal specification notation: 10th International Conference of Z Users, Reading, UK, April 3-4 1997 : proceedings. Berlin: Springer, 1997.

International Conference of Z Users (10th 1997 Reading, England). ZUM '97, the Z formal specification notation: 10th International Conference of Z Users, Reading, UK, April 3-4 1997 : proceedings. Berlin: Springer, 1997.

International Conference of Z Users (10th 1997 Reading, England). ZUM '97, the Z formal specification notation: 10th International Conference of Z Users, Reading, UK, April 3-4 1997 : proceedings. Berlin: Springer, 1997.

universitet, Danmarks tekniske, ed. Design of embedded real-time computing systems. Lyngby, Denmark: Dept. of Computer Science, Technical University of Denmark, 1995.

Lampton, Christopher. Z80 assembly-language: Programming for Radio Shack, Timex Sinclair, Adam, and CP/M computers. New York: F. Watts, 1985.

International Business Machines Corporation. Application programming guide and reference for Java: DB2 universal database for z/OS : version 8. [United States?]: IBM, 2004.

B, Hackworth Margaret, ed. E-Z microcomputer handbook for elementary and middle school teachers: 50 programs in BASIC for math, science, reading, and language arts for Apple II+, IIe, and IIc and TRS-80 models III and IV. Englewood Cliffs, N.J: Prentice-Hall, 1986.

Reid, Glenn C. PostScript language program design. Reading, Mass: Addison-Wesley, 1988.

Inc, Apple Computer, ed. HyperCard script language guide: The HyperTalk language. Reading, Mass: Addison-Wesley, 1988.

Systems, Adobe, ed. PostScript language reference. 3rd ed. Reading, Mass: Addison-Wesley, 1999.

Deitel, Harvey M. C: How to program. 6th ed. Upper Saddle River, N.J: Pearson Prentice Hall, 2010.

1945-, Deitel Harvey M., and Deitel Harvey M. 1945-, eds. C++: How to program. 7th ed. Upper Saddle River, NJ: Pearson Prentice Hall, 2010.

1945-, Deitel Harvey M., ed. C: How to program. 6th ed. Upper Saddle River, N.J: Pearson Prentice Hall, 2010.

Company, Addison-Wesley Publishing, ed. HyperCard IIgs script language guide: The HyperTalk language. Reading, Mass: Addison-Wesley Pub. Co., 1991.

Johnston, Howard. Learning to program. Englewood Cliffs, NJ: Prentice/Hall International, 1985.

J, Deitel Paul, ed. C: How to program. 5th ed. Upper Saddle River, N.J: Pearson Education, 2007.

Wagner-Dobler, Friedman. C language. London: Pitman, 1985.

Metcalf, Michael. The F programming language. Oxford: Oxford University Press, 1996.

Pugh, Kenneth. C language for programmers. 2nd ed. Wellesley, Mass: QED Information Sciences, 1989.

Cleaver, Richard W. C--the programmer's language. Dubuque, Iowa: Kendall/Hunt Pub. Co., 1989.

1945-, Deitel Harvey M., and Deitel Abbey, eds. C: How to program. Upper Saddle River: Pearson, 2012.

Horton, Ivor. Beginning C++: The complete language. Birmingham, UK: Wrox Press, 1998.

Gehrke, Wilhelm. Fortran 90 language guide. London: Springer, 1995.

Larry, Stewart. SAS macro language. 5th ed. Cary, N.C: SAS Institute, 1986.

L, Myers David. Computer programming in BASIC. Boston: Houghton Mifflin, 1991.

Snyder, Lawrence. Programmer's Guide to ZPL. MIT Press, 1999.

The Object-Z specification language. Boston: Kluwer Academic, 2000.

An introduction to Z. Bromley, Kent: Chartwell-Bratt, 1991.

Diller, Antoni. Z: An Introduction to Formal Methods, 2nd Edition. 2nd ed. Wiley, 1994.

Jacky, Jonathan. Way of Z: Practical Programming with Formal Methods. Cambridge University Press, 2011.

Jacky, Jonathan. Way of Z: Practical Programming with Formal Methods. Cambridge University Press, 2010.

Jacky, Jonathan. The Way of Z: Practical Programming with Formal Methods. Cambridge University Press, 1996.