Library, University of Sri Jayewardenepura, Sri Lanka :

Your cart is empty.
Normal view MARC view ISBD view

Z an introduction to formal methods

By: Diller, Antoni.
Material type: TextTextPublisher: New York : John Wiley , 1990Description: xxi,309 p. ; ill. ; 25 cm.ISBN: 9780471924890.Subject(s): Computer science | Computer systems | programming Language | Z languageDDC classification: 005.133
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 location Collection Call number Copy number Status Date due Barcode Item holds
Lending Materials Lending Materials Main Library
Lending Division 		Lending Collection 005.133 DIL (Browse shelf) 1 Available 188793
Total holds: 0

There are no comments for this item.

Log in to your account to post a comment.

Copyright © Library, University of Sri Jayewardenepura     Designed by: Library IT Division