Vi bøger
Trustpilot
Levering: 1 - 2 hverdage
Forlænget returret til d. 31. januar 2025
Hjælp
Login
  1. Forside
  2. Bøger
  3. Business og læring
  4. Computer og IT
  5. Verification of Systems and Circuits Using LOTOS, Petri Nets, and CCS

Verification of Systems and Circuits Using LOTOS, Petri Nets, and CCS - Michael (Department of Computer Science Yoeli - Bog

af Michael (Department of Computer Science Yoeli

indgår i Wiley Series on Parallel and Distributed Computing serien

Verification of Systems and Circuits Using LOTOS, Petri Nets, and CCS af Michael (Department of Computer Science Yoeli
Bag om Verification of Systems and Circuits Using LOTOS, Petri Nets, and CCS

This book provides a step-by-step interactive introduction to formal verification of systems and circuits. In view of the complexity of current parallel digital systems, a formal approach to their analysis and verification becomes essential. This text makes use of two powerful analysis tool sets: LOTOS-based CADP & Petri-Net based PETRIFY.

Vis mere
  • Sprog:
  • Engelsk
  • ISBN:
  • 9780471704492
  • Indbinding:
  • Hardback
  • Sideantal:
  • 248
  • Udgivet:
  • 15. april 2008
  • Størrelse:
  • 163x243x22 mm.
  • Vægt:
  • 544 g.
  • 2-3 uger.
  • 21. januar 2025
Forlænget returret til d. 31. januar 2025
  •  

    Kan ikke leveres inden jul.
    Køb nu og print et gavebevis

Normalpris

Medlemspris

Prøv i 30 dage for 45 kr.
Herefter fra 79 kr./md. Ingen binding.

Bag om Michael (Department of Computer Science Yoeli

Vis alle bøger af Michael (Department of Computer Science Yoeli

Beskrivelse af Verification of Systems and Circuits Using LOTOS, Petri Nets, and CCS

This book provides a step-by-step interactive introduction to formal verification of systems and circuits. In view of the complexity of current parallel digital systems, a formal approach to their analysis and verification becomes essential. This text makes use of two powerful analysis tool sets: LOTOS-based CADP & Petri-Net based PETRIFY.

Brugerbedømmelser af Verification of Systems and Circuits Using LOTOS, Petri Nets, and CCS



Andre købte også..
Find lignende bøger
Bogen Verification of Systems and Circuits Using LOTOS, Petri Nets, and CCS findes i følgende kategorier:

Gør som tusindvis af andre bogelskere

Tilmeld dig nyhedsbrevet og få gode tilbud og inspiration til din næste læsning.