Log in

Normal view MARC view ISBD view

Automated Technology for Verification and Analysis : Second International Conference, ATVA 2004, Taipei, Taiwan, ROC, October 31-November 3, 2004 : proceedings

By: Wang, Farn.

Material type: materialTypeLabel

materialTypeLabel

BookSeries: 3299. Lecture notes in computer science.Publisher: Berlin: Springer, 2004Description: xii, 506 p.; ill.: 23 cm.ISBN: 9783540236108.Subject(s): Automatic theorem proving | model-checking theory | theorem-proving theory | state-space reduction | Machine Theory | Computer Literacy | parametric analysis | UML | Petri nets | real-time systemsDDC classification: 004

Tags from this library: No tags from this library for this title. Log in to add tags.

Holdings ( 1 )
Comments ( 0 )

Item type	Current location	Call number	Status	Date due	Barcode
Books		004 WAN (Browse shelf)	Available		013383

Browsing DAIICT Shelves Close shelf browser

Previous								Next
Previous	004 VIG Recent Advances in Intrusion Detection : 6th International Symposium, RAID 2003, Pittsburgh, PA, USA, September 8-10, 2003 : Proceedings	004 WAL Essential guide to computing	004 WAL Tao of computing	004 WAN Automated Technology for Verification and Analysis : Second International Conference, ATVA 2004, Taipei, Taiwan, ROC, October 31-November 3, 2004 : proceedings	004 WAN Conceptual Modeling for Advanced Application Domains	004 WAR Computer systems	004 WAR Computer Systems	Next

There are no comments for this item.

Log in to your account to post a comment.

Powered by Koha