Modeling in Event-B: System and Software Engineering (Bog, Hardback, Engelsk) af Jean-Raymond Abrial
  1. Forside
  2. Bøger
  3. Engelske bøger
  4. Matematisk datateori
  5. Systemanalyse og systemdesign
  6. Programmering / softwareudvikling
  7. Modeling in Event-B: System and Software Engineering

Modeling in Event-B: System and Software Engineering

(Bog, Hardback, Engelsk)
Forfatter: Jean-Raymond Abrial
Modeling in Event-B: System and Software Engineering
Forlag: Cambridge University Press

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

Matematisk datateori Programmering / softwareudvikling Systemanalyse og systemdesign
  = Emner / kategorier
  = Sektioner / guides
  = Specialsider
  = Kampagner

Beskrivelse

A practical text suitable for an introductory or advanced course in formal methods, this book presents a mathematical approach to modelling and designing systems using an extension of the B formal method: Event-B. Contains a wide variety of examples and exercises ranging in difficulty to suit readers at all levels.

Læsernes anmeldelser (0)

Alle detaljer

Forlag Cambridge University Press
Forfatter Jean-Raymond Abrial
Type Bog
Format Hardback
Sprog Engelsk
Udgivelsesdato 13-05-2010
Første udgivelsesår 2010
Illustrationer Worked examples or Exercises; 10 Halftones, black and white; 160 Line drawings, black and white
Originalsprog United Kingdom
Sideantal 612
Indbinding Hardback
Forlag Cambridge University Press
Sideoplysninger 612 pages, Worked examples or Exercises; 10 Halftones, black and white; 160 Line drawings, black and
Mål 251 x 192 x 37
ISBN-13 / EAN-13 9780521895569