Automatic Verification of Sequential Infinite-state Processes - Lecture Notes in Computer Science - Burkart, O. (University of Dortmund, Germany) - Books - Springer-Verlag Berlin and Heidelberg Gm - 9783540639824 - December 17, 1997
In case cover and title do not match, the title is correct

Burkart, O. (University of Dortmund, Germany)
Automatic Verification of Sequential Infinite-state Processes - Lecture Notes in Computer Science

Price
Íkr 6,929
excl. VAT

Ordered from remote warehouse

Expected delivery Jul 14 - 22

Our customers say:

14-day return policy in accordance with European consumer protection law
Top ranking on Trustpilot
Add to your iMusic wish list

Not rated yet

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.

176 pages, 1 black & white illustrations, biography

Media Books     Paperback Book   (Book with soft cover and glued back)
Released December 17, 1997
ISBN13 9783540639824
Publishers Springer-Verlag Berlin and Heidelberg Gm
Pages 166
Dimensions 155 × 235 × 10 mm   ·   258 g
Language German  

Mere med samme udgiver

See all of Burkart, O. (University of Dortmund, Germany) ( e.g. Paperback Book )