Image for Computing Abstract Models for Verifying Reactive Systems

Computing Abstract Models for Verifying Reactive Systems

Part of the Berichte aus der Informatik series
See all formats and editions

Read More
Special order line: only available to educational & business accounts. Sign In
£15.27
Product Details
Shaker Verlag GmbH, Germany
3832243356 / 9783832243357
Paperback / softback
004.21
30/08/2005
Germany
143 pages, 16 illustrations
170 x 240 mm
Professional & Vocational/Postgraduate, Research & Scholarly Learn More