Practical Formal Methods for Hardware Design: Research Reports Esprit
Editat de Carlos Delgado Kloos, Werner Dammen Limba Engleză Paperback – 28 mai 1997
Din seria Research Reports Esprit
- 20% Preț: 315.25 lei
- 20% Preț: 610.76 lei
- 20% Preț: 316.66 lei
- Preț: 362.32 lei
- 20% Preț: 478.73 lei
- 20% Preț: 613.11 lei
- 20% Preț: 606.88 lei
- 20% Preț: 308.53 lei
- 20% Preț: 307.62 lei
- 20% Preț: 616.38 lei
- 20% Preț: 321.96 lei
- 20% Preț: 607.64 lei
- Preț: 367.05 lei
- 20% Preț: 319.80 lei
- 20% Preț: 311.54 lei
- 20% Preț: 308.23 lei
- 20% Preț: 608.30 lei
- 20% Preț: 606.40 lei
- 20% Preț: 312.76 lei
- 20% Preț: 605.78 lei
- 20% Preț: 311.85 lei
- 20% Preț: 310.12 lei
- 20% Preț: 607.98 lei
- 20% Preț: 317.59 lei
- 20% Preț: 309.03 lei
- 20% Preț: 306.37 lei
- 20% Preț: 314.19 lei
- 20% Preț: 610.16 lei
- 20% Preț: 606.09 lei
- 20% Preț: 305.43 lei
- 20% Preț: 611.26 lei
- 15% Preț: 610.49 lei
- 20% Preț: 310.26 lei
- 20% Preț: 611.39 lei
- 20% Preț: 606.40 lei
- 20% Preț: 327.45 lei
- 20% Preț: 314.19 lei
- 20% Preț: 311.36 lei
- 20% Preț: 316.84 lei
- 20% Preț: 316.84 lei
- 20% Preț: 615.93 lei
- 15% Preț: 623.19 lei
- 20% Preț: 309.65 lei
- 20% Preț: 622.17 lei
- 20% Preț: 613.60 lei
- 20% Preț: 317.59 lei
- 20% Preț: 611.39 lei
- 20% Preț: 308.40 lei
- 20% Preț: 624.19 lei
Preț: 315.57 lei
Preț vechi: 394.45 lei
-20% Nou
Puncte Express: 473
Preț estimativ în valută:
60.44€ • 65.53$ • 50.25£
60.44€ • 65.53$ • 50.25£
Carte tipărită la comandă
Livrare economică 02-16 decembrie
Preluare comenzi: 021 569.72.76
Specificații
ISBN-13: 9783540620075
ISBN-10: 3540620079
Pagini: 308
Ilustrații: XIV, 293 p. 40 illus.
Dimensiuni: 155 x 235 x 16 mm
Greutate: 0.44 kg
Ediția:Softcover reprint of the original 1st ed. 1997
Editura: Springer Berlin, Heidelberg
Colecția Springer
Seriile Research Reports Esprit, Project 6128.FORMAT
Locul publicării:Berlin, Heidelberg, Germany
ISBN-10: 3540620079
Pagini: 308
Ilustrații: XIV, 293 p. 40 illus.
Dimensiuni: 155 x 235 x 16 mm
Greutate: 0.44 kg
Ediția:Softcover reprint of the original 1st ed. 1997
Editura: Springer Berlin, Heidelberg
Colecția Springer
Seriile Research Reports Esprit, Project 6128.FORMAT
Locul publicării:Berlin, Heidelberg, Germany
Public țintă
ResearchCuprins
1. Formal methods vs. conventional ones.- 2. The FORMAT project.- 3. Organization of this book.- I. Overview.- Design Methodology for Complex VLSI Devices.- Specification Languages.- Verification Flow.- Synthesis Flow.- II. Industrial Experience.- Application of a Formal Verification Toolset to the Design of Integrated Circuits in an Industrial Environment.- Italtel Application of the FORMAT Design Flow.- Siemens Industrial Experience.- III. Technical Background.- The FORMAT Model Checker.- Reasoning.- VHDL Formal Modeling and Analysis.- Synthesis Techniques.- Generating VHDL Code from LOTOS Descriptions.