Marknadens största urval
Fri frakt över 199 kr
Snabb leverans
Hjälp
Logga in
  1. Hem
  2. Böcker
  3. Företagande & lärande
  4. Data & IT
  5. Verification of Systems and Circuits Using LOTOS, Petri Nets, and CCS

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

av Michael (Department of Computer Science Yoeli

del av Wiley Series on Parallel and Distributed Computing-serien

Verification of Systems and Circuits Using LOTOS, Petri Nets, and CCS av Michael (Department of Computer Science Yoeli
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.

Visa mer
  • Språk:
  • Engelska
  • ISBN:
  • 9780471704492
  • Format:
  • Inbunden
  • Sidor:
  • 248
  • Utgiven:
  • 15. april 2008
  • Mått:
  • 163x243x22 mm.
  • Vikt:
  • 544 g.
  Fri leverans
Leveranstid: 2-4 veckor
Förväntad leverans: 24. januari 2025
Förlängd ångerrätt till 31. januari 2025
  •  

    Kan ej levereras före jul.
    Köp nu och skriv ut ett presentkort

Om Michael (Department of Computer Science Yoeli

Se alla böcker av Michael (Department of Computer Science Yoeli

Beskrivning av 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.

Användarnas betyg av Verification of Systems and Circuits Using LOTOS, Petri Nets, and CCS



Andra köpte även...
Hitta liknande böcker
Boken Verification of Systems and Circuits Using LOTOS, Petri Nets, and CCS finns i följande kategorier:

Gör som tusentals andra bokälskare

Prenumerera på vårt nyhetsbrev för att få fantastiska erbjudanden och inspiration för din nästa läsning.