Normal view MARC view ISBD view

Understanding formal methods

Material type: materialTypeLabel

BookPublisher: London: Springer, 2003Description: ; ill.ISBN: 1852332476 .Subject(s): Computer science | Logic designDDC classification: 004.0151

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

Item type	Current location	Call number	Status	Date due	Barcode
Books		004.0151 MON (Browse shelf)	Available		008746

Previous								Next
Previous	004.0151 MAX Definitive guide to how computers do math : featuring the virtual DIY calculator	004.0151 MAX Definitive guide to how computers do math : featuring the virtual DIY calculator	004.0151 MOL Modelling computer systems : mathematics of computer science	004.0151 MON Understanding formal methods	004.0151 MOR Adventures in computer science : From classical bits to quantum bits	004.0151 ORE Mathematics in computing : an accessible guide to historical, foundational and application contexts	004.0151 OVE Numerical computing with IEEE floating point arithmetic	Next

There are no comments for this item.

Koha online