Verification of Reactive Systems: Formal Methods and Algorithms - Texts in Theoretical Computer Science: an Eatcs Series - Klaus Schneider - Böcker - Springer-Verlag Berlin and Heidelberg Gm - 9783540002963 - 16 oktober 2003
Om omslag och titel inte matchar är det titeln som gäller

Klaus Schneider
Verification of Reactive Systems: Formal Methods and Algorithms - Texts in Theoretical Computer Science: an Eatcs Series 2004 edition

Pris
SEK 549

Beställningsvara

Förväntad leverans 7 - 15 jan 2026
Julklappar kan bytas fram till 31:e januari

Våra kunder säger:

14 dagars returrätt
Toppbetyg på Trustpilot
Lägg till din iMusic-önskelista
eller

Presents various important results on m-calculus, w-automata, and temporal logics, shows the relationships between these formalisms and describes verification procedures for them. This title discusses advantages and disadvantages of these formalisms, and shows up their strengths and weaknesses.

620 pages, biography

Media Böcker     Inbunden Bok   (Inbunden bok med hårda pärmar och skyddsomslag)
Releasedatum 16 oktober 2003
ISBN13 9783540002963
Utgivare Springer-Verlag Berlin and Heidelberg Gm
Antal sidor 620
Mått 156 × 234 × 33 mm   ·   1,20 kg
Språk Tyska  

Fler produkter med Klaus Schneider

Visa alla

Se alt med Klaus Schneider ( t.ex. Pocketbok , Inbunden Bok och 12" )