Log in

Normal view MARC view ISBD view

Interactive theorem proving and program development : Coq'Art - the calculus of inductive constructions

By: Bertot, Yves.

Contributor(s): Casteran, Pierre.

Material type: materialTypeLabel

materialTypeLabel

BookPublisher: Berlin Springer 2004Description: xxv, 469 p. 25 cm.ISBN: 9783540208549.Subject(s): Logic | Mathematical | Data Type | Automation | Module System | Data Structure | Search PatternDDC classification: 004.015113

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

Holdings ( 1 )
Comments ( 0 )

Item type	Current location	Call number	Status	Date due	Barcode
Books		004.015113 BER (Browse shelf)	Available		030919

Browsing DAIICT Shelves Close shelf browser

Previous								Next
Previous	004.0151 VIN Foundation mathematics for computer science : a visual approach	004.0151 YAN Introduction to formal languages and machine computation	004.01511 HEI Discrete structures, logic, and computability	004.015113 BER Interactive theorem proving and program development : Coq'Art - the calculus of inductive constructions	004.015113 BOW Concurrency theory : calculi an automata for modelling untimed and timed concurrent systems	004.015113 HOM Automata theory and formal languages	004.015113 NEW Automated theorem proving : theory and practice	Next

There are no comments for this item.

Log in to your account to post a comment.

Browse results

Previous
Back to results
Next

Close

Powered by Koha