Area della Ricerca di Padova
Corso Stati Uniti,4 35127 Padova (ITALY) - Tel.+39 049 8295611 - Fax.+39 049 8295671

Logic and algebra of specification /

Normal View ISBD View
Authors: Bauer, Friedrich L. | Brauer, Wilfried | Schwichtenberg, Helmut Series: NATO ASI series. Series F ; . 94 Published by : Springer-Verlag, (Berlin : ) Physical details: 442 p. ; 25 cm. Subject(s): Computer science--Mathematics | Logic, Symbolic and mathematical Year : 1993
No tags for this title. Log in to add tags.
Item type Location Call Number Copy Status Date Due
Books Istituto di Ingegneria Biomedica QA76.9.M35N37 (Browse Shelf) 1 Available

There are no comments for this item.

Log in to your account to post a comment.
Important links here.