Cover Image

The B language and method : a guide to practical formal development/

Main Author:	Lano, K.
Format:	Book
Language:	English
Published:	London ; New York : Springer, c1996.
Subjects:	B (Computer program language) Computer software > Development

Similar Items

Software development with Z: a practical approach to formal methods in software engineering/
by: Wordsworth, J. B.
Published: (1992)

ArcView developerʹs guide /
by: Razavi, Amir H. 1957-
Published: (1995)

The official GNOME 2 developer's guide
by: Warkus, Matthias.
Published: (2004)

Larch: languages and tools for formal specification/
by: Guttag, John V.
Published: (1993)

ArcView GIS/Avenue developerʹs guide /
by: Razavi, Amir H. 1957-
Published: (1997)

ArcView GIS developer's guide: programming with Avenue/
by: Razavi, Amir H., R388 2002 1957-
Published: (2002)

Instant Eclipse 4 RCP development how-to over 10 practical recipes for creating rich client applications using Eclipse 4 /
by: Kulkarni, Ram.
Published: (2013)

A practical introduction to software design with C++/
by: Reiss, Steven P., 1951-
Published: (1999)

Python geospatial development build a complete and sophisticated mapping application from scratch using Python tools for GIS development /
by: Westra, Erik.
Published: (2010)

CA-Clipper developer's library /
by: Occhiogrosso, James
Published: (1995)

Code craft the practice of writing excellent code /
by: Goodliffe, Pete.
Published: (2006)

Expert one-on-one J2EE development without EJB
by: Johnson, Rod, 1970-
Published: (2004)

Writing solid code: microsoft 's techniques for developing bug-free C programs /
by: Maguire, Stephen A.
Published: (1993)

Visual Basic controls in a nutshell : the controls of the professional and enterprise editions /
by: Dictor, Evan S.
Published: (1999)

Enterprise Java developer's guide /
by: Narayanan, S.
Published: (1999)

The RAISE development method /
Published: (1995)

Large-scale C++ software design /
by: Lakos, John, 1959-
Published: (1996)

The object of Java : introduction to Java using software engineering principles /
by: Riley, David D., 1951-
Published: (2003)

.NET Domain-Driven Design with C# problem, design, solution /
by: McCarthy, Tim.
Published: (2008)

OSGi in action: creating modular applications in Java/
Published: (2011)

C# for Java programmers overview /
by: Bagnall, Brian, 1972-
Published: (2002)

Domain-specific modeling enabling full code generation /
by: Kelly, Steven.
Published: (2008)

Managing projects with Make/
by: Oram, Andrew
Published: (1991)

Apache Wicket cookbook master Wicket by example by implementing real-life solutions to everyday tasks /
by: Vaynberg, Igor.
Published: (2011)

C software solutions: foundations of program design/
by: Lewis, John, 1963-
Published: (2007)

Visual basic 5 developer's guide /
by: Mann, Anthony T.
Published: (1997)

Visual Basic 5 developerʹs guide /
by: Mann, Anthony T.
Published: (1997)

Visual Basic 5 developer's guide/
by: Mann, Anthony T.
Published: (1997)

Safer C : developing software for in high-integrity andsafety-critical systems /
by: Hatton, Les, 1948-
Published: (1995)

Applications of formal methods /
Published: (1995)

PHP application development with NetBeans beginner's guide
by: Hossain Tonu, M. A.
Published: (2012)

The Software developer's guide
by: Hentzen, Whil.
Published: (2002)

Java EE 7 with GlassFish 4 application server : a practical guide to install and configure the GlassFish 4 application server and develop Java EE 7 applications to be deployed to this server /
by: Heffelfinger, David R.,

Digital guide to developing international software /
by: Kennelly, Cynthia Hartman
Published: (1991)

C# .NET web developer's guide
Published: (2002)

Java EE 6 development with Netbeans 7 develop professional enterprise Java EE applications quickly and easily with this popular IDE /
by: Heffelfinger, David R.
Published: (2011)

Developing Java enterprise applications /
by: Asbury, Stephen, 1967-
Published: (1999)

Persistence in PHP with Doctrine ORM /
by: Dunglas, Kβvin.

VDM ʹ90. VDM and Z-Formal methods in software development : Third international symposium of VDM Europe Kiel, FRG, April 1990: Proceedings ; D. Bjorner, C. A. R. Hoare, H. Langmaack
Published: (1990)

Developing web 2.0 applications with EGL for IBM i /
by: Pluta, Joe
Published: (2009)

Cannot write session to /tmp/vufind_sessions/sess_hg2vfhu3uepn80i2hak6o4lop2