Cover Image

Teaching and learning formal methods /

Other Authors:	Dean, Neville C., Hinchey, Michael G.
Format:	Book
Language:	English
Published:	London : Academic Press, 1996.
Subjects:	Computer science > Study and teaching. Electronic data processing > Study and teaching

Similar Items

The computer trainer's personal training guide /
Published: (1996)

The Nurnberg funnel : designing minimalist instruction for practical computer skill /
by: Carroll, John M. 1950-
Published: (1990)

Computing science/
by: Bishop, Peter, 1949-
Published: (1982)

Computing science/
by: Bishop, Peter, 1949-
Published: (1987)

Effective learning and teaching in computing
Published: (2004)

Informatics and teacher training : proceedings of the IFIP WG 3.1 Working Conference on Informatics and Teacher Training, Birmingham, U.K., 16-20 July, 1984 /
Published: (1984)

SIGCSE bulletin
Published: (1970)

SIGCSE bulletin inroads
Published: (1997)

IBM Tivoli Storage Manager version 5.3 technical workshop presentation guide /
by: Tretau, Roland.
Published: (2005)

Education and large information systems: proceedings of the IFIP working conference organized by the Technical Committees for Education, TC 3, and for Information Systems, TC 8/
Published: (1977)

Formal methods for distributed processing : a survey of object-oriented approaches /
Published: (2001)

SIGCSE bulletin.

SIGCSE bulletin

Comment programmer : trois exemples pour une methode /
by: Barbance, Jean-Claude
Published: (1984)

Network certification : training guide /
by: Ratcliff, Randy
Published: (1996)

Microcomputers in secondary education : proceedings of the IFIP TC3 working conference on microcomputers in secondary education, Sévres, Paris, France, 14-18 April 1980 ; E. D. Tagg
Published: (1980)

University education in computing science : proceedings of the conference on Graduate Academic and related research programs in computing science, held at the State University of New York at Stony Brook, June 1967 /
Published: (1968)

University education in computing science : proceedings of a conference on graduate academic and related research programs in computong science, held at the State University of New York at Stony Brook, June 1967 /
Published: (1968)

Guidelines for evaluating computerized instructional materials/
by: Heck, William P.
Published: (1981)

New technologies in secondary education: a report of the Educational Research Workshop held in Frascati, 2-5 November 1982/
Published: (1983)

Laboratories for parallel computing /
Published: (1994)

Learning & teaching scientific inquiry research and applications /
by: Jadrich, James, 1960-
Published: (2011)

Reflections on the teaching of programming : methods and implementations /
Published: (2008)

Teaching, learning and assessment in science education/
Published: (1993)

Teaching and learning primary science with ICT
Published: (2006)

Formal methods for embedded distributed systems how to master the complexity /
Published: (2004)

How to create effective information and communication technology learning programmes : a guide /
by: Clarke, Alan, 1952-
Published: (1999)

Learn science, learn math, learn to teach science and math, Homo sapiens!
by: Moscovici, Hedy.
Published: (2013)

Teaching and learning in the science laboratory
Published: (2002)

Role of graphing calculators in teaching physics (TI-83)/
by: Lehman, Cherie Bibo.
Published: (1999)

Computer & teaching in the humanities: selected papers from the CATH94 Conference held at Glasgow University September 9th-12th 1994/
Published: (1996)

Computer science education in the 21st century/
Published: (2000)

Case study in business systems design; instructor's guide /
Published: (1970)

Using formal description techniques: an introduction to Estelle,LOTOS, and SDL/
Published: (1993)

Microcomputer-based labs : educational research and standards /
Published: (1996)

Microcomputer-based labs educational research and standards/
Published: (1996)

Teaching and learning primary science/
by: Harlen, Wynne
Published: (1985)

Teaching and learning primary science/
by: Harlen, Wynne
Published: (1993)

Microsort TCP-IP training : hands-on, self-paced training for internetworking Microsoft TCP/IP on Microsoft Windows NT 4.0 /

Windows NT 4.0 MCSE study guide /
by: Carter, Alan R.
Published: (1997)

Cannot write session to /tmp/vufind_sessions/sess_e4pg7ujfg97sufbscggmfl6mv1