Skip to main content
PBS logo
 
 

Search - Logic and Algebra of Specification (Nato a S I Series Series III, Computer and Systems Sciences)

Logic and Algebra of Specification (Nato a S I Series Series III, Computer and Systems Sciences)
Logic and Algebra of Specification - Nato a S I Series Series III, Computer and Systems Sciences
Author: Friedrich L. Bauer, Wilfried Brauer
For some years, specification of software and hardware systems has been influenced not only by algebraic methods but also by new developments in logic. These new developments in logic are partly based on the use of algorithmic techniques in deduction and proving methods, but are also due to new theoretical advances, to a great extent stimulated ...  more »
ISBN-13: 9780387558134
ISBN-10: 0387558136
Pages: 442
Rating:
  ?
0 stars, based on 0 rating
Publisher: Springer
Book Type: Hardcover
Members Wishing: 0
Reviews: Amazon | Write a Review


Genres:


Back to the Top ↑
By using this Web site, you confirm that you have read, understood, and agreed to be bound by the Terms of Use. As an Amazon Associate we earn from qualifying purchases.
US Patent Number 7,877,315 | Copyright © 2004 - 2024 PaperBackSwap.com. All Rights Reserved.