Computer aided verification : Proceedings, New Brunswick, USA, July 31 - Aug. 3, 1996 /

Saved in:
Bibliographic Details
Main Author: Boigelot, Bernard
Corporate Author: Proceedings USA, New Brunswick
Other Authors: Alur, R. (Editor)
Format: Conference Proceeding Book
Language:English
Published: Berlin : Springer, 1996
Edition:[1st ed.]
Series:Lecture notes in computer science Vol. 1102
Subjects:
simulácia > aritmetický obvod > automatický preklad prirodzeného jazyka
ISBN:3540614745
ISSN:0302-9743
Online Access: Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Be the first to leave a comment!
You must be logged in first

Similar Items