The Calculus of Computation : Decision Procedures with Applications to Verification (Record no. 156218)

MARC details
000 -LEADER
fixed length control field 00212 a2200073 4500
100 ## - MAIN ENTRY--PERSONAL NAME
Personal name Bradley/Manna
245 ## - TITLE STATEMENT
Title The Calculus of Computation : Decision Procedures with Applications to Verification
260 ## - PUBLICATION, DISTRIBUTION, ETC. (IMPRINT)
Name of publisher, distributor, etc Springer

No items available.

© 2024 IIIT-Delhi, library@iiitd.ac.in