Formal specification and software development
- ISBN
- 0133290034
Formal specification and software development is a electronic digital computers, software compatibility book by Dines Bjørner.
Discover Formal specification and software development by Dines Bjørner, electronic digital computers.
About the Author
Dines Bjørner is the author of Formal specification and software development. Browse their full catalog on Booklogr.
Editions & Formats
Reviews
No reviews yet. Have you read this book? Share your thoughts with the Booklogr community.
Sign in Sign in to write a review
Frequently Asked Questions
What genre is Formal specification and software development?+
Formal specification and software development is a Electronic digital computers, Software compatibility, Programming, Development, Computer software book.
Who wrote Formal specification and software development?+
Formal specification and software development was written by Dines Bjørner.