Automatic Verification Of Sequential Infinite-State Processes; Author: Burkart, O.; Author: Burkart, Olaf; Paperback

English Books

US/World Maps

English Books > Mathematics > Infinity > Automatic Verification Of Sequential Infinite-State Processes

<< PREVIOUS TITLE | NEXT TITLE >> <<NEW RELEASES >>

Automatic Verification Of Sequential Infinite-State Processes

Author: Burkart, O.; Author: Burkart, Olaf
Series#:1354; Lecture Notes in Computer Science,; Paperback
163 pages
Published: December 1997
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
ISBN: 3540639829
This item non-returnable. Order may not be canceled.

This monograph provides information for theoreticians interested in algebraic theories, as well as for software engineers building practical tools. The author presents the theoretical foundations needed for the verification of reactive, sequential infinite-state systems.

PRODUCT CODE: 3540639829

USA/Canada:	US$ 75.50
Australia/NZ:	A$ 71.95
Other Countries:	US$ 82.50

convert to your currency

DELIVERY & BILLING >>

Delivery costs included if your total order exceeds US$50.
We do not charge your credit card until we ship your order.
Government and corporate Purchase Orders accepted without prior account application.

PLACE AN ORDER >>

To prepare to buy this item click "add to cart" above. You can change or abandon your shopping cart at any time before checkout.

CHECK ORDER STATUS >>

Check on order progress and dispatch.

CHANGE OR CANCEL YOUR ORDER >>

Please E-mail us within one hour

The NetStoreUSA website is operated by Open Communications, Inc
an Arizona corporation, which has successfully served
the Internet community since 1994.

Copyright � 2008 Open Communications, Inc
�Open Communications is a Registered Trade Mark.
This material may be freely distributed ONLY with full reference to Open Communications Inc,
including fax, phone, e-mail, and world-wide web details.
This material is an invitation to treat and not an offer.
We reserve the right to decline orders received from this site.
Prices subject to change to be advised on confirmation of order.
Not all titles listed are in print.
Home Page: http://www.NetStoreUSA.com/
Site Map