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

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

Prijs
€ 52,49

Besteld in een afgelegen magazijn

Verwachte levering 8 - 16 jan. 2026
Kerstcadeautjes kunnen tot en met 31 januari worden ingewisseld

Onze klanten zeggen:

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

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,20 kg
Taal en grammatica Duits  

Meer door Klaus Schneider

Alles tonen

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