The B-Book : assigning programs to meanings

Main Author:	Abrial
Format:	Book
Published:	New York: Cambridge University Press, 1996.
Subjects:	(Computer program language)

Similar Items

Specification in B : an introduction using the B toolkit
by: LANO
Published: (1996)

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

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

A Book on C : programming in C
by: KELLEY
Published: (1998)

A first book of C++ : from here to there
by: BRONSON
Published: (1999)

A first book of C++ : from here to there
by: BRONSON
Published: (1995)

A First book of ANSI C
by: BRONSON
Published: (2001)

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

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)

C++ program design : an introduction to programming and object-oriented design
by: COHOON
Published: (1999)

Learning C# by programming games
by: Egges
Published: (2013)

Java programs to accompany programming logic and design
by: Smith
Published: (2010)

C++ programming : from problem analysis to program design
by: Malik
Published: (2011)

Java programming : from problem analysis to program design
by: Malik
Published: (2010)

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

C++ programming : from problem analysis to program design
by: Malik
Published: (2009)

Basics in "C++" programming : expertise C++ through programming
by: Ghodki
Published: (2013)

C++ programming : from problem analysis to program design
by: Malik
Published: (2015)

Java programming : from problem ananlysis to program design
by: Malik
Published: (2008)

C++ programming : program design including structures
by: Malik
Published: (2007)

Effective Perl Programming : writing better programs with PERL
by: Hall
Published: (1998)

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

Java programming : from problem analysis to program design [
by: Malik
Published: (2010)

C++ programming : from problem analysis to program design
by: Malik, D.S.
Published: (2018)

C++ programming : from problem analysis to program design
by: Malik, D.S.
Published: (2013)

Java programming
by: Farrell
Published: (1999)

Programming in C++
by: Dale
Published: (2001)

Java programming
by: Farrell
Published: (2012)

Java programming
by: Farrell
Published: (2010)

Java programming
by: Farrell
Published: (2012)

Java programming
by: Farrell
Published: (2003)

Programming in C++
by: DEWHURST
Published: (1995)

Java programming [
by: Farrell
Published: (2010)

3D game programming with C++
by: GOES, John De
Published: (2000)

Application programming in structured C
by: Antonakos
Published: (1996)

Applications programming in ANSI C
by: Johnsonbaugh
Published: (1996)

Concepts of programming languages
by: SEBESTA
Published: (1996)

C++ programming : from problem analysis to program design : from problem analysis to program design : Lab manual
by: Scholl
Published: (2011)