Automatic Verification of Sequential Infinite-State Processes

Name: Automatic Verification of Sequential Infinite-State Processes
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 9783540639824
Price: 20565 HUF
Availability: InStock

Szerző: Burkart, O. (University of Dortmund, Germany)

Nyelv:

Kötés: Puha kötésű

Kiadó: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Elérhetőség: Beszállítói készleten alacsony példányszámban

Küldés 13-18 napon belül

20 565 Ft

This monograph provides information for theoreticians interested in algebraic theories, as well as f...

Információk a könyvről

Szerző

Burkart, O. (University of Dortmund, Germany)

Nyelv

Angol

Kötés

Könyv - Puha kötésű

Kiadva

1997

oldal

176

EAN

9783540639824

ISBN

9783540639824

Enbook ID

06615459

Kiadó

Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Súly

284

Méretek

155 x 235 x 10

Teljes leírás

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.

Érdekelheti

Azok a vásárlók, akik ezt a könyvet megvásárolták, a következőket is megvásárolták

Leggyakrabban keresett

Categories

Authors

Publishers

Termékek

Termékek

Leggyakrabban keresett

Categories

Authors

Publishers

Termékek

Termékek

Automatic Verification of Sequential Infinite-State Processes

Információk a könyvről

Teljes leírás

Érdekelheti

Azok a vásárlók, akik ezt a könyvet megvásárolták, a következőket is megvásárolták