Recent Trends in Algebraic Development Techniques
Didier Bert, Christine Choppy, Peter Mosses
₹5,624
Zb 2002
2nd International Conference of B and Z Users Grenoble
by Didier Bert, Jonathan P. Bowen, Martin C. Henson
Springer · 2002 · Paperback
₹5,835
Free delivery. Nothing extra to pay at checkout.
- Delivery in 3–7 days to any serviceable pincode in India, with tracking.
- Cash on delivery. Pay when the parcel reaches you.
- 15-day returns. See what qualifies.
About this book
Zb 2002: 2nd International Conference of B and Z Users Grenoble is written by Didier Bert, Jonathan P. Bowen & others. This paperback edition from Springer (2002) has 535 pages. It belongs to the Lecture notes in computer science series.
Its main subjects are B (Computer program language), Congresses, Z (Computer program language) and Mathematical logic.
Book details
- ISBN-13
- 9783540431664
- ISBN-10
- 3540431667
- Authors
- Didier Bert, Jonathan P. Bowen, Martin C. Henson
- Publisher
- Springer
- Published
- 2002
- Series
- Lecture notes in computer science
- Edition
- 1 edition
- Binding
- Paperback
- Pages
- 535
- Language
- English
- Condition
- New
- Subject
- Programming languages
More by Didier Bert and related titles
Program Analysis and Compilation, Theory and Practice
Thomas Reps, Mooly Sagiv, Jörg Bauer
₹5,573
The Standard ML Basis Library
Emden R. Gansner, John H. Reppy
₹5,795
Lua Game Development Cookbook
Mário Kasuba
₹3,186
Puppet Types and Providers
Dan Bode, Nan Liu
₹1,816
Fundamentals of X Programming
Theo Pavlidis
₹3,434
Professional Hibernate
Eric Pugh, Joseph D. Gradecki
₹2,659
Modern FORTRAN
Norman S. Clerman, Walter Spector
₹4,032
Beginning Data Science in R
Thomas Mailund
₹7,993
Attribute Grammars
Pierre Deransart, Bernard Lorho, Martin Jourdan
₹4,345
Beginning Programming with C++ for Dummies
Stephen R. Davis
₹3,005
Think Like a Programmer
V. Anton Spraul
₹2,384