Author: Graf, Susanne and Wenhui Zhang (Edts.):
Title: Automated Technology for Verification and Analysis. 4th international symposium ; proceedings.ATVA 2006, Beijing, China, October 23 - 26, 2006. (=Lecture notes in computer science ; Vol. 4218).
Description: Berlin, Springer 2006. XIV, 540 S. : Ill. Paperback Like new. Shrink wrapped. Free shipping within Germany. Shipping costs to EU-countries: 9.50 EUR, to non-EU-countries: 15.00 EUR.

Keywords: Systementwurf ; Systemanalyse ; Verifikation ; Softwareentwicklung ; Hardwareentwurf, Computerwissenschaft, Informatik, Maschinenbau ISBN: 9783540472377


See more books from our catalog: Informatik, Hardware, Software