Name: Verification of Systems and Circuits Using LOTOS, Petri Nets, and CCS
Price: 1373.95 DKK
Availability: InStock
Author: Michael (Department of Computer Science Yoeli
ISBN: 9780471704492

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

Du sparer 0% ift. normalprisen Spar 0%

Hardback
2-3 uger
1.373,95 kr.

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

Forlag:
John Wiley & Sons Inc

Indbinding:
Hardback

Sideantal:
248

Udgivet:
15. april 2008

Størrelse:
163x243x22 mm.

Vægt:
544 g.

Leveringstid: 2-3 uger.
Forventet levering: 4. december 2024

Normalpris

BLACK NOVEMBER
1.373,95 kr. + Fragt
~~1.373,95 kr.~~

Medlemspris

1.323,95 kr.

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:

Business og læring > Computer og IT

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

Bag om Michael (Department of Computer Science Yoeli

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

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

Gør som tusindvis af andre bogelskere