Program development by refinement - Info and Reading Options
case studies using the B method
By K. Sere
"Program development by refinement" was published by New York in 1999 - London, it has 334 pages and the language of the book is English.
“Program development by refinement” Metadata:
- Title: ➤ Program development by refinement
- Author: K. Sere
- Language: English
- Number of Pages: 334
- Publisher: New York
- Publish Date: 1999
- Publish Location: London
“Program development by refinement” Subjects and Themes:
- Subjects: B (Computer program language) - Computer science - Software engineering - Formal languages
Edition Specifications:
- Pagination: xxiv, 334 p. :
Edition Identifiers:
- The Open Library ID: OL365467M - OL18359031W
- Library of Congress Control Number (LCCN): 98025801
- ISBN-10: 1852330538
- All ISBNs: 1852330538
AI-generated Review of “Program development by refinement”:
Read “Program development by refinement”:
Read “Program development by refinement” by choosing from the options below.
Search for “Program development by refinement” downloads:
Visit our Downloads Search page to see if downloads are available.
Find “Program development by refinement” in Libraries Near You:
Read or borrow “Program development by refinement” from your local library.
- The WorldCat Libraries Catalog: Find a copy of “Program development by refinement” at a library near you.
Buy “Program development by refinement” online:
Shop for “Program development by refinement” on popular online marketplaces.
- Ebay: New and used books.