First ACM and IEEE international conference on formal methods and models for co-design. MEMOCODE'03 : Proceedings, Mont Saint-Michel, France, 24 - 26 June 2003 /

Saved in:
Bibliographic Details
Main Author: Meseguer, José
Corporate Author: Proceedings France, Mont Saint-Michel
Format: Conference Proceeding Book
Language:English
Published: Los Alamitos : Institute of Electrical and Electronics Engineers, 2003
Edition:[1st ed.]
Subjects:
ISBN:0769519237
Online Access: Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!

Internet

Get full text

CVTI sklad absenčný

Holdings details from CVTI sklad absenčný
Call Number: A588414
Copy On Shelf