Verification of Reactive Systems: Formal Methods and Algorithms - Texts in Theoretical Computer Science: an Eatcs Series - Klaus Schneider - Livres - Springer-Verlag Berlin and Heidelberg Gm - 9783540002963 - 16 octobre 2003
Si la couverture et le titre ne correspondent pas, le titre est correct.

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

Prix
€ 50,49

Commandé depuis un entrepôt distant

Livraison prévue 8 - 16 janv. 2026
Les cadeaux de Noël peuvent être échangés jusqu'au 31 janvier

Nos clients disent :

Politique de retour de 14 jours conformément à la loi européenne sur la protection des consommateurs
Meilleur classement sur Trustpilot
Ajouter à votre liste de souhaits iMusic

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

Médias Livres     Hardcover Book   (Livre avec dos et couverture rigide)
Validé 16 octobre 2003
ISBN13 9783540002963
Éditeurs Springer-Verlag Berlin and Heidelberg Gm
Pages 620
Dimensions 156 × 234 × 33 mm   ·   1,20 kg
Langue et grammaire Allemand  

Plus par Klaus Schneider

Afficher tout

Voir tous les Klaus Schneider ( par ex. Paperback Book , Hardcover Book et 12" )