Sitewide Free Shipping - Limited Time Only - No Minimum Spend - T&C's Apply
Track My Order
Help Centre
Likes
My Wish ListsLogin / Join
Booktopia
Australia's local bookstore
Get Free Shipping on orders over $0
Lecture Notes in Computer Science : Formal Specification and Development in Z and B : 2nd International Conference of B and Z Users Grenoble, France, January 23-25, 2002, Proceedings - Didier Bert

Lecture Notes in Computer Science

Formal Specification and Development in Z and B : 2nd International Conference of B and Z Users Grenoble, France, January 23-25, 2002, Proceedings

By: Didier Bert (Editor), Jonathan P. Bowen (Editor), Martin C. Henson (Editor)

Paperback | 16 January 2002

At a Glance

Paperback

$84.99

or 4 interest-free payments of $21.25 with

 or 

Ships in 5 to 7 business days

These proceedings record the papers presented at the second International Conference of B and Z Users (ZB2002), held on 23-25 January 2002 in the city of Grenoble in the heart of the French Alps. This conference built on the success of the rst con- rence in this series, ZB2000, held at the University ofYork in the UK. The location of ZB2002 in Grenoble re ects the important work in the area of formal methods carried out at the Laboratoire Logiciels Systemes ` Reseaux ´ within the Institut d'Informatique et Mathematiques ´ Appliquees ´ de Grenoble (LSR-IMAG), especially involving the B method. B and Z are two important formal methods that share a common conceptual o- gin; each are leading approaches applied in industry and academia for the speci cation and development (using formal re nement) of computer-based systems. At ZB2002 the B and Z communities were brought together to hold a second joint conference that simultaneously incorporated the 13th International Z User Meeting and the 4th Int- national Conference on the B method. Although organized logistically as an integral event, editorial control of the joint conference remained vested in two separate but c- perating program committees that respectively determined its B and Z content, but in a coordinated manner.

You Can Find This Book In

Non-FictionComputing & I.T.Computer Programming & Software DevelopmentProgramming & Scripting LanguagesSoftware EngineeringMedicineMedicine in GeneralMathematicsMathematical FoundationMathematical LogicComputer ScienceMathematical Theory of Computation
Compilers & Interpreters

More in Mathematical Theory of Computation

Discrete Mathematics for Computing : Grassroots - Peter Grossman

Discrete Mathematics for Computing

Grassroots

Paperback

RRP $150.00

$117.75

21%
OFF
Mathematical Foundations of Deep Learning : Theory and Algorithms - Xiaojing Ye

Mathematical Foundations of Deep Learning

Theory and Algorithms

Hardcover

RRP $179.00

$158.99

11%
OFF
Theory of Computation for Software Developers - Maxim Mozgovoy

Theory of Computation for Software Developers

Hardcover

RRP $189.00

$167.75

11%
OFF
Nonlinear Analysis for Human Movement Variability - Nicholas Stergiou

Nonlinear Analysis for Human Movement Variability

Hardcover

RRP $194.00

$171.75

11%
OFF
Mining Complex Networks : Advances in Applied Mathematics - Bogumil Kaminski

Mining Complex Networks

Advances in Applied Mathematics

Paperback

RRP $133.00

$120.75

Mining Complex Networks : Advances in Applied Mathematics - Bogumil Kaminski

Mining Complex Networks

Advances in Applied Mathematics

Hardcover

RRP $399.00

$341.75

14%
OFF
Hands-On Generative AI with Transformers and Diffusion Models - Apolinario Passos

Hands-On Generative AI with Transformers and Diffusion Models

Paperback

RRP $152.00

$73.75

51%
OFF
Practical Nonconvex Nonsmooth Optimization - Frank E. Curtis

Practical Nonconvex Nonsmooth Optimization

Paperback

RRP $213.00

$201.99

This product is categorised by