De Aller-Bedste Bøger - over 12 mio. danske og engelske bøger
Levering: 1 - 2 hverdage

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

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.
  • 10. december 2024

Normalpris

Abonnementspris

- Rabat på køb af fysiske bøger
- 1 valgfrit digitalt ugeblad
- 20 timers lytning og læsning
- Adgang til 70.000+ titler
- Ingen binding

Abonnementet koster 75 kr./md.
Ingen binding og kan opsiges når som helst.

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



Find lignende bøger
Bogen Verification of Systems and Circuits Using LOTOS, Petri Nets, and CCS findes i følgende kategorier: