Interactive Systems. Design, Specification, and Verification: 13th International Workshop, Dsvis 2006, Dublin, Ireland, July 26-28, 2006, Revised Papers
by:
Gavin Doherty (author)
Gavin Doherty (Editor), Ann Blandford (Editor),Paperback - 2007, Edition: 1,Series: Lecture Notes in Computer Science / Programming and Software Engineering Series 4323, English-language edition,Pub by Springer-Verlag New York, LLC
Gavin Doherty (Editor), Ann Blandford (Editor),Paperback - 2007, Edition: 1,Series: Lecture Notes in Computer Science / Programming and Software Engineering Series 4323, English-language edition,Pub by Springer-Verlag New York, LLC
show less
Format: paperback
ISBN:
9783540695530 (3540695532)
Publish date: March 1st 2007
Publisher: Springer
Pages no: 269
Edition language: English