Verification of Reactive Systems: Formal Methods and Algorithms - Texts in Theoretical Computer Science: an Eatcs Series - Klaus Schneider - Boeken - Springer-Verlag Berlin and Heidelberg Gm - 9783540002963 - 16 oktober 2003
Indien omslag en titel niet overeenkomen, is de titel correct

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

Klaus Schneider

Prijs
HK$ 476,33

Besteld in een afgelegen magazijn

Verwachte levering 5 - 13 aug.

Onze klanten zeggen:

14 dagen retourrecht in overeenstemming met de Europese consumentenbeschermingswetgeving
Topnotering op Trustpilot
Voeg toe aan uw iMusic-verlanglijst
Eller

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

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 Boeken     Hardcover Book   (Boek met harde rug en kaft)
Vrijgegeven 16 oktober 2003
ISBN13 9783540002963
Uitgevers Springer-Verlag Berlin and Heidelberg Gm
Pagina's 620
Afmetingen 156 × 234 × 33 mm   ·   1,04 kg
Taal en grammatica Engels   Duits  
Alles tonen

Meer door Klaus Schneider

Bekijk alles van Klaus Schneider ( bijv. Paperback Book , Hardcover Book en 12" )