Industrial Use of Formal Methods: Formal Verification (Bog, Hardback, Engelsk)
  1. Forside
  2. Bøger
  3. Engelske bøger
  4. Datamodellering og simulering
  5. Maskinteknik og materialer
  6. Programmering / softwareudvikling
  7. Industrial Use of Formal Methods: Formal Verification

Industrial Use of Formal Methods: Formal Verification

(Bog, Hardback, Engelsk)
Industrial Use of Formal Methods: Formal Verification
Forlag: ISTE Ltd and John Wiley & Sons Inc

Bemærk: Kan ikke leveres før jul.

Når du handler på WilliamDam.dk, betaler du den pris du ser.

  • Ingen gebyrer
  • Ingen abonnementer
  • Ingen bindingsperioder

Relaterede kategorier

Datamodellering og simulering Maskinteknik og materialer Programmering / softwareudvikling
  = Emner / kategorier
  = Sektioner / guides
  = Specialsider
  = Kampagner

Beskrivelse

At present the literature gives students and researchers of the very general books on the formal technics. The purpose of this book is to present in a single book, a return of experience on the used of the formal technics (such proof and model-checking) on industrial examples for the transportation domain.

Læsernes anmeldelser (0)

Alle detaljer

Forlag ISTE Ltd and John Wiley & Sons Inc
Type Bog
Format Hardback
Sprog Engelsk
Udgivelsesdato 15-06-2012
Første udgivelsesår 2012
Fagredaktør Jean-Louis (Consultant) Boulanger
Originalsprog United Kingdom
Sideantal 320
Indbinding Hardback
Forlag ISTE Ltd and John Wiley & Sons Inc
Sideoplysninger 320 pages
Mål 242 x 163 x 27
ISBN-13 / EAN-13 9781848213630