1. Forside
  2. Bøger
  3. Engelske bøger
  4. Matematik for virksomhedsøkonomer og...
  5. Softwareudvikling
  6. Matematisk datateori
  7. Kunstig intelligens
  8. Systems and Software Verification: Model-Checking Techniques...

Systems and Software Verification: Model-Checking Techniques and Tools

(Bog, Paperback / softback, Engelsk)
Forfattere: B. Berard, M. Bidoit, A. Finkel, F. Laroussinie, A. Petit, L. Petrucci, P. Schnoebelen
Forlag: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

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

  • Ingen gebyrer
  • Ingen abonnementer
  • Ingen bindingsperioder

Relaterede kategorier

Kunstig intelligens Matematik for virksomhedsøkonomer og forretningssystemer Matematisk datateori Softwareudvikling
  = Emner / kategorier
  = Sektioner / guides
  = Specialsider
  = Kampagner

Beskrivelse

Model checking is a powerful approach for the formal verification of software. The first part describes in simple terms the theoretical basis of model checking: transition systems as a formal model of systems, temporal logic as a formal language for behavioral properties, and model-checking algorithms.

Læsernes anmeldelser (0)

Alle detaljer

Forlag Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Forfattere B. Berard, M. Bidoit, A. Finkel, F. Laroussinie, A. Petit, L. Petrucci, P. Schnoebelen
Type Bog
Format Paperback / softback
Sprog Engelsk
Udgave Softcover reprint of hardcover 1st ed. 2001
Udgivelsesdato 15-12-2010
Første udgivelsesår 2010
Illustrationer XII, 190 p.
Oversætter P. McKenzie
Originalsprog Germany
Sideantal 190
Indbinding Paperback / softback
Forlag Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Sideoplysninger 190 pages, XII, 190 p.
Mål 157 x 233 x 18
ISBN-13 / EAN-13 9783642074783