Specification in B Kit
Specification in B Kit
1 hr read
Rate this book:
Buy This Book
As an Amazon Associate and Bookshop.org affiliate, BookOrb earns from qualifying purchases.
Know this book?
Help other readers discover this title by sharing your thoughts. Be the first to write a review.
Share Your Thoughts
Sign in to write a review.
More by Kevin Lano
Advanced Systems Design with J
Advanced Systems Design with Java, UML and MDA
B Language and Method
B Language and Method
Breaking the Barriers to Desir
Breaking the Barriers to Desire
Financial Software Engineering
Formal object-oriented development
Model-Driven Business Process
Model-Driven Business Process Engineering