Home / Books / Computers & Internet / Formal Methods of Program Verification and Specification (Prentice-Hall Software Series)
Formal Methods of Program Verification and Specification (Prentice-Hall Software Series) by Franta

Formal Methods of Program Verification and Specification (Prentice-Hall Software Series)

Franta
207 pages
Prentice Hall
Jan 1982
Hardcover
Computers & Internet WSBN
0
Readers
0
Reviews
0
Discussions
0
Quotes
Formal Methods of Program Verification and Specification (Prentice-Hall Software Series)
Add to My Library Buy on Amazon Find in Library
Join the conversation

No discussions yet. Join BookLovers to start a discussion about this book!

No reviews yet. Join BookLovers to write the first review!

No quotes shared yet. Join BookLovers to share your favorite quotes!

Earn Points
Your voice matters. Every comment, review, and quote earns you reward points redeemable for Bitcoin.
Comment +5 pts Review +20 pts Quote +7 pts Upvote +1 pt
BookMatch Quiz
Find books similar to this one
About this book
Pages 207
Publisher Prentice Hall
Published 1982
Readers 0

Similar Books in Computers & Internet

View All Similar
Fallout 4 Vault Dweller's Survival Guide Collector's Edition: Prima Official Game Guide by David Hodgson
Fallout 4 Vault Dweller's Survival Guide Collector's Edition: Prima Official Game Guide
David Hodgson
 Fallout 4 Ultimate Vault Dweller's Survival Guide Bundle by David Hodgson
Fallout 4 Ultimate Vault Dweller's Survival Guide Bundle
David Hodgson
 #AskGaryVee: One Entrepreneur's Take on Leadership, Social Media, and Self-Awareness by by Gary Vaynerchuk
#AskGaryVee: One Entrepreneur's Take on Leadership, Social Media, and Self-Awareness
by Gary Vaynerchuk
 The Hundred-Page Machine Learning Book by Andriy Burkov
The Hundred-Page Machine Learning Book
Andriy Burkov
 Instant Access Databases by Greg Buczek
Instant Access Databases
Greg Buczek
 Typographics 3: Global Vision by Roger Walton
Typographics 3: Global Vision
Roger Walton