Specification in B : an introduction using the B toolkit

Main Author:	LANO
Other Authors:	Haughton,
Format:	Book
Published:	London: Imperial College Press, 1996.
Subjects:	B (Computer program language)

Similar Items

The B-method : an introduction
by: SCHNEIDER
Published: (2001)

Software engineering with B
by: WORDSWORTH
Published: (1996)

The B-Book : assigning programs to meanings
by: Abrial
Published: (1996)

An introduction to formal specification and Z
by: POTTER
Published: (1996)

The Java virtual machine specification
Published: (2013)

Computer accounting using M.Y.O.B
by: NEISH
Published: (2002)

The Java 3D API specification
by: SOWIZRAL
Published: (1997)

Domain-specific modeling : enabling full code generation
by: Kelly
Published: (2008)

The Java language specification / James Gosling...[et all].
Published: (2013)

TCI and TK Toolkit
by: OUSTERHOUT
Published: (1994)

Exercises + Test Drives to accompany computer accounting using M.Y.O.B
by: NEISH
Published: (2002)

Planar b-spline curve interpolation with various parameterizations
by: Ng Zhi Siang
Published: (2015)

Introduction to Java programming : comprehensive version
by: Liang, Y. Daniel
Published: (2020)

Introduction to Java programming : brief version
by: Liang, Y. Daniel
Published: (2018)

Introduction to Java programming : comprehensive version
by: Liang, Y. Daniel
Published: (2013)

Programming. Java : an introduction to programming using Java
by: DECKER

Programming. Java : an introduction to programming using Java
by: DECKER

QBASIC using subprograms with an introduction to Microsoft Visual Basic
Published: (1998)

The Java developer's toolkit : techniques and technologies for experienced web programmers
by: MARKETOS
Published: (1997)

Implementation of Z language specification processor for checking the correctness of Z specification
by: Lee Lik Shen
Published: (2010)

An introduction to java programming : developing applets using Microsoft Visual J++
by: STOKER
Published: (1998)

Program development in Java : abstraction, specification, and object-oriented design
by: LISKOV
Published: (2001)

Introduction to simulation using SIMAN
by: PEGDEN
Published: (1995)

The COM and COM+ programming primer
by: GORDON
Published: (2000)

Special edition using SQL
by: Colburn
Published: (2000)

Programming using the C language
by: Hutchinson
Published: (1988)

Using java 2 platform
by: Weber, Joseph L.
Published: (1999)

Understanding programming : an introduction using C++
by: Cannon
Published: (1997)

Programming : principles and practice using C++
by: Stroustrup
Published: (2009)

Introduction to programming with C++
by: Liang
Published: (2010)

C++ : an introduction to data structures
by: NYHOFF
Published: (1999)

Java : an introduction to computing
by: ADAMS
Published: (2001)

Java introduction to programming
by: KNOWLTON
Published: (1999)

Introduction to Java programming
by: Liang
Published: (2001)

An introduction to programming with C++
by: Zak
Published: (2001)

Introduction to Java and software design
by: Dale
Published: (2001)

An introduction to programming with C++
by: Zak
Published: (2011)

An introduction to programming with C++
by: Zak
Published: (2013)

C++ : an introduction to computing
by: ADAMS
Published: (1998)

C++ : an introduction to computing
by: ADAMS
Published: (1995)