Normal view MARC view ISBD view

The calculus of computation : decision procedures with applications to verification / Aaron R. Bradley, Zohar Manna

Main Author Bradley, Aaron R. Coauthor Manna, Zohar Country Alemanha. Publication Berlin : Springer, 2007 Description XV, 366 p. : il. ; 24 cm ISBN 978-3-540-74112-1 CDU 510.6

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

average rating: 0.0 (0 votes)

Holdings ( 2 )
Title notes
Comments ( 0 )

Holdings
Item type	Current location	Call number	Status	Date due	Barcode	Item holds
Monografia	Biblioteca Geral da Universidade do Minho	BGUMD 107426	Available		406211
Monografia	Biblioteca Geral da Universidade do Minho	BGUMD 107425	Available		406355