OPAC_KOHA catalog › Details for: Calculus of Computation: decision procedures with applications to verification

Normal view MARC view ISBD view

Calculus of Computation: decision procedures with applications to verification Aaron R. Bradley

By: Bradley, Aaron RContributor(s): Manna, ZoharMaterial type: Text

TextPublication details: Berlin Springer Verlag, Netherlands 2010Description: xv, 366pISBN: 9788184893960Subject(s): Computer programs - Verification | Computer logicDDC classification: 515.22 BRA

Tags from this library: No tags from this library for this title. Log in to add tags.

Average rating: 0.0 (0 votes)

Item type	Current library	Collection	Call number	Vol info	Status	Date due	Barcode	Item holds
TEXT BOOK	LRC_JUIT Mathematics	TEXTBOOK SECTION	515.22 BRA (Browse shelf (Opens below))	Copy 1	Available		024961

Total holds: 0

Previous								Next
Previous	515.22 APO Calculus; Vol. 2 : multi variable calculus and linear algebra with applications to differential equations and probability	515.22 BIN Calculus: concepts and methods	515.22 BIT Calculus and its Applications	515.22 BRA Calculus of Computation: decision procedures with applications to verification	515.22 CON Integral Methods in Science and Engineering: analytic and numerical techniques	515.22 COU Introduction to calculus and analysis; Vol 1	515.22 COU Introduction to calculus and analysis; Vol 1	Next

There are no comments on this title.

to post a comment.