Agile Model-Based Development Using UML-RSDS
Kevin Lano
₹9,983
The B Language and Method
A Guide to Practical Formal Development (Formal Approaches to
by Kevin Lano
Springer-Verlag Berlin and Heidelberg GmbH & Co. K · 1996
₹4,228
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
The B Language and Method: A Guide to Practical Formal Development (Formal Approaches to by Kevin Lano is a 232-page book published by Springer-Verlag Berlin and Heidelberg GmbH & Co. K in 1996. It belongs to the Formal approaches to computing and information technology series.
The book deals with Development, B (Computer program language) and Computer software.
Book details
- ISBN-13
- 9783540760337
- ISBN-10
- 3540760334
- Author
- Kevin Lano
- Published
- 1996
- Series
- Formal approaches to computing and information technology
- Edition
- Softcover reprint of the original 1st ed. 1996
- Pages
- 232
- Language
- English
- Condition
- New
- Subject
- Computer software
More by Kevin Lano and related titles
Formal Object-Oriented Development (Formal Approaches to Computing and Information Technology (FACIT))
Kevin Lano
₹2,666
Building Tightly Integrated Software Development Environments
Manfred Nagl
₹5,096
Software Management
Ware Myers, Lawrence H. Putnam
₹7,870
Software Specification Methods
Henri Habrias
₹1,917
Software Process Technology
Carlo Montangero
₹5,527
TestComplete Cookbook
Gennadiy Alpaev
₹24,613
The Mikado Method
Ola Ellnestam, Daniel Brolund
₹3,602
Django for Beginners
William S. Vincent
₹4,054
Questioning Extreme Programming
Pete McBreen
₹3,719
Software and Systems Traceability
Andrea Zisman, Jane Cleland-Huang, Orlena Gotel, Anthony Finkelstein
₹12,333
Partial Evaluation
Olivier Danvy, Robert Glück, Peter Thiemann
₹5,639